YBogomolov / talk-typelevel-ts
Code samples for my talk “Type-level programming in TypeScript”
☆29Updated 3 years ago
Alternatives and similar repositories for talk-typelevel-ts:
Users that are interested in talk-typelevel-ts are comparing it to the libraries listed below
- Functional reactive values-over-time☆81Updated 11 months ago
- Algebraic graphs implementation in TypeScript☆132Updated 2 years ago
- Code samples for #monadicmonday topics☆86Updated 4 years ago
- Type-safe wrapper around Fetch API☆132Updated 2 years ago
- Kleisli arrows for bifunctor IO☆45Updated 2 years ago
- Code kata for fp-ts☆37Updated 5 years ago
- Computational environments and effects for TypeScript☆60Updated 2 years ago
- Code template for workshop "Building eDSLs in functional TypeScript"☆56Updated 4 years ago
- Providing Transducers/Streams based on fp-ts library.☆30Updated last year
- Encoding higher-kinded types in TypeScript☆41Updated 5 years ago
- Indexed monads for TypeScript; a companion library of fp-ts☆18Updated 3 years ago
- Purely-functional strictly-typed IoC/DI for TypeScript☆41Updated 3 months ago
- Circuit Breaker pattern as a monad☆69Updated 2 years ago
- Practical Optics • Unfancy monocle-ts☆101Updated last week
- 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
- fp-ts bindings for Fluture☆50Updated 5 years ago
- ☆74Updated 2 years ago
- Experimenting with React, fp-ts, ReaderTaskEither, etc.☆19Updated 4 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
- Extract or modify pieces of arbitrarily nested types with type lenses☆26Updated last year
- Pattern matching in TS with Record Patterns, Type Patterns, type inference and more☆68Updated 4 years ago
- Reliable, standards-oriented software for browsers & Node.☆49Updated last year
- A Higher-Kinded-Types encoding for TypeScript w/ Composable Typeclasses☆42Updated 2 years ago
- Bit of a mess 💩☆14Updated last year
- ADT sum type in typescript☆70Updated 2 years ago
- Stable hooks for react using FP-TS equality checks instead of shallow (reference) object comparison☆75Updated 2 years ago
- Companion to the youtube series☆15Updated 2 years ago
- ☆9Updated 2 years ago
- Playground for various recursion schemes done in TypeScript☆15Updated last year