Alternatives and similar repositories for lambda

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

• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆412Updated 9 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆137Updated 8 years ago
• 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
• rgleichman / glance
  A visual Haskell
  ☆729Updated 3 years ago
• mietek / total-fp
  Total functional programming (ESFP) literature
  ☆188Updated 6 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆373Updated 8 years ago
• fantasyland / fantasy-birds
  port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.
  ☆93Updated 8 years ago
• sjsyrek / malc
  Make a lambda calculus.
  ☆87Updated 4 years ago
• VictorTaelin / lambda-calculus
  A simple, clean and fast implementation of the λ-calculus on JavaScript.
  ☆45Updated 5 years ago
• VictorTaelin / abstract-algorithm
  Optimal evaluator of λ-calculus terms.
  ☆278Updated 2 years ago
• chrisdone-archive / vado
  A demo web browser engine written in Haskell
  ☆281Updated 6 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆208Updated 6 years ago
• jaybutera / Abstract-Algebra
  A course-worth of notes
  ☆202Updated last year
• VictorTaelin / calculus-of-constructions
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆115Updated 8 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆303Updated 2 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆130Updated 5 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 7 years ago
• sharkdp / purescript-flare
  A special-purpose UI library for Purescript
  ☆285Updated 5 years ago
• seagreen / plate
  Algebraic type based schema system
  ☆128Updated 5 years ago
• benji6 / combinators-js
  Some combinators
  ☆137Updated 8 months ago
• mightybyte / monad-challenges
  A set of challenges for jump starting your understanding of monads.
  ☆334Updated 4 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆177Updated last year
• sdiehl / tinyjit
  Haskell JIT
  ☆185Updated 5 years ago
• williamdemeo / TypeFunc
  Resources for type theory, functional programming, etc.
  ☆321Updated 4 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆472Updated 2 months ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated 2 years ago
• matijapretnar / eff
  A functional programming language based on algebraic effect handlers
  ☆883Updated last month
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago