Alternatives and similar repositories for lambda

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

• robotlolita / siren
  [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…
  ☆128Updated 8 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆139Updated 8 years ago
• tadeuzagallo / lc-js
  A λ-calculus interpreter written in JavaScript
  ☆160Updated 4 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆412Updated 9 years ago
• fantasyland / fantasy-birds
  port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.
  ☆93Updated 9 years ago
• maierfelix / mini-js
  Minimal self-hosted JavaScript compiler in 1k lines of code
  ☆163Updated 8 years ago
• chrisdone-archive / vado
  A demo web browser engine written in Haskell
  ☆280Updated 6 years ago
• sjsyrek / malc
  Make a lambda calculus.
  ☆87Updated 5 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆376Updated 9 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆56Updated 8 years ago
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆68Updated last year
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 10 years ago
• VictorTaelin / lambda-calculus
  A simple, clean and fast implementation of the λ-calculus on JavaScript.
  ☆46Updated 5 years ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆173Updated 6 years ago
• rgleichman / glance
  A visual Haskell
  ☆732Updated 3 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆159Updated 6 years ago
• mietek / total-fp
  Total functional programming (ESFP) literature
  ☆187Updated 6 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 7 years ago
• sparist / Om
  The Om programming language.
  ☆174Updated last year
• cioc / functionalC
  Not because it is good, but because we can...
  ☆168Updated 6 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 5 years ago
• jaybutera / Abstract-Algebra
  A course-worth of notes
  ☆202Updated last year
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆282Updated 11 years ago
• mightybyte / monad-challenges
  A set of challenges for jump starting your understanding of monads.
  ☆338Updated 4 years ago
• sharkdp / purescript-flare
  A special-purpose UI library for Purescript
  ☆285Updated 5 years ago
• benji6 / combinators-js
  Some combinators
  ☆138Updated last year
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆151Updated 2 years ago
• eatonphil / ulisp
  A compiler for a lisp-like language targeting LLVM IR, x86 assembly
  ☆133Updated 3 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 6 years ago
• tadeuzagallo / verve-lang
  A functional language for the working hacker
  ☆343Updated 4 years ago