VictorTaelin / lambda-calculusLinks
A simple, clean and fast implementation of the λ-calculus on JavaScript.
☆45Updated 5 years ago
Alternatives and similar repositories for lambda-calculus
Users that are interested in lambda-calculus are comparing it to the libraries listed below
Sorting:
- An optimal function evaluator written in JavaScript.☆139Updated 8 years ago
- Common combinators.☆66Updated 9 years ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated 2 years ago
- Algebraic data types for Javascript☆220Updated 11 years ago
- Thoughts and stuff☆70Updated 5 years ago
- ECMAScript derived programming language☆68Updated 10 years ago
- A UI library based on the incremental lambda calculus☆111Updated 7 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆25Updated 5 years ago
- An experiment in replacing the virtual DOM and avoiding diffing☆161Updated 7 years ago
- Runtime type checking for JavaScript☆76Updated 6 years ago
- Contract library for JavaScript☆148Updated 10 years ago
- port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.☆93Updated 9 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆116Updated 8 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- Do-notation for javascript fantasy land☆64Updated 11 years ago
- QuickCheck Library using Fantasy-Land☆18Updated 9 years ago
- sweet.js macros for Fantasy Land compatible structures.☆35Updated 11 years ago
- Javascript Monad and Monad Transformer Collection☆82Updated 7 years ago
- [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…☆128Updated 8 years ago
- Tuple data structures.☆15Updated 8 years ago
- Profunctor implementation of Lenses, Prisms, Traversals, Isos, etc.☆87Updated 9 years ago
- Either data structure.☆21Updated 7 years ago
- Property-based tests for FL-compatible ADTs☆32Updated 3 years ago
- This is my Bachelor-Thesis. I showed how to derieve a purely functional programming language from an unrestricted language by example of …☆42Updated 9 years ago
- Finger tree data structure for JavaScript☆27Updated 3 months ago
- A minimal proof language.☆211Updated 6 years ago
- Interpreter for simply typed lambda calculus implemented in JavaScript λ☆35Updated 8 years ago
- An educational game with ponies☆117Updated 8 years ago
- Algebraic effects and handlers using generators☆57Updated this week
- Totally functional programming literature☆60Updated 6 years ago