Alternatives and similar repositories for es6-lambda-calculus:

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

• fantasyland / fantasy-laws
  Property-based tests for FL-compatible ADTs
  ☆33Updated 3 years ago
• sorellabs / claire
  [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.
  ☆78Updated 10 years ago
• ethul / purescript-react-example
  Example of React Bindings for PureScript
  ☆46Updated 6 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 9 years ago
• abuseofnotation / monad-transformers
  Practical monad transformers for JS.
  ☆26Updated 8 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
• liphe / delisp
  A statically typed Lisp dialect with algebraic effect system compiling to Javascript
  ☆39Updated 2 years ago
• VictorTaelin / lambda-calculus
  A simple, clean and fast implementation of the λ-calculus on JavaScript.
  ☆44Updated 4 years ago
• yousefvand / sanctuary-examples
  Example projects using sanctuary.js as FP library
  ☆17Updated 6 years ago
• ramda / ramda-logic
  ramda logic
  ☆43Updated 4 months ago
• metaweta / jscategory
  Contract library for javascript based on category theory.
  ☆40Updated 7 years ago
• jaredly / myntax
  ☆51Updated 6 years ago
• rackt-org / rackt
  An ultrasmall (~70 loc) React wrapper written in RacketScript
  ☆59Updated last year
• dysinger / restack
  Full Stack ReasonML Tutorials
  ☆229Updated 3 years ago
• fluture-js / fluture-sanctuary-types
  Fluture type definitions for Sanctuary
  ☆19Updated 3 years ago
• fantasyland / fantasy-birds
  port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.
  ☆91Updated 8 years ago
• asolove / restate
  Another way to describe the control state of your Reason UI
  ☆24Updated 7 years ago
• staltz / jace
  just another compiler experiment
  ☆14Updated 8 years ago
• betafcc / vscode-fp-ts-codegen
  Expands haskell-syntax ADTs to typescript equivalent types definitions using gcanti/fp-ts-codegen
  ☆16Updated 5 years ago
• sanctuary-js / sanctuary-type-identifiers
  Specification for type identifiers
  ☆21Updated 3 months ago
• xgrommx / purescript-ecosystem
  ☆97Updated 4 years ago
• 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
• rlucha / reasonml-minimal-config
  ReasonML minimal webpack config with webpack-dashboard & reports enabled
  ☆18Updated 7 years ago
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 10 years ago
• dicearr / monastic
  A functional approach to stateful computations
  ☆22Updated 5 months ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• fantasyland / fantasy-combinators
  Common combinators.
  ☆66Updated 9 years ago
• ELLIOTTCABLE / bs-deriving
  Type-driven code generation for OCaml, ReasonML, and BuckleScript
  ☆42Updated 2 years ago
• rhysforyou / bs-enzyme
  Bucklescript bindings for Enzyme
  ☆35Updated 3 years ago
• fantasyland / fantasy-tuples
  Tuple data structures.
  ☆15Updated 8 years ago