VictorTaelin / lambda-calculus
A simple, clean and fast implementation of the λ-calculus on JavaScript.
☆45Updated 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
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated last year
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆24Updated 4 years ago
- Common combinators.☆66Updated 9 years ago
- Thoughts and stuff☆68Updated 4 years ago
- Fluture type definitions for Sanctuary☆19Updated 3 years ago
- A lazy implementation of the Fantasy Land Either type☆16Updated 7 years ago
- Tuple data structures.☆15Updated 8 years ago
- Better primitives for prototype-based OO☆11Updated 8 years ago
- Contract library for javascript based on category theory.☆40Updated 7 years ago
- A UI library based on the incremental lambda calculus☆113Updated 6 years ago
- ECMAScript derived programming language☆68Updated 9 years ago
- sweet.js macros for Fantasy Land compatible structures.☆35Updated 11 years ago
- QuickCheck Library using Fantasy-Land☆18Updated 9 years ago
- ☆19Updated 6 years ago
- Meta repository for discussions regarding ECMAScript proposals☆12Updated 8 years ago
- Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow☆46Updated 9 months ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆109Updated 7 years ago
- Javascript Monad and Monad Transformer Collection☆82Updated 6 years ago
- Algebraic data types for Javascript☆220Updated 11 years ago
- Either data structure.☆21Updated 6 years ago
- An optimal function evaluator written in JavaScript.☆134Updated 7 years ago
- [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…☆129Updated 8 years ago
- An Immutable vectors/lists/arrays library using the Relaxed Radix Balancing(RRB) technique☆12Updated 7 years ago
- Do-notation for javascript fantasy land☆64Updated 11 years ago
- Runtime type checking for JavaScript☆76Updated 6 years ago
- A parser for Hidnley Milner notations☆23Updated 2 years ago
- Property-based tests for FL-compatible ADTs☆33Updated 3 years ago
- Javascript recursion schemes compatible with flow-static-land☆22Updated 7 years ago
- A functional approach to stateful computations☆22Updated 6 months ago