A new register allocator

The very excellent, educational MinCaml project of Eijiro Sumii is now available at https://github.com/esumii/min-caml

A MinCaml compiler implemented in Rust

x86 C compiler written in untyped lambda calculus

An implementation of Colin James' "Compiling Lambda Calculus"

Using lambda calculus as the syntax for cartesian closed categories, ala Conal Elliott.

Attempting to build type preserving lambda lifting

a self-hosting lambda calculus compiler

A compiler and runtime for normalizing the untyped λ-calculus

Compiler and tooling for the Myte programming language.

Wob extended wtih effect handlers

Waml extended with effect handlers

Haskell implemented with combinators

Shaking expression trees until something tasty pops out

Program Analisys and Transformation survey and links (particular focus on SSA)

A Simple showcase for the Sea-of-Nodes compiler IR

A toy language based on LLVM that implements the System Fω type-system

A collection of out-of-tree LLVM passes for teaching and learning

A minimal development of SSA theory

A tutorial on writing wasm by hand

A toy example of a verified compiler.

Tools for a compilers course

Self-hosting PL/0 to C compiler to teach basic compiler construction from a practical, hands-on perspective.

A simple compiler for a simple imperative language, written in OCaml

Self-hosted ion compiler. Based on ion here: https://github.com/pervognsen/bitwise

📚 A collection of resources about supercompilation

An example on how to write an incremental, concurrent, fault-tolerant compiler

Simple implementation of stack to SSA IR lowering