woodrush / lambda-8cc
x86 C compiler written in untyped lambda calculus
☆625Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for lambda-8cc
- Algebraic data types for C99☆1,375Updated 2 weeks ago
- Full-blown preprocessor metaprogramming☆874Updated this week
- Inpla: Interaction nets as a programming language (the current version)☆277Updated 3 weeks ago
- A Lisp interpreter implemented in Conway's Game of Life☆453Updated 2 years ago
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆489Updated last year
- A fast functional language based on two level type theory☆388Updated last year
- An APL-like programming language☆900Updated last week
- A Lisp interpreter written in untyped lambda calculus☆234Updated last year
- Bootstrapping LISP in a Boot Sector☆1,291Updated 2 months ago
- tar creator+extractor in ~100 lines of prolog☆256Updated last year
- A modern supercompiler for call-by-value functional languages☆390Updated last week
- A human readable quasi-concatenative programming language☆245Updated last month
- Cake a C23 front end and transpiler written in C☆548Updated last week
- a BQN implementation in C☆329Updated this week
- The best C-like language that can be implemented in 10kLOC.☆482Updated last week
- ☆1,017Updated last year
- Fun, portable, minimalistic virtual machine.☆538Updated 2 months ago
- Systems language with linear types and capability-based security.☆1,123Updated 4 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,092Updated last year
- sectorforth is a 16-bit x86 Forth that fits in a 512-byte boot sector.☆396Updated 2 years 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…☆854Updated 10 months ago
- The cuteness implementation of a dependently typed language.☆188Updated last year
- A functional, flexible and concise Lisp.☆277Updated 6 months ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,133Updated last month
- A Quick Backend☆305Updated 2 years ago
- Simple expression transformer that is not Coq.☆253Updated last year
- GPU-accelerated compiler☆315Updated 8 months ago
- Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.☆281Updated 2 years ago
- A small extensible programming language designed for concise expression with little code.☆1,051Updated 2 months ago
- Haskell implemented with combinators☆365Updated this week