Alternatives and similar repositories for lambda-8cc

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

• kspalaiologos / malbolge-lisp
  A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
  ☆512Updated 4 months ago
• woodrush / lisp-in-life
  A Lisp interpreter implemented in Conway's Game of Life
  ☆463Updated 3 years ago
• woodrush / lambdalisp
  A Lisp interpreter written in untyped lambda calculus
  ☆243Updated 2 years ago
• mlochbaum / BQN
  An APL-like programming language
  ☆972Updated last week
• jart / sectorlisp
  Bootstrapping LISP in a Boot Sector
  ☆1,413Updated 6 months ago
• hirrolot / metalang99
  Full-blown preprocessor metaprogramming
  ☆937Updated 3 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆306Updated 7 months ago
• hirrolot / datatype99
  Algebraic data types for C99
  ☆1,418Updated 3 months ago
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆415Updated 2 months ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆391Updated 2 years ago
• cognate-lang / cognate
  A human readable quasi-concatenative programming language
  ☆256Updated 4 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…
  ☆910Updated last year
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated last week
• robertmuth / Cwerg
  The best C-like language that can be implemented in 10kLOC.
  ☆621Updated this week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆268Updated this week
• kuroko-lang / kuroko
  Dialect of Python with explicit variable declaration and block scoping, with a lightweight and easy-to-embed bytecode compiler and interp…
  ☆455Updated last month
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆824Updated last year
• kspalaiologos / kamilalisp
  A functional, flexible and concise Lisp.
  ☆288Updated last year
• HigherOrderCO / hvm-64
  ☆497Updated last year
• thradams / cake
  Cake a C23 front end and transpiler written in C
  ☆604Updated last month
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• vrtbl / passerine
  A small extensible programming language designed for concise expression with little code.
  ☆1,075Updated 9 months ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆156Updated 5 years ago
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,122Updated 3 months ago
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆266Updated this week
• dzaima / CBQN
  a BQN implementation in C
  ☆358Updated last week
• tendra / tendra
  The TenDRA Project
  ☆240Updated 10 months ago
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,345Updated last month
• augustss / MicroHs
  Haskell implemented with combinators
  ☆514Updated this week
• langjam / langjam
  ☆1,010Updated 2 years ago