mgechev / typed-calc
Interpreter for simply typed lambda calculus implemented in JavaScript λ
☆34Updated 7 years ago
Related projects: ⓘ
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆44Updated 4 years ago
- Type Inference Library written in TypeScript☆92Updated last year
- Finger tree data structure for JavaScript☆26Updated last week
- ☆36Updated 2 years ago
- Archive of the ES4 reference interpreter that was a work-in-progress when ES4 was cancelled.☆24Updated 10 years ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated last year
- ☆55Updated 7 years ago
- A type-safe dialect of TypeScript☆25Updated 9 years ago
- Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow☆46Updated 3 months ago
- Javascript recursion schemes compatible with flow-static-land☆22Updated 7 years ago
- Another attempt to realize my programming language☆17Updated last week
- Small library for describing HKTs in TypeScript☆32Updated 6 years ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆76Updated last month
- SumTypes in TypeScript☆30Updated last year
- Kempe is a compiled stack-based language☆58Updated 3 months ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- Turn non-concurrent FantasyLand Applicatives concurrent☆24Updated 4 years ago
- Algebraic effects and handlers using generators☆57Updated this week
- Code and demos for Reconstructing TypeScript blog posts.☆34Updated last year
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 6 years ago
- Language and working Interpreter using only TypeScript types (no JavaScript either written or emitted)☆36Updated 6 years ago
- es4 clone☆26Updated 10 years ago
- Example projects using sanctuary.js as FP library☆17Updated 5 years ago
- Implementation of Algebraic effects (https://bit.ly/2Mo7w3Q) based on Generators☆55Updated 5 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆86Updated 5 years ago
- Property-based tests for FL-compatible ADTs☆33Updated 2 years ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- MTL-style in TypeScript☆25Updated 6 years ago
- Proposal to add tail calls to WebAssembly☆111Updated 2 weeks ago
- An implementation of emcascript interfaces in Sweet.js.☆33Updated 6 years ago