joaomilho / quantitsLinks
Quantities in Typescript, Idris influenced
☆10Updated 3 years ago
Alternatives and similar repositories for quantits
Users that are interested in quantits are comparing it to the libraries listed below
Sorting:
- Safe, ergonomic, non-generic sum types in TypeScript.☆44Updated this week
- Extract or modify pieces of arbitrarily nested types with type lenses☆26Updated last year
- A parser and formatter for TypeScript declarations that outputs HM-style type signatures.☆31Updated 2 years ago
- WIP Search TypeScript functions and methods by types☆85Updated 2 years ago
- Type-safe data decoding for the minimalist.☆54Updated 3 months ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆105Updated 2 years ago
- fp-ts type class laws for property based testing☆81Updated last year
- Pointfree type-safe functional programming library for TypeScript - with do notation, HKTs, generic lifts and more☆92Updated 3 years ago
- Algebraic graphs implementation in TypeScript☆133Updated 2 years ago
- Astonishingly simple, disciplined, testable effects☆23Updated last week
- ECMAScript verification with SMT solvers☆124Updated last year
- A zero-config documentation tool for my TypeScript projects☆104Updated 2 years ago
- Reliable, standards-oriented software for browsers & Node.☆49Updated last year
- Property-based tests for FL-compatible ADTs☆33Updated 3 years ago
- ☯ The simplest signal library possible☆53Updated 2 years ago
- SumTypes in TypeScript☆30Updated 2 years ago
- Small library for describing HKTs in TypeScript☆32Updated 7 years ago
- json-schema + fast-check = Property testing in JS with JSON Schema☆21Updated 3 years ago
- Proposal for lifted pipelines☆35Updated 3 years ago
- A simple encoding of higher-kinded types in TypeScript☆211Updated 2 years ago
- A functional programming library designed to simplify building complex regular expressions☆92Updated 2 years ago
- Functional programming in Typescript☆79Updated last year
- Encoding higher-kinded types in TypeScript☆41Updated 6 years ago
- Computational environments and effects for TypeScript☆60Updated 2 years ago
- ☆20Updated 5 years ago
- Bootstrap libraries that follow common fp-ts coding, documentation and testing patterns☆40Updated 3 years ago
- Grammar Well is a cross-platform compiler, parser, and/or interpreter written in TypeScript.☆27Updated this week
- Type-Level Regular Expressions matching with TypeScript☆23Updated 2 years ago
- FP-style HTTP and streaming utils for Node based on Fluture☆19Updated last year
- Language and working Interpreter using only TypeScript types (no JavaScript either written or emitted)☆36Updated 7 years ago