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
• egel-lang / egel
  The Egel Programming Language
  ☆83Updated this week
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆58Updated 11 years ago
• mkirchner / stutter
  Implement a Lisp, in C, from scratch, no libs
  ☆85Updated 3 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆70Updated last month
• sal55 / langs
  ☆99Updated 2 weeks ago
• scribe-lang / scribe
  Scribe Reference Compiler
  ☆22Updated 4 months ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆33Updated 5 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago
• zhiayang / sap
  not latex
  ☆19Updated 6 months ago
• knight-lang / knight-lang
  The Knight Programming Language
  ☆73Updated 6 months ago
• riff-lang / riff
  The Riff programming language
  ☆22Updated 2 years ago
• tsoding / elf.js
  An on going project to learn ELF format.
  ☆40Updated 3 years ago
• Spydr06 / BCause
  BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.
  ☆82Updated 3 weeks ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆33Updated 11 months ago
• tsoding / wassm
  Web framework for x86_64 nasm
  ☆169Updated 2 years ago
• elucent / clover
  Lovable memory-safe systems language with a pretty fast compiler
  ☆18Updated last week
• cforall / cforall
  The compiler and standard distribution for the C∀ programming language
  ☆85Updated last week
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆63Updated last month
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 4 years ago
• clark800 / lambda-zero
  minimalist pure lazy functional programming language (pythonic haskell)
  ☆79Updated 9 months ago
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆112Updated last month
• tsoding / minicel
  Simple Excel engine without any UI
  ☆57Updated 4 years ago
• daniele-rapagnani / melon
  The Melon programming language
  ☆36Updated 2 years ago
• 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
• nrnrnr / qc--
  Quick C-- compiler (no longer maintained)
  ☆163Updated 11 years ago
• Feral-Lang / Feral
  Feral programming language reference implementation
  ☆148Updated 2 weeks ago
• fennecdjay / libprettyerr
  A C library for displaying informative, clean and readable errors
  ☆25Updated last year
• csb6 / bluebird
  A work-in-progess programming language modeled after Ada and C++
  ☆25Updated 3 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆300Updated 3 years ago