babakness / exhaustive-type-checking

Related projects ⓘ

Alternatives and complementary repositories for exhaustive-type-checking

• practical-fp / union-types
  A Typescript library for creating discriminating union types.
  ☆69Updated 2 years ago
• nythrox / purifree
  Pointfree type-safe functional programming library for TypeScript - with do notation, HKTs, generic lifts and more
  ☆90Updated 2 years ago
• giogonzo / fp-ts-ramda
  Ramda functions reimplemented in fp-ts
  ☆138Updated 4 years ago
• briancavalier / fx-ts
  Computational environments and effects for TypeScript
  ☆60Updated last year
• sveseme / taghiro
  Tag types for Typescript
  ☆51Updated last year
• TylorS / hkt-ts
  A Higher-Kinded-Types encoding for TypeScript w/ Composable Typeclasses
  ☆41Updated last year
• mblink / fp-ts-react-stable-hooks
  Stable hooks for react using FP-TS equality checks instead of shallow (reference) object comparison
  ☆74Updated last year
• ts-plus / stdlib
  ☆71Updated 2 years ago
• rzeigler / waveguide
  An effect/IO datatype in typescript
  ☆101Updated last year
• unsplash / sum-types
  Safe, ergonomic, non-generic sum types in TypeScript.
  ☆42Updated 9 months ago
• no-day / create-fp-ts-lib
  Bootstrap libraries that follow common fp-ts coding, documentation and testing patterns
  ☆41Updated 2 years ago
• buildo / eslint-plugin-fp-ts
  ESLint rules for fp-ts
  ☆112Updated last year
• zanza00 / learn-fp-ts
  Examples, explanations and resources for fp-ts
  ☆34Updated last year
• grossbart / fp-ts-recipes
  A collection of practical recipes for working with fp-ts
  ☆160Updated last year
• anthonyjoeseph / spectacles-ts
  Practical Optics • Unfancy monocle-ts
  ☆99Updated 3 weeks ago
• babakness / pipe-and-compose-types
  Powerful recursive Typescript types for `pipe` and `compose`
  ☆31Updated 5 years ago
• samhh / fp-ts-std
  The missing pseudo-standard library for fp-ts.
  ☆207Updated last week
• gcanti / fp-ts-laws
  fp-ts type class laws for property based testing
  ☆81Updated last year
• YBogomolov / fetcher-ts
  Type-safe wrapper around Fetch API
  ☆131Updated last year
• raveclassic / frp-ts
  Functional reactive values-over-time
  ☆79Updated 6 months ago
• YBogomolov / workshop-edsl-in-typescript
  Code template for workshop "Building eDSLs in functional TypeScript"
  ☆54Updated 3 years ago
• twop / ts-union
  ADT sum type in typescript
  ☆70Updated last year
• gcanti / graphics-ts
  A porting of purescript-{canvas, drawing} featuring fp-ts
  ☆43Updated 4 years ago
• baetheus / datum
  An algebraic data type for loading and refreshing data.
  ☆49Updated last year
• no-day / fp-ts-graph
  Immutable functional graph data structure for fp-ts
  ☆26Updated 3 years ago
• TylorS / typed-prelude
  Reliable, standards-oriented software for browsers & Node.
  ☆49Updated last year
• geoffreytools / type-lenses
  Extract or modify pieces of arbitrarily nested types with type lenses
  ☆26Updated 7 months ago
• sledorze / morphic-ts
  ☆322Updated last year
• tusharmath / qio
  ☆74Updated 2 years ago
• danvk / literate-ts
  Code samples that scale
  ☆103Updated this week