Sending the lambda calculus into deep space

Mechanized metatheory of LF in Twelf.

Bootstrapping LISP in a Boot Sector

Experiment on how to bootstrap the OCaml compiler

a minimalistic Forth kernel that can bootstrap

An interpreter for a limited subset of Scheme

Mirror of http://www.rano.org/bcompiler.tar.gz, with a bootstrap script

sectorforth is a 16-bit x86 Forth that fits in a 512-byte boot sector.

🧠 Brainfuck IDE and interpreter in 512 bytes. (boot sector)

A Forth interpreter, entirely written as bash script. But by now is yoda (https://github.com/Bushmills/yoda) the better bashforth.

⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.

A self-hosting and educational C optimizing compiler

An APL-like programming language

A self-hosted Ada-inspired programming language for very small systems.

An insanely simple self-hosted functional programming language

Maru - a tiny self-hosting lisp dialect

a self-hosting lambda calculus compiler

Compiler for the Mirth programming language.

Sed Lisp -- a lisp interpreter in GNU sed

a brainfuck compiler written in brainfuck

Lisp in 99 lines of C and how to write one yourself. Includes 21 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.

A Lisp interpreter written in untyped lambda calculus

x86 C compiler written in untyped lambda calculus

A Lisp interpreter implemented in Conway's Game of Life

A compiler and runtime for normalizing the untyped λ-calculus

Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU

A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-class continuations and a Read Eval Print Loop (REPL). The R4RS…

Journey to the Center of the Lambda Calculus

Lean 4 kernel / 'external checker' written in Lean 4

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq