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
  ☆84Updated 3 months ago
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆58Updated 10 years 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
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 4 years ago
• tsoding / elf.js
  An on going project to learn ELF format.
  ☆38Updated 3 years ago
• scribe-lang / scribe
  Scribe Reference Compiler
  ☆22Updated last week
• sal55 / langs
  ☆96Updated this week
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆61Updated last year
• knight-lang / knight-lang
  The Knight Programming Language
  ☆72Updated 2 months ago
• fennecdjay / libprettyerr
  A C library for displaying informative, clean and readable errors
  ☆25Updated last year
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆68Updated 2 weeks ago
• FastVM / paka
  Paka language
  ☆161Updated 2 years ago
• skrah / minicaml
  Compiler for a very restricted subset of OCaml
  ☆25Updated 9 years ago
• caius-iulius / spinnaker
  ☆26Updated last year
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆112Updated this week
• woodrush / lambdavm
  A programmable virtual CPU written in untyped lambda calculus
  ☆55Updated 2 years ago
• curly-lang / curly-lang
  The Curly programming language (now in Rust!)
  ☆29Updated 4 years ago
• daniele-rapagnani / melon
  The Melon programming language
  ☆37Updated 2 years ago
• basilTeam / basil
  Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…
  ☆123Updated 3 years ago
• Jackojc / klaxon
  Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).
  ☆18Updated 2 years ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆32Updated 7 months ago
• tsoding / wassm
  Web framework for x86_64 nasm
  ☆169Updated 2 years ago
• Feral-Lang / Feral
  Feral programming language reference implementation
  ☆143Updated this week
• LensPlaysGames / Corth
  It's like Porth, but in C++. Yep, we're going full circle.
  ☆20Updated 2 years ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago
• riff-lang / riff
  The Riff programming language
  ☆23Updated 2 years ago
• csb6 / bluebird
  A work-in-progess programming language modeled after Ada and C++
  ☆25Updated 2 years ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆118Updated 4 years ago