woodrush / lambda-8cc
x86 C compiler written in untyped lambda calculus
☆648Updated 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 implemented in Conway's Game of Life☆458Updated 3 years ago
- A Lisp interpreter written in untyped lambda calculus☆240Updated 2 years ago
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆503Updated last month
- Bootstrapping LISP in a Boot Sector☆1,338Updated 4 months ago
- EsoLangVM Compiler Infrastructure☆1,175Updated 8 months ago
- Algebraic data types for C99☆1,400Updated last week
- A fast functional language based on two level type theory☆389Updated 2 years ago
- Full-blown preprocessor metaprogramming☆913Updated last week
- Cake a C23 front end and transpiler written in C☆594Updated this week
- A modern supercompiler for call-by-value functional languages☆403Updated this week
- The best C-like language that can be implemented in 10kLOC.☆562Updated this week
- Inpla: Interaction nets as a programming language (the current version)☆295Updated 4 months ago
- A human readable quasi-concatenative programming language☆250Updated last month
- Systems language with linear types and capability-based security.☆1,220Updated 9 months ago
- Lisp in 99 lines of C and how to write one yourself. Includes 20 Lisp primitives, garbage collection and REPL. Includes tail-call optimiz…☆895Updated last year
- An industrial-grade brainfuck compiler☆524Updated 11 months ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,146Updated 6 months ago
- Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.☆293Updated 2 years ago
- A Quick Backend☆328Updated 3 years ago
- An APL-like programming language☆945Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,112Updated this week
- A functional, flexible and concise Lisp.☆286Updated 11 months ago
- Bolt is a language with in-built data-race freedom!☆592Updated last year
- sectorforth is a 16-bit x86 Forth that fits in a 512-byte boot sector.☆419Updated 2 years ago
- A garden of small programming language implementations 🪴☆218Updated this week
- Compiler from C to brainfuck☆225Updated last year
- Simple expression transformer that is not Coq.☆256Updated last year
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆275Updated 2 years ago
- A public database of C compiler test cases, minimal test runners, and public test results.☆216Updated 4 years ago
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆283Updated this week