pelotom / hkts
A simple encoding of higher-kinded types in TypeScript
☆212Updated 2 years ago
Alternatives and similar repositories for hkts:
Users that are interested in hkts are comparing it to the libraries listed below
- ☆323Updated 2 years ago
- fp-ts type class laws for property based testing☆81Updated last year
- Generate Algebraic Data Types and pattern matchers☆319Updated 2 years ago
- playground for type-level primitives in TypeScript☆173Updated last month
- Variant types in TypeScript☆186Updated last year
- The missing pseudo-standard library for fp-ts.☆209Updated 5 months ago
- An effect/IO datatype in typescript☆101Updated 2 years ago
- ☆74Updated 2 years ago
- A community driven utility package for fp-ts☆199Updated 5 months ago
- Type safety across REST APIs in TypeScript!☆105Updated 2 years ago
- Practical Optics • Unfancy monocle-ts☆100Updated 2 months ago
- Ramda functions reimplemented in fp-ts☆139Updated 4 years ago
- Pointfree type-safe functional programming library for TypeScript - with do notation, HKTs, generic lifts and more☆92Updated 2 years ago
- Monorepo of typescript projects☆151Updated 4 months ago
- ADT sum type in typescript☆70Updated 2 years ago
- Reliable, standards-oriented software for browsers & Node.☆49Updated last year
- String parser combinators for TypeScript☆196Updated last year
- Functional programming, immutable collections and FP constructs for typescript and javascript☆381Updated last year
- Error reporters for io-ts☆89Updated 10 months ago
- ESLint rules for fp-ts☆112Updated last month
- Pattern matching in TS with Record Patterns, Type Patterns, type inference and more☆68Updated 4 years ago
- Jest matchers for fp-ts☆67Updated last year
- Encoding higher-kinded types in TypeScript☆41Updated 5 years ago
- A type-safe bidirectional routing library for TypeScript☆168Updated last month
- Type-safe wrapper around Fetch API☆132Updated 2 years ago
- 📰 Developer versions of my Medium.com articles☆126Updated 5 years ago
- Algebraic graphs implementation in TypeScript☆132Updated 2 years ago
- Type level programming in TypeScript☆356Updated 4 years ago
- 👾 JS type systems interportability☆245Updated 2 years ago
- A porting of zio-optics to TypeScript☆129Updated 6 months ago