Alternatives and similar repositories for lambda

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

• SjVer / Evi-Lang
  The Evi programming language
  ☆16Updated 3 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆70Updated 2 months ago
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆112Updated 3 months ago
• egel-lang / egel
  The Egel Programming Language
  ☆83Updated last month
• clark800 / lambda-zero
  minimalist pure lazy functional programming language (pythonic haskell)
  ☆79Updated 10 months ago
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 4 years ago
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆59Updated 11 years ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆24Updated 3 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago
• elucent / clover
  Lovable memory-safe systems language with a pretty fast compiler
  ☆18Updated this week
• nrnrnr / qc--
  Quick C-- compiler (no longer maintained)
  ☆163Updated 12 years ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆33Updated 5 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago
• sal55 / langs
  ☆105Updated this week
• ngzhian / ski
  SKI combinators
  ☆56Updated 8 years ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 3 years ago
• tathougies / hos
  The functional Haskell kernel
  ☆142Updated 10 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated this week
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆163Updated 3 years ago
• basilTeam / basil
  Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…
  ☆124Updated 4 years ago
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆85Updated this week
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆95Updated 7 years ago
• scribe-lang / scribe
  Scribe Reference Compiler
  ☆22Updated 5 months ago
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆63Updated last week
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆77Updated 6 years ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆120Updated 4 years ago
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆52Updated last week
• ergawy / types-and-programming-languages
  C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
  ☆34Updated 5 years ago
• mkirchner / stutter
  Implement a Lisp, in C, from scratch, no libs
  ☆85Updated 3 years ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆65Updated 8 months ago