jedahu / ts-refined
Refined types for Typescript
☆24Updated 7 years ago
Alternatives and similar repositories for ts-refined:
Users that are interested in ts-refined are comparing it to the libraries listed below
- ☆74Updated 2 years ago
- 🔭 Lenses, Prisms and Traversals in JavaScript!☆52Updated 4 years ago
- Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow☆46Updated 9 months ago
- String parser combinators for PureScript.☆58Updated 7 years ago
- Algebraic graphs implementation in TypeScript☆132Updated 2 years ago
- Recursion schemes in TypeScript (POC)☆22Updated 4 years ago
- Refinement Types for Scripting Languages☆67Updated 6 years ago
- The most practical sample to make with Effect-TS, or is it? To Do taken to the next level ;-)☆32Updated 3 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
- An effect/IO datatype in typescript☆101Updated 2 years ago
- A library for generating Typescript types that can be used transparently from Purescript.☆68Updated 5 years ago
- Tag types for Typescript☆52Updated 2 years ago
- Supporting code for the book /Lenses for the Mere Mortal: PureScript Edition/☆33Updated 2 years ago
- Unison Codebase UI☆46Updated 2 years ago
- Indexed monads for TypeScript; a companion library of fp-ts☆18Updated 3 years ago
- fp-ts type class laws for property based testing☆81Updated last year
- A tagged unions code generation library for discriminating tastes☆43Updated 2 years ago
- TypeScript code generation from a haskell-like syntax for ADT. Playground:☆106Updated 5 years ago
- Incremental lambda calculus☆81Updated 5 years ago
- Encoding higher-kinded types in TypeScript☆41Updated 5 years ago
- Set up a specific PureScript toolchain in your GitHub Actions workflow☆45Updated last week
- ☆9Updated 2 years ago
- Reliable, standards-oriented software for browsers & Node.☆49Updated last year
- A fast, native representation for JSON, with serialization and folding☆48Updated last year
- Reusable stateful logic in Halogen, inspired by React Hooks☆116Updated 7 months ago
- An algebraic data type for loading and refreshing data.☆49Updated last year
- WIP Search TypeScript functions and methods by types☆86Updated 2 years ago
- Algebraic Graphs in Scala☆26Updated 3 years ago
- Haskell implementation of C4 model, for specifying software architecture☆18Updated 2 years ago
- MTL-style in TypeScript☆25Updated 7 years ago