Notes based on Rust Analyzer series videos

Full implementation of F-ing Modules, with the power of sequent calculus

An in memory wasm assembler for Rust

A small C compiler

Alternative algorithm for algebraic subtyping.

Lightweight C parser for Rust

Minimalistic snapshot testing for Rust.

moved from https://sourceforge.net/p/min-caml/code/

Defines a common protocol for language servers.

Scheme Scripting Engine

The best C-like language that can be implemented in 10kLOC.

An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, et al.

A library for immutable lossless syntax trees in Rust

Rust implementation of stack graphs

A language server for Standard ML in Rust.

A Language Server for Postgres

Public repository of the QuickJS Javascript Engine.

Research programming language for concurrent ownership

Portable S-expressions (POSE) spec and libs

an educational compiler intermediate representation