mgechev / typed-calcLinks
Interpreter for simply typed lambda calculus implemented in JavaScript λ
☆35Updated 8 years ago
Alternatives and similar repositories for typed-calc
Users that are interested in typed-calc are comparing it to the libraries listed below
Sorting:
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆179Updated last year
- Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow☆46Updated last year
- Experimental continuous Behaviors for most.js☆32Updated 5 years ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆45Updated 5 years ago
- Small library for describing HKTs in TypeScript☆32Updated 7 years ago
- A parser combinator library with declarative superpowers☆28Updated 3 years ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆106Updated 2 years ago
- Finger tree data structure for JavaScript☆27Updated last month
- MTL-style in TypeScript☆25Updated 7 years ago
- port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.☆93Updated 8 years ago
- Javascript recursion schemes compatible with flow-static-land☆22Updated 8 years ago
- Implementation of Algebraic effects (https://bit.ly/2Mo7w3Q) based on Generators