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:
- Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow☆46Updated last year
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆108Updated 3 years ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆45Updated 5 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆179Updated last year
- A parser combinator library with declarative superpowers☆28Updated 3 years ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- Javascript recursion schemes compatible with flow-static-land☆22Updated 8 years ago
- Algebraic effects and handlers using generators☆57Updated 2 weeks ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated 2 years ago
- Small library for describing HKTs in TypeScript☆32Updated 7 years ago
- ☆37Updated 4 years ago
- ECMAScript derived programming language☆68Updated 10 years ago
- Proposal to add tail calls to WebAssembly☆114Updated 9 months ago
- Common combinators.☆66Updated 9 years ago
- Experimental continuous Behaviors for most.js☆32Updated 5 years ago
- SumTypes in TypeScript☆30Updated 2 years ago
- Implementation of Algebraic effects (https://bit.ly/2Mo7w3Q) based on Generators☆57Updated 7 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 7 years ago
- A free Static Land compatible Monad implementation☆14Updated 6 years ago
- Natural pattern matching in JS☆23Updated 2 years ago
- Expands haskell-syntax ADTs to typescript equivalent types definitions using gcanti/fp-ts-codegen☆16Updated 6 years ago
- An optimal function evaluator written in JavaScript.☆139Updated 8 years ago
- Algebraic data types for JavaScript using Sweet.js macros☆94Updated 11 years ago
- Algorithms and Data Structures in ReasonML☆39Updated 7 years ago
- ☆55Updated 8 years ago
- es4 clone☆27Updated 11 years ago
- Finger tree data structure for JavaScript☆27Updated 3 months ago
- A UI library based on the incremental lambda calculus☆111Updated 7 years ago
- MTL-style in TypeScript☆25Updated 7 years ago
- A prototype implementation of a Pull based FRP in JavaScript☆16Updated 9 years ago