VictorTaelin / lambda-calculus
A simple, clean and fast implementation of the λ-calculus on JavaScript.
☆44Updated 4 years ago
Alternatives and similar repositories for lambda-calculus:
Users that are interested in lambda-calculus are comparing it to the libraries listed below
- Common combinators.☆66Updated 9 years ago
- Either data structure.☆21Updated 6 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆24Updated 4 years ago
- Tuple data structures.☆15Updated 8 years ago
- QuickCheck Library using Fantasy-Land☆18Updated 8 years ago
- Thoughts and stuff☆68Updated 4 years ago
- Javascript recursion schemes compatible with flow-static-land☆22Updated 7 years ago
- An experiment in replacing the virtual DOM and avoiding diffing☆162Updated 6 years ago
- Option data structure.☆36Updated 6 years ago
- Fluture type definitions for Sanctuary☆19Updated 3 years ago
- An optimal function evaluator written in JavaScript.☆132Updated 7 years ago
- Contract library for javascript based on category theory.☆40Updated 7 years ago
- sweet.js macros for Fantasy Land compatible structures.☆34Updated 11 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- A functional approach to stateful computations☆22Updated 4 months ago
- Example projects using sanctuary.js as FP library☆17Updated 6 years ago
- Meta repository for discussions regarding ECMAScript proposals☆12Updated 8 years ago
- A lazy implementation of the Fantasy Land Either type☆16Updated 7 years ago
- A JavaScript implementation of Maybe and other Haskell-style monads☆7Updated 8 years ago
- Javascript Monad and Monad Transformer Collection☆82Updated 6 years ago
- ECMAScript derived programming language☆67Updated 9 years ago
- A partial clone of 2D Star Dodge☆26Updated 9 years ago
- A collection of monoids☆29Updated 7 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆107Updated 7 years ago
- A UI library based on the incremental lambda calculus☆113Updated 6 years ago
- ☆19Updated 6 years ago
- Algebraic data types for Javascript☆220Updated 10 years ago
- Totally functional programming literature☆60Updated 5 years ago
- An experiment with higher-kinded types in elm☆57Updated 8 years ago
- A parser for Hidnley Milner notations☆23Updated 2 years ago