Alternatives and similar repositories for lambda-8cc:

Users that are interested in lambda-8cc are comparing it to the libraries listed below

• woodrush / lambdalisp
  A Lisp interpreter written in untyped lambda calculus
  ☆242Updated 2 years ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆300Updated 6 months ago
• woodrush / lisp-in-life
  A Lisp interpreter implemented in Conway's Game of Life
  ☆462Updated 3 years ago
• kspalaiologos / malbolge-lisp
  A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
  ☆508Updated 2 months ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆476Updated this week
• jart / sectorlisp
  Bootstrapping LISP in a Boot Sector
  ☆1,374Updated 5 months ago
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆409Updated 2 weeks ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆391Updated 2 years ago
• mlochbaum / BQN
  An APL-like programming language
  ☆958Updated this week
• cognate-lang / cognate
  A human readable quasi-concatenative programming language
  ☆252Updated 3 months ago
• kspalaiologos / kamilalisp
  A functional, flexible and concise Lisp.
  ☆287Updated last year
• hirrolot / datatype99
  Algebraic data types for C99
  ☆1,407Updated last month
• robertmuth / Cwerg
  The best C-like language that can be implemented in 10kLOC.
  ☆589Updated this week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆223Updated this week
• nineties / planckforth
  Bootstrapping a Forth interpreter from hand-written tiny ELF binary. Just for fun.
  ☆292Updated 2 years ago
• hirrolot / metalang99
  Full-blown preprocessor metaprogramming
  ☆922Updated last month
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆262Updated 2 years ago
• Snektron / pareas
  GPU-accelerated compiler
  ☆344Updated last year
• 0xdanelia / regex_turing_machine
  The find/replace box in Notepad++ is Turing Complete
  ☆499Updated 2 years ago
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,120Updated last month
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• matslina / awib
  a brainfuck compiler written in brainfuck
  ☆554Updated 2 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆106Updated 3 weeks ago
• betaveros / noulith
  *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
  ☆1,147Updated 7 months ago
• Robert-van-Engelen / tinylisp
  Lisp in 99 lines of C and how to write one yourself. Includes 20 Lisp primitives, garbage collection and REPL. Includes tail-call optimiz…
  ☆901Updated last year
• oriansj / stage0
  A set of minimal dependency bootstrap binaries
  ☆969Updated last year
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,289Updated last month
• SuperTails / langcraft
  Compiler from LLVM IR to Minecraft datapacks.
  ☆555Updated 2 years ago
• cesarblum / sectorforth
  sectorforth is a 16-bit x86 Forth that fits in a 512-byte boot sector.
  ☆421Updated 3 years ago
• maximecb / uvm
  Fun, portable, minimalistic virtual machine.
  ☆556Updated 7 months ago