woodrush / lambda-8ccLinks
x86 C compiler written in untyped lambda calculus
☆666Updated 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 3 weeks ago
- An APL-like programming language☆991Updated last week
- Full-blown preprocessor metaprogramming☆965Updated 5 months ago
- A Lisp interpreter implemented in Conway's Game of Life☆465Updated 3 years ago
- A fast functional language based on two level type theory☆391Updated 2 years ago
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆290Updated this week
- Bootstrapping LISP in a Boot Sector☆1,430Updated 9 months ago
- Inpla: Interaction nets as a programming language (the current version)☆310Updated 9 months ago
- A human readable quasi-concatenative programming language☆256Updated 6 months ago
- Algebraic data types for C99☆1,432Updated 5 months ago
- A modern supercompiler for call-by-value functional languages☆422Updated 4 months ago
- The best C-like language that can be implemented in 10kLOC.☆638Updated last month
- EsoLangVM Compiler Infrastructure☆1,202Updated last year
- a BQN implementation in C☆368Updated 3 weeks ago
- Cake a C23 front end and transpiler written in C☆617Updated this week
- *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it☆1,155Updated last week
- ☆1,009Updated 2 years ago
- Compiler from C to brainfuck☆235Updated 2 years ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆437Updated this week
- A FORTH in 340 bytes — the smallest real programming language ever as of yet.☆596Updated last year
- Simple expression transformer that is not Coq.☆263Updated last year
- Systems language with linear types and capability-based security.☆1,373Updated last month
- Fun, portable, minimalistic virtual machine.☆565Updated 11 months ago
- GPU-accelerated compiler☆349Updated last year
- Cross-platform IDE for Dyalog APL☆216Updated last week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,138Updated 5 months ago
- A Quick Backend☆351Updated 3 years ago
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago
- A set of minimal dependency bootstrap binaries☆983Updated 3 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…☆1,181Updated last week