joaomilho / quantitsLinks
Quantities in Typescript, Idris influenced
☆10Updated last month
Alternatives and similar repositories for quantits
Users that are interested in quantits are comparing it to the libraries listed below
Sorting:
- A parser and formatter for TypeScript declarations that outputs HM-style type signatures.☆31Updated 2 years ago
- ECMAScript verification with SMT solvers☆125Updated last year
- Algebraic graphs implementation in TypeScript☆133Updated 2 years ago
- Extract or modify pieces of arbitrarily nested types with type lenses☆27Updated last year
- fp-ts type class laws for property based testing☆81Updated 2 years ago
- Proposal for lifted pipelines☆35Updated 4 years ago
- WIP Search TypeScript functions and methods by types☆86Updated 3 years ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆108Updated 3 years ago
- Small library for describing HKTs in TypeScript☆32Updated 7 years ago
- +> for function composition☆67Updated 7 years ago
- 🤓 JS / Flow syntax proposal. Types à la Hindley-Milner.☆21Updated 8 years ago
- Pointfree type-safe functional programming library for TypeScript - with do notation, HKTs, generic lifts and more☆92Updated 3 years ago
- A zero-config documentation tool for my TypeScript projects☆106Updated 2 years ago
- SumTypes in TypeScript☆30Updated 3 years ago
- A simple encoding of higher-kinded types in TypeScript☆213Updated 3 years ago
- Encoding higher-kinded types in TypeScript☆40Updated 6 years ago
- Experimental schema builder using TypeScript template strings.☆41Updated 2 years ago
- Fast explicit tail calls. In today's JavaScript!☆112Updated 2 years ago
- fp-ts bindings for Fluture☆50Updated 5 years ago
- 📐Let there be algebraic effects in JS☆182Updated 4 years ago
- Principled functional programming for JS☆17Updated 3 years ago
- Language and working Interpreter using only TypeScript types (no JavaScript either written or emitted)☆36Updated 7 years ago
- Property-based tests for FL-compatible ADTs☆32Updated 4 years ago
- ☯ The simplest signal library possible☆53Updated 3 years ago
- A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Al…☆166Updated 2 years ago
- Type-safe data decoding and encoding for the minimalist.☆56Updated last month
- Javascript Generalized Parser Combinators☆150Updated last week
- Functional Zipper for manipulating JSON☆56Updated 7 years ago
- Ergonomic JavaScript/TypeScript transducers for beginners and experts.☆142Updated 3 years ago
- TypeScript parser combinator library for building fast and convenient parsers.☆28Updated 4 months ago