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
- Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow☆46Updated last year
- Javascript recursion schemes compatible with flow-static-land☆22Updated 7 years ago
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆45Updated 5 years ago
- ☆37Updated 3 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
- es4 clone☆27Updated 11 years ago
- Finger tree data structure for JavaScript☆26Updated last week
- SumTypes in TypeScript☆30Updated 2 years ago
- Archive of the ES4 reference interpreter that was a work-in-progress when ES4 was cancelled.☆26Updated 11 years ago
- Small library for describing HKTs in TypeScript☆32Updated 7 years ago
- MTL-style in TypeScript☆25Updated 7 years ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆104Updated 2 years ago
- Implementation of Algebraic effects (https://bit.ly/2Mo7w3Q) based on Generators☆57Updated 6 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 7 years ago
- ☆55Updated 8 years ago
- A parser combinator library with declarative superpowers☆27Updated 3 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆24Updated 5 years ago
- A pure and functional router using classic FRP. Written in TypeScript.☆20Updated 3 years ago
- My (rejected) OBT-2018 submission☆34Updated 4 years ago
- small programming language. pls be gentle.☆39Updated 2 months ago
- Thoughts and stuff☆69Updated 5 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- A tagged unions code generation library for discriminating tastes☆43Updated 2 years ago
- Example projects using sanctuary.js as FP library☆17Updated 6 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- An HTTP server and framework written from scratch in OCaml☆26Updated 4 years ago
- Astonishingly simple, disciplined, testable effects☆23Updated last week
- Language and working Interpreter using only TypeScript types (no JavaScript either written or emitted)☆36Updated 7 years ago