mattiamanzati / typelevel-interpreterLinks
Language and working Interpreter using only TypeScript types (no JavaScript either written or emitted)
☆36Updated 7 years ago
Alternatives and similar repositories for typelevel-interpreter
Users that are interested in typelevel-interpreter are comparing it to the libraries listed below
Sorting:
- WIP Search TypeScript functions and methods by types☆86Updated 3 years ago
- Pattern matching in TS with Record Patterns, Type Patterns, type inference and more☆68Updated 5 years ago
- TypeScript code generation from a haskell-like syntax for ADT. Playground:☆107Updated 6 years ago
- A Higher-Kinded-Types encoding for TypeScript w/ Composable Typeclasses☆47Updated 2 years ago
- Computational environments and effects for TypeScript☆62Updated 2 years ago
- A tagged unions code generation library for discriminating tastes☆43Updated 2 years ago
- A functional programming library designed to simplify building complex regular expressions☆95Updated 2 years ago
- Partial application syntax and lambda parameters for JavaScript, inspired by Scala's `_` & Kotlin's `it`☆185Updated 3 years ago
- A polyfill of unknown that works with legacy typescript versions (before 3.0)☆29Updated 6 years ago
- Code samples that scale☆108Updated last week
- Algebraic graphs implementation in TypeScript☆133Updated 2 years ago
- Bugged few features support RegEx engine written just by Typescript generics☆57Updated 3 years ago
- TypeScript collection of tuple tasks☆19Updated 7 years ago
- Source code from my Lazy Evaluation video☆16Updated 5 years ago
- TypeScript transformer which converts TypeScript types to io-ts entities☆44Updated 2 years ago
- Script in typescript~☆94Updated 2 years ago
- ADT sum type in typescript☆70Updated 2 years ago
- 🦸 λΔ providing super powers to Typescript.☆44Updated last year
- Powerful recursive Typescript types for `pipe` and `compose`☆29Updated 6 years ago
- Monads, Do style☆37Updated 7 years ago
- String parser combinators for TypeScript☆199Updated 2 years ago
- 📐 Validation and unit conversion errors in TypeScript at compile-time. Started in 2016. Publicised in 2020.☆46Updated this week
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆108Updated 3 years ago
- Fast explicit tail calls. In today's JavaScript!☆110Updated 2 years ago
- A simple encoding of higher-kinded types in TypeScript☆212Updated 2 years ago
- Implementation of `pipe` and `compose` using types from at 'pipe-and-compose-types.☆17Updated 6 years ago
- A withdrawn proposal for standardizing some useful, popular helper functions into JavaScript’s Function object.☆46Updated 4 years ago
- Type safe library for creating Algebraic Data Types (ADTs) in TypeScript. 🌱☆123Updated this week
- An algebraic data type for loading and refreshing data.☆49Updated 2 years ago
- Reliable, standards-oriented software for browsers & Node.☆49Updated 2 years ago