woodrush / lambda-8ccLinks
x86 C compiler written in untyped lambda calculus
☆680Updated 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.☆530Updated 6 months ago
- A Lisp interpreter implemented in Conway's Game of Life☆488Updated 4 years ago
- Full-blown preprocessor metaprogramming☆1,049Updated 4 months ago
- A modern supercompiler for call-by-value functional languages☆465Updated 2 months ago
- Algebraic data types for C99☆1,478Updated 10 months ago
- Inpla: Interaction nets as a programming language (the current version)☆318Updated 3 weeks ago
- Bootstrapping LISP in a Boot Sector☆1,463Updated last year
- The best C-like language that can be implemented in 10kLOC.☆678Updated this week
- A human readable quasi-concatenative programming language☆260Updated last year
- A fast functional language based on two level type theory☆392Updated 3 years ago
- ☆1,007Updated 2 years ago
- Simple expression transformer that is not Coq.☆264Updated 2 years ago
- An APL-like programming language☆1,031Updated last week
- Compiler from C to brainfuck☆241Updated 2 years ago
- A Quick Backend☆386Updated 3 years ago
- Cake a C23 front end and transpiler written in C☆653Updated 3 weeks ago
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆296Updated last week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,156Updated 10 months ago
- Systems language with linear types and capability-based security.☆1,449Updated 6 months ago
- a BQN implementation in C☆387Updated this week
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆668Updated last week
- A Lisp interpreter written in untyped lambda calculus☆250Updated 2 years ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,163Updated 2 weeks ago
- EsoLangVM Compiler Infrastructure☆1,234Updated 2 months ago
- Dialect of Python with explicit variable declaration and block scoping, with a lightweight and easy-to-embed bytecode compiler and interp…☆468Updated last month
- The single instruction language - Flip a bit, then Jump☆131Updated last year
- A garden of small programming language implementations 🪴☆310Updated this week
- The find/replace box in Notepad++ is Turing Complete☆501Updated 2 years ago
- A toy programming language with time travel☆313Updated last year
- A functional, flexible and concise Lisp.☆298Updated 6 months ago