woodrush / lambda-8ccLinks
x86 C compiler written in untyped lambda calculus
☆658Updated 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.☆509Updated 3 months ago
- Full-blown preprocessor metaprogramming☆930Updated 2 months ago
- A Lisp interpreter implemented in Conway's Game of Life☆463Updated 3 years ago
- Inpla: Interaction nets as a programming language (the current version)☆303Updated 7 months ago
- Algebraic data types for C99☆1,415Updated 2 months ago
- A Lisp interpreter written in untyped lambda calculus☆243Updated 2 years ago
- A modern supercompiler for call-by-value functional languages☆414Updated last month
- A fast functional language based on two level type theory☆390Updated 2 years ago
- Bootstrapping LISP in a Boot Sector☆1,396Updated 6 months ago
- ☆1,010Updated 2 years ago
- The best C-like language that can be implemented in 10kLOC.☆610Updated this week
- Systems language with linear types and capability-based security.☆1,324Updated 3 weeks ago
- Haskell implemented with combinators☆484Updated this week
- A functional, flexible and concise Lisp.☆287Updated last year
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,117Updated 2 months ago
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆286Updated 2 weeks ago
- A human readable quasi-concatenative programming language☆252Updated 3 months ago
- Cake a C23 front end and transpiler written in C☆605Updated 2 weeks ago
- The cuteness implementation of a dependently typed language.☆190Updated 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…☆907Updated last year
- A portable programming language with a compact intermediate representation☆740Updated 2 years ago
- EsoLangVM Compiler Infrastructure☆1,186Updated 10 months ago
- An APL-like programming language☆962Updated this week
- A programming language that's wise beyond its bytes!🌱🌿🪴☆508Updated 2 months ago
- A Quick Backend☆338Updated 3 years ago
- GPU-accelerated compiler☆344Updated last year
- The single instruction language - Flip a bit, then Jump☆119Updated 4 months ago
- A garden of small programming language implementations 🪴☆240Updated this week
- tar creator+extractor in ~100 lines of prolog☆262Updated 2 years ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆245Updated this week