atennapel / ts-typelevel-computationLinks
☆13Updated 7 years ago
Alternatives and similar repositories for ts-typelevel-computation
Users that are interested in ts-typelevel-computation are comparing it to the libraries listed below
Sorting:
- Algebraic graphs implementation in TypeScript☆133Updated 2 years ago
- Astonishingly simple, disciplined, testable effects☆23Updated this week
- Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow☆47Updated last year
- Javascript recursion schemes compatible with flow-static-land☆22Updated 8 years ago
- Encoding higher-kinded types in TypeScript☆40Updated 6 years ago
- Computational environments and effects for TypeScript☆62Updated 2 years ago
- fp-ts bindings for @most/core☆23Updated 3 years ago
- Experimental continuous Behaviors for most.js☆32Updated 6 years ago
- Testing that works for you.☆18Updated 3 years ago
- Bring type level information to value level.☆19Updated last year
- Language and working Interpreter using only TypeScript types (no JavaScript either written or emitted)☆36Updated 7 years ago
- WIP Search TypeScript functions and methods by types☆86Updated 3 years ago
- Typescript/Javascript implementation of Sodium FRP (Functional Reactive Programming) library☆130Updated this week
- A tagged unions code generation library for discriminating tastes☆43Updated 3 years ago
- Algebraic effects and handlers using generators☆57Updated 2 weeks ago
- ☆74Updated 3 years ago
- String parser combinators for PureScript.☆59Updated 8 years ago
- Small library for describing HKTs in TypeScript☆32Updated 7 years ago
- Transform your async function to be run concurrently much as possible☆23Updated 2 years ago
- A porting of purescript-{canvas, drawing} featuring fp-ts☆42Updated 5 years ago
- A simple encoding of higher-kinded types in TypeScript☆213Updated 3 years ago
- ☆22Updated 8 years ago
- A library that turns impure code into pure and testable code.☆38Updated 3 years ago
- TypeScript Lens implementation with property proxy☆149Updated 6 years ago
- ECMAScript verification with SMT solvers☆125Updated last year
- Pattern matching in TS with Record Patterns, Type Patterns, type inference and more☆68Updated 5 years ago
- Refined types for Typescript☆25Updated 8 years ago
- Property-based tests for FL-compatible ADTs☆32Updated 3 years ago
- A free Static Land compatible Monad implementation☆14Updated 7 years ago
- MTL-style in TypeScript☆25Updated 7 years ago