woodrush / lambda-8ccLinks
x86 C compiler written in untyped lambda calculus
☆672Updated 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 lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆522Updated 3 months ago
- Full-blown preprocessor metaprogramming☆1,027Updated last month
- A Lisp interpreter implemented in Conway's Game of Life☆467Updated 3 years ago
- Algebraic data types for C99☆1,463Updated 8 months ago
- Inpla: Interaction nets as a programming language (the current version)☆314Updated last year
- A fast functional language based on two level type theory☆391Updated 2 years ago
- An APL-like programming language☆1,012Updated last week
- A modern supercompiler for call-by-value functional languages☆458Updated 2 weeks ago
- Bootstrapping LISP in a Boot Sector☆1,439Updated 11 months ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,154Updated 3 months ago
- A human readable quasi-concatenative programming language☆259Updated 9 months ago
- ☆1,005Updated 2 years ago
- The best C-like language that can be implemented in 10kLOC.☆652Updated last week
- Simple expression transformer that is not Coq.☆263Updated 2 years ago
- Cake a C23 front end and transpiler written in C☆630Updated last week
- A Quick Backend☆359Updated 3 years ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆508Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,149Updated 7 months ago
- Compiler from C to brainfuck☆239Updated 2 years ago
- Haskell implemented with combinators☆633Updated this week
- EsoLangVM Compiler Infrastructure☆1,213Updated last year
- a BQN implementation in C☆382Updated this week
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆294Updated 2 weeks ago
- Systems language with linear types and capability-based security.☆1,405Updated 3 months ago
- Hazel, a live functional programming environment with typed holes☆1,050Updated this week
- GPU-accelerated compiler☆362Updated last year
- An interpreter for learning and exploring pure λ-calculus☆467Updated 4 years ago
- A garden of small programming language implementations 🪴☆292Updated this week
- A series of down-to-earth articles on implementing type inference☆161Updated 5 years ago
- simple, C-like compiled programming language☆302Updated 3 years ago