x86 C compiler written in untyped lambda calculus
☆681Oct 7, 2022Updated 3 years ago
Alternatives and similar repositories for lambda-8cc
Users that are interested in lambda-8cc are comparing it to the libraries listed below
Sorting:
- A programmable virtual CPU written in untyped lambda calculus☆61Oct 20, 2022Updated 3 years ago
- A Lisp interpreter written in untyped lambda calculus☆250Mar 10, 2023Updated 2 years ago
- Bootstrapping LISP in a Boot Sector☆1,470Nov 27, 2024Updated last year
- A Lisp interpreter implemented in Conway's Game of Life☆487Jan 17, 2022Updated 4 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆534Aug 5, 2025Updated 6 months ago
- sectorforth is a 16-bit x86 Forth that fits in a 512-byte boot sector.☆473May 7, 2022Updated 3 years ago
- Algebraic data types for C99☆1,476Mar 17, 2025Updated 11 months ago
- Full-blown preprocessor metaprogramming☆1,046Oct 5, 2025Updated 4 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆56Apr 23, 2017Updated 8 years ago
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆548Dec 18, 2025Updated 2 months ago
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- Haskell implemented with combinators☆692Feb 20, 2026Updated last week
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45May 31, 2022Updated 3 years ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 11 months ago
- A small, weird and unpractical programming language.☆102Feb 22, 2026Updated last week
- The first C compiler ported to x86☆197Jun 13, 2021Updated 4 years ago
- ☆57Nov 1, 2022Updated 3 years ago
- A C Compiler that fits in the 512 byte boot sector of an x86 machine☆1,824Feb 8, 2026Updated 3 weeks ago
- A modern supercompiler for call-by-value functional languages☆466Dec 5, 2025Updated 2 months ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- The Standard ML compiler that produces Lua/JavaScript☆433Feb 15, 2026Updated 2 weeks ago
- Minimal implementations for dependent type checking and elaboration☆768Jan 30, 2026Updated last month
- A modern proof language☆3,727Jan 22, 2025Updated last year
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 4 years ago
- A bootsector FORTH☆154Mar 19, 2025Updated 11 months ago
- Infinitely configurable integrated IDE and text editor☆128Oct 14, 2024Updated last year
- tar creator+extractor in ~100 lines of prolog☆260Jan 22, 2023Updated 3 years ago
- A massively parallel, optimal functional runtime in Rust☆11,211Nov 21, 2024Updated last year
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated 3 weeks ago
- A tiny, embeddable language implemented in ANSI C☆1,468Jul 4, 2024Updated last year
- A garden of small programming language implementations 🪴☆313Updated this week
- Duo - A research language exploring duality in programming language design☆62May 23, 2023Updated 2 years ago
- The adventures of a Haskell compiler☆236Oct 24, 2025Updated 4 months ago
- Spartan type theory☆273Sep 12, 2025Updated 5 months ago
- C11 compiler (mirror)☆811Jan 13, 2026Updated last month
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Jun 12, 2021Updated 4 years ago