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:
- Computational environments and effects for TypeScript☆62Updated 3 years ago
- Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow☆47Updated last year
- Astonishingly simple, disciplined, testable effects☆23Updated last week
- Small library for describing HKTs in TypeScript☆32Updated 7 years ago
- Algebraic graphs implementation in TypeScript☆133Updated 2 years ago
- Encoding higher-kinded types in TypeScript☆40Updated 6 years ago
- Property-based tests for FL-compatible ADTs☆32Updated 4 years ago
- Pattern matching in TS with Record Patterns, Type Patterns, type inference and more☆68Updated 5 years ago
- fp-ts type class laws for property based testing☆81Updated 2 years ago
- ☆22Updated 8 years ago
- TypeScript code generation from a haskell-like syntax for ADT. Playground:☆107Updated 6 years ago
- ☆74Updated 3 years ago
- WIP Search TypeScript functions and methods by types☆86Updated 3 years ago
- Algebraic effects and handlers using generators☆57Updated this week
- Testing that works for you.☆18Updated 3 years ago
- MTL-style in TypeScript☆25Updated 7 years ago
- Reliable, standards-oriented software for browsers & Node.☆49Updated 2 years ago
- Correct, easy to use Option type for TypeScript. 🦄☆57Updated 6 years ago
- Typescript/Javascript implementation of Sodium FRP (Functional Reactive Programming) library☆131Updated this week
- ADT sum type in typescript☆70Updated 3 years ago
- Javascript recursion schemes compatible with flow-static-land☆22Updated 8 years ago
- fp-ts bindings for Fluture☆50Updated 5 years ago
- A simple encoding of higher-kinded types in TypeScript☆213Updated 3 years ago
- A porting of purescript-{canvas, drawing} featuring fp-ts☆42Updated 5 years ago
- fp-ts bindings for @most/core☆23Updated 3 years ago
- Refined types for Typescript☆25Updated 8 years ago
- Experimental continuous Behaviors for most.js☆32Updated 6 years ago
- A parser combinator library with declarative superpowers☆28Updated 3 years ago
- An effect/IO datatype in typescript☆101Updated 3 years ago
- Extension of the Callbag spec to add operator metadata☆59Updated 3 years ago