Alternatives and similar repositories for lambda-calculus:

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

• fantasyland / fantasy-combinators
  Common combinators.
  ☆66Updated 9 years ago
• Risto-Stevcev / lazy-either
  A lazy implementation of the Fantasy Land Either type
  ☆16Updated 7 years ago
• paf31 / purescript-purview
  A UI library based on the incremental lambda calculus
  ☆113Updated 6 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆68Updated 4 years ago
• josephjunker / static-land-recursion-schemes
  Javascript recursion schemes compatible with flow-static-land
  ☆22Updated 7 years ago
• fantasyland / fantasy-check
  QuickCheck Library using Fantasy-Land
  ☆18Updated 9 years ago
• natefaubion / adt.js
  Algebraic data types for Javascript
  ☆220Updated 10 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• markandrus / aljebra
  Toy implementations of the algebraic structures defined in the Fantasy Land specification, mostly borrowed from Haskell libraries.
  ☆30Updated 7 years ago
• dicearr / monastic
  A functional approach to stateful computations
  ☆22Updated 5 months ago
• fantasyland / fantasy-frees
  Free monad
  ☆26Updated 9 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 9 years ago
• fluture-js / concurrify
  Turn non-concurrent FantasyLand Applicatives concurrent
  ☆24Updated 4 years ago
• paf31 / purescript-sdom
  An experiment in replacing the virtual DOM and avoiding diffing
  ☆162Updated 6 years ago
• fantasyland / fantasy-tuples
  Tuple data structures.
  ☆15Updated 8 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• metaweta / jscategory
  Contract library for javascript based on category theory.
  ☆40Updated 7 years ago
• mattbierner / akh
  Javascript Monad and Monad Transformer Collection
  ☆82Updated 6 years ago
• kedashoe / hindley-milner-parser-js
  ☆27Updated 2 years ago
• robotlolita / tamago
  (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript
  ☆32Updated last year
• VictorTaelin / calculus-of-constructions
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆107Updated 7 years ago
• fantasyland / fantasy-eithers
  Either data structure.
  ☆21Updated 6 years ago
• santoshrajan / monadjs
  Monad Library for JavaScript
  ☆54Updated 11 years ago
• fluture-js / fluture-sanctuary-types
  Fluture type definitions for Sanctuary
  ☆19Updated 3 years ago
• yousefvand / sanctuary-examples
  Example projects using sanctuary.js as FP library
  ☆17Updated 6 years ago
• abuseofnotation / monad-transformers
  Practical monad transformers for JS.
  ☆26Updated 8 years ago
• sjsyrek / monadjs
  A JavaScript implementation of Maybe and other Haskell-style monads
  ☆7Updated 8 years ago
• functional-data-structure / finger-tree
  Finger tree data structure for JavaScript
  ☆26Updated this week
• fantasyland / sweet-fantasies
  sweet.js macros for Fantasy Land compatible structures.
  ☆35Updated 11 years ago
• justinwoo / purescript-bismuth
  A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes
  ☆19Updated 7 years ago