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
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆135Updated 7 years ago
• sgillespie / lambda-calculus
  An introduction to the Lambda Calculus
  ☆90Updated 2 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆79Updated 7 years ago
• pelotom / burrido
  Do-notation for JavaScript
  ☆178Updated 8 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 9 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆413Updated 8 years ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated last year
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• paf31 / purescript-book
  Sources for the PureScript book
  ☆451Updated 6 years ago
• fantasyland / fantasy-birds
  port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.
  ☆92Updated 8 years ago
• paf31 / purescript-purview
  A UI library based on the incremental lambda calculus
  ☆112Updated 6 years ago
• danprince / ljsp
  🦕 Lisp in your language.
  ☆86Updated 9 years ago
• DrBoolean / lenses
  Composable kmett style lenses
  ☆214Updated 9 years ago
• sjsyrek / maryamyriameliamurphies.js
  A library of Haskell-style morphisms ported to ES2015 JavaScript using Babel.
  ☆182Updated 7 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• sdiehl / tinyjit
  Haskell JIT
  ☆184Updated 5 years ago
• VictorTaelin / calculus-of-constructions
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆112Updated 7 years ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 6 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆367Updated 8 years ago
• maierfelix / mini-js
  Minimal self-hosted JavaScript compiler in 1k lines of code
  ☆163Updated 7 years ago
• VictorTaelin / abstract-algorithm
  Optimal evaluator of λ-calculus terms.
  ☆275Updated 2 years ago
• VictorTaelin / lambda-calculus
  A simple, clean and fast implementation of the λ-calculus on JavaScript.
  ☆45Updated 4 years ago
• owickstrom / idris-vimscript
  Compile Idris to Vimscript, like you always wanted.
  ☆131Updated 7 years ago
• mietek / total-fp
  Total functional programming (ESFP) literature
  ☆187Updated 6 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 6 years ago
• sjsyrek / malc
  Make a lambda calculus.
  ☆85Updated 4 years ago