mgechev / typed-calcLinks
Interpreter for simply typed lambda calculus implemented in JavaScript λ
☆34Updated 7 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 Inference Library written in TypeScript☆93Updated 2 years ago
- Javascript recursion schemes compatible with flow-static-land☆22Updated 7 years ago
- A parser combinator library with declarative superpowers☆27Updated 3 years ago
- ☆37Updated 3 years ago
- Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow☆46Updated last year
- MTL-style in TypeScript☆25Updated 7 years ago
- Algebraic effects and handlers using generators☆57Updated this week
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆45Updated 5 years ago
- Kempe is a compiled stack-based language☆58Updated 8 months ago
- Astonishingly simple, disciplined, testable effects☆23Updated this week
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 7 years ago
- A tagged unions code generation library for discriminating tastes☆43Updated 2 years ago
- Small library for describing HKTs in TypeScript☆32Updated 7 years ago
- A take on TodoMVC developed using functional effects with @matechs/effect and fp-ts☆15Updated 2 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
- ☆55Updated 8 years ago
- Fork of react-basic-starter using Package sets☆24Updated 6 years ago
- Recursion schemes in TypeScript (POC)☆22Updated 5 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- SumTypes in TypeScript☆30Updated 2 years ago
- Finger tree data structure for JavaScript☆26Updated this week
- A stream library for purescript☆17Updated 8 years ago
- My (rejected) OBT-2018 submission☆35Updated 4 years ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆75Updated 10 months ago
- Language and working Interpreter using only TypeScript types (no JavaScript either written or emitted)☆36Updated 7 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆24Updated 5 years ago
- The Effect monad, for handling native side effects☆52Updated 2 years ago
- A polyfill of unknown that works with legacy typescript versions (before 3.0)☆29Updated 6 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- ECMAScript derived programming language☆68Updated 10 years ago