mattiamanzati / typelevel-interpreter
Language and working Interpreter using only TypeScript types (no JavaScript either written or emitted)
☆36Updated 6 years ago
Alternatives and similar repositories for typelevel-interpreter:
Users that are interested in typelevel-interpreter are comparing it to the libraries listed below
- TypeScript code generation from a haskell-like syntax for ADT. Playground:☆105Updated 5 years ago
- Transform your async function to be run concurrently much as possible☆23Updated last year
- A polyfill of unknown that works with legacy typescript versions (before 3.0)☆29Updated 6 years ago
- Pattern matching in TS with Record Patterns, Type Patterns, type inference and more☆67Updated 4 years ago
- WIP Search TypeScript functions and methods by types☆84Updated 2 years ago
- Computational environments and effects for TypeScript☆60Updated 2 years ago
- Functional programming tools: option, either, task, state, optics, etc.☆21Updated 3 years ago
- A tagged unions code generation library for discriminating tastes☆43Updated 2 years ago
- Source code from my Lazy Evaluation video☆16Updated 4 years ago
- An implementation of software transactional memory built with Effect☆29Updated last year
- Discover laws in your code like with QuickSpec☆15Updated 3 years ago
- SumTypes in TypeScript☆30Updated 2 years ago
- A withdrawn proposal for standardizing some useful, popular helper functions into JavaScript’s Function object.☆45Updated 3 years ago
- A react style parser generator based on PEG.js☆23Updated last year
- A utility for defining tagged unions in TypeScript + pattern matching functions☆27Updated 4 years ago
- Algebraic Effects in Javascript☆47Updated 2 years ago
- A Higher-Kinded-Types encoding for TypeScript w/ Composable Typeclasses☆41Updated last year
- WIP: ReScript bindings to Deno API☆34Updated last year
- Powerful recursive Typescript types for `pipe` and `compose`☆31Updated 5 years ago
- Light weight runtime for ReScript☆15Updated last year
- Expands haskell-syntax ADTs to typescript equivalent types definitions using gcanti/fp-ts-codegen☆16Updated 5 years ago
- An algebraic data type for loading and refreshing data.☆49Updated last year
- fp-ts bindings for Fluture☆50Updated 4 years ago
- Safe, ergonomic, non-generic sum types in TypeScript.☆43Updated last year
- TypeScript collection of tuple tasks☆19Updated 6 years ago
- A porting of purescript-{canvas, drawing} featuring fp-ts☆42Updated 4 years ago
- Extension of the Callbag spec to add operator metadata☆59Updated 2 years ago
- Minifier for TypeScript declaration files (.d.ts)☆24Updated 10 months ago
- Delimited Continuations for JavaScript☆31Updated 11 months ago
- Next Gen Data Modelling☆17Updated 2 years ago