woodrush / lambda-8cc
x86 C compiler written in untyped lambda calculus
☆640Updated 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☆456Updated 3 years ago
- A modern supercompiler for call-by-value functional languages☆403Updated 3 weeks ago
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆499Updated last week
- A fast functional language based on two level type theory☆388Updated 2 years ago
- Inpla: Interaction nets as a programming language (the current version)☆286Updated 3 months ago
- Bootstrapping LISP in a Boot Sector☆1,327Updated 2 months ago
- Algebraic data types for C99☆1,391Updated 2 months ago
- An APL-like programming language☆936Updated this week
- tar creator+extractor in ~100 lines of prolog☆260Updated 2 years ago
- Full-blown preprocessor metaprogramming☆895Updated 2 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…☆883Updated last year
- A Lisp interpreter written in untyped lambda calculus☆238Updated last year
- Systems language with linear types and capability-based security.☆1,167Updated 7 months ago
- a BQN implementation in C☆340Updated last week
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago
- Cake a C23 front end and transpiler written in C☆585Updated 2 weeks ago
- A human readable quasi-concatenative programming language☆249Updated 2 weeks ago
- A garden of small programming language implementations 🪴☆203Updated last week
- Haskell implemented with combinators☆417Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,106Updated last year
- The MaPLe compiler: efficient and scalable parallel functional programming☆370Updated 2 weeks ago
- ☆1,016Updated 2 years ago
- GPU-accelerated compiler☆339Updated 11 months ago
- My personal repository of formally verified mathematics.☆295Updated 2 weeks ago
- The best C-like language that can be implemented in 10kLOC.☆535Updated last week
- A Lisp interpreter written fully in rust macros.☆274Updated 5 months ago
- Simple expression transformer that is not Coq.☆255Updated last year
- A functional, flexible and concise Lisp.☆281Updated 9 months ago
- A FORTH in 340 bytes — the smallest real programming language ever as of yet.☆498Updated 6 months ago
- ☆494Updated 8 months ago