Alternatives and similar repositories for lambda

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

• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆29Updated 7 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆68Updated 2 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆64Updated 4 years ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 11 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• arichel / PicoScheme
  Tiny scheme implementation written in c++17
  ☆29Updated 6 years ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• kragen / urscheme
  ☆21Updated 12 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 8 years ago
• EarlGray / SECD
  Scheme on SECD
  ☆43Updated 4 years ago
• aryx / yacfe
  Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…
  ☆25Updated 6 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆76Updated 5 years ago
• nukata / little-scheme
  A meta-circular interpreter of a subset of Scheme
  ☆15Updated 5 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated last month
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆25Updated 2 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…
  ☆57Updated 3 weeks ago
• andrewchambers / qc
  quick c
  ☆35Updated 3 years ago
• mflatt / gc-demo
  ☆86Updated 4 years ago
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆63Updated 8 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• catseye / minischeme
  MIRROR of https://codeberg.org/catseye/minischeme : Cat's Eye Technologies' fork of the original public-domain Mini-Scheme implementation…
  ☆70Updated 7 years ago
• mflatt / jit-demo
  ☆64Updated 8 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 6 months ago
• aposwolsky / delphin
  The Delphin Project
  ☆10Updated 8 years ago
• barak / scheme2c
  Joel Bartlett's fabled Scheme->C system
  ☆82Updated 5 years ago