woodrush / lambda-8ccLinks
x86 C compiler written in untyped lambda calculus
☆661Updated 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
Sorting:
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆513Updated this week
- A Lisp interpreter implemented in Conway's Game of Life☆463Updated 3 years ago
- Full-blown preprocessor metaprogramming☆948Updated 3 months ago
- Algebraic data types for C99☆1,421Updated 3 months ago
- An APL-like programming language☆980Updated 2 weeks ago
- Inpla: Interaction nets as a programming language (the current version)☆309Updated 8 months ago
- Bootstrapping LISP in a Boot Sector☆1,421Updated 7 months ago
- A fast functional language based on two level type theory☆391Updated 2 years ago
- A human readable quasi-concatenative programming language☆256Updated 5 months ago
- ☆1,011Updated 2 years ago
- A modern supercompiler for call-by-value functional languages☆418Updated 2 months ago
- Lisp in 99 lines of C and how to write one yourself. Includes 21 Lisp primitives, garbage collection and REPL. Includes tail-call optimiz…☆910Updated this week
- The best C-like language that can be implemented in 10kLOC.☆629Updated 2 weeks ago
- Bolt is a language with in-built data-race freedom!☆599Updated last year
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆286Updated this week
- Cake a C23 front end and transpiler written in C☆606Updated this week
- A set of minimal dependency bootstrap binaries☆979Updated last month
- EsoLangVM Compiler Infrastructure☆1,192Updated 11 months ago
- Simple expression transformer that is not Coq.☆261Updated last year
- Compiler from C to brainfuck☆232Updated 2 years ago
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,150Updated last week
- A garden of small programming language implementations 🪴☆270Updated this week
- a brainfuck compiler written in brainfuck☆560Updated 4 months ago
- The find/replace box in Notepad++ is Turing Complete☆499Updated 2 years ago
- a BQN implementation in C☆362Updated last week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,129Updated 3 months ago
- The single instruction language - Flip a bit, then Jump☆120Updated 6 months ago
- GPU-accelerated compiler☆347Updated last year
- The TenDRA Project☆242Updated 11 months ago
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago