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…
  ☆129Updated 8 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• xixixao / Shem
  The compiler of the programming language Shem
  ☆391Updated 4 years ago
• sgillespie / lambda-calculus
  An introduction to the Lambda Calculus
  ☆89Updated 2 years ago
• maierfelix / mini-js
  Minimal self-hosted JavaScript compiler in 1k lines of code
  ☆160Updated 7 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆132Updated 7 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆366Updated 8 years ago
• fantasyland / fantasy-birds
  port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.
  ☆91Updated 8 years ago
• VictorTaelin / forall
  Expressive static types and invariant checks for JavaScript.
  ☆226Updated 7 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆411Updated 8 years ago
• sparist / Om
  The Om programming language.
  ☆172Updated 4 months ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• sjsyrek / maryamyriameliamurphies.js
  A library of Haskell-style morphisms ported to ES2015 JavaScript using Babel.
  ☆182Updated 7 years ago
• soegaard / urlang
  Urlang is JavaScript with a sane syntax
  ☆301Updated last month
• sinelaw / infernu
  Type inference and checking for a safer JavaScript.
  ☆338Updated 6 years ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 2 years ago
• antonmedv / ultra-tiny-compiler
  Ultra Tiny Compiler
  ☆181Updated 5 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated last year
• cdiggins / heron-language
  A pure functional type-inferred language based on JavaScript
  ☆57Updated last year
• mightybyte / monad-challenges
  A set of challenges for jump starting your understanding of monads.
  ☆327Updated 3 years ago
• ianthehenry / basilica
  It's kinda like a forum.
  ☆115Updated 4 years ago
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆145Updated last year
• PlasmaLang / plasma
  Plasma Programming Language
  ☆164Updated 2 weeks ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆76Updated 7 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 9 years ago
• mietek / total-fp
  Total functional programming (ESFP) literature
  ☆187Updated 6 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• facebookarchive / JSCaml
  A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.
  ☆454Updated 7 years ago
• seagreen / plate
  Algebraic type based schema system
  ☆128Updated 5 years ago