woodrush / lambda-8cc
x86 C compiler written in untyped lambda calculus
☆651Updated 2 years ago
Alternatives and similar repositories for lambda-8cc:
Users that are interested in lambda-8cc are comparing it to the libraries listed below
- A Lisp interpreter written in untyped lambda calculus☆242Updated 2 years ago
- A Lisp interpreter implemented in Conway's Game of Life☆458Updated 3 years ago
- A fast functional language based on two level type theory☆390Updated 2 years ago
- A modern supercompiler for call-by-value functional languages☆407Updated last week
- Bootstrapping LISP in a Boot Sector☆1,356Updated 4 months ago
- Inpla: Interaction nets as a programming language (the current version)☆298Updated 5 months ago
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆505Updated 2 months ago
- Full-blown preprocessor metaprogramming☆918Updated last month
- Algebraic data types for C99☆1,403Updated last month
- Lisp in 99 lines of C and how to write one yourself. Includes 20 Lisp primitives, garbage collection and REPL. Includes tail-call optimiz…☆899Updated last year
- A human readable quasi-concatenative programming language☆251Updated 2 months ago
- Cake a C23 front end and transpiler written in C☆596Updated this week
- Haskell implemented with combinators☆471Updated this week
- The single instruction language - Flip a bit, then Jump☆117Updated 3 months ago
- An APL-like programming language☆951Updated this week
- Programming with pure lambda calculus☆105Updated last month
- Systems language with linear types and capability-based security.☆1,256Updated last week
- tar creator+extractor in ~100 lines of prolog☆261Updated 2 years ago
- GPU-accelerated compiler☆343Updated last year
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago
- A garden of small programming language implementations 🪴☆219Updated last week
- ☆1,011Updated 2 years ago
- Fun, portable, minimalistic virtual machine.☆554Updated 7 months ago
- A set of minimal dependency bootstrap binaries☆963Updated last year
- A functional, flexible and concise Lisp.☆286Updated 11 months ago
- The best C-like language that can be implemented in 10kLOC.☆579Updated last week
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆516Updated last month
- A programming language that's wise beyond its bytes!🌱🌿🪴☆503Updated last month
- Pair your compilers up at The ABI Cafe!☆246Updated 9 months ago
- ☆497Updated 10 months ago