Alternatives and similar repositories for exhaustive-type-checking:

Users that are interested in exhaustive-type-checking are comparing it to the libraries listed below

• samhh / fp-ts-std
  The missing pseudo-standard library for fp-ts.
  ☆209Updated 3 months ago
• practical-fp / union-types
  A Typescript library for creating discriminating union types.
  ☆69Updated 3 years ago
• giogonzo / fp-ts-ramda
  Ramda functions reimplemented in fp-ts
  ☆139Updated 4 years ago
• zanza00 / learn-fp-ts
  Examples, explanations and resources for fp-ts
  ☆34Updated last year
• stefano-regosa-deel / pattern-matching-ts
  ⚡ Pattern Matching in Typescript
  ☆189Updated 3 years ago
• nythrox / purifree
  Pointfree type-safe functional programming library for TypeScript - with do notation, HKTs, generic lifts and more
  ☆91Updated 2 years ago
• grossbart / fp-ts-recipes
  A collection of practical recipes for working with fp-ts
  ☆161Updated last year
• ryanleecode / fp-ts-cheatsheet
  Cheatsheet for https://gcanti.github.io/fp-ts/
  ☆54Updated 3 years ago
• ts-plus / stdlib
  ☆71Updated 2 years ago
• danvk / literate-ts
  Code samples that scale
  ☆106Updated this week
• anthonyjoeseph / spectacles-ts
  Practical Optics • Unfancy monocle-ts
  ☆100Updated last month
• briancavalier / fx-ts
  Computational environments and effects for TypeScript
  ☆60Updated 2 years ago
• gcanti / fp-ts-laws
  fp-ts type class laws for property based testing
  ☆81Updated last year
• pelotom / hkts
  A simple encoding of higher-kinded types in TypeScript
  ☆212Updated 2 years ago
• danielnixon / eslint-plugin-total-functions
  An ESLint plugin to enforce the use of total functions (and prevent the use of partial functions) in TypeScript.
  ☆89Updated this week
• sveseme / taghiro
  Tag types for Typescript
  ☆52Updated 2 years ago
• babakness / pipe-and-compose-types
  Powerful recursive Typescript types for `pipe` and `compose`
  ☆31Updated 5 years ago
• unsplash / sum-types
  Safe, ergonomic, non-generic sum types in TypeScript.
  ☆43Updated last year
• rzeigler / waveguide
  An effect/IO datatype in typescript
  ☆101Updated 2 years ago
• mmkal / ts
  Monorepo of typescript projects
  ☆151Updated 2 months ago
• twop / ts-union
  ADT sum type in typescript
  ☆70Updated 2 years ago
• gcanti / graphics-ts
  A porting of purescript-{canvas, drawing} featuring fp-ts
  ☆42Updated 4 years ago
• buildo / eslint-plugin-fp-ts
  ESLint rules for fp-ts
  ☆112Updated last year
• IMax153 / expressive-ts
  A functional programming library designed to simplify building complex regular expressions
  ☆91Updated 2 years ago
• baetheus / fun
  Functional programming for deno and javascript. Monads, semigroups, optics, parsers, state management, yadda yadda yadda.
  ☆103Updated 8 months ago
• dphilipson / transducist
  Ergonomic JavaScript/TypeScript transducers for beginners and experts.
  ☆137Updated 2 years ago
• relmify / jest-fp-ts
  Jest matchers for fp-ts
  ☆66Updated last year
• raveclassic / frp-ts
  Functional reactive values-over-time
  ☆81Updated 9 months ago
• gcanti / fp-ts-contrib
  A community driven utility package for fp-ts
  ☆198Updated 3 months ago
• Coder-Spirit / nominal
  Powerful nominal types for your Typescript project
  ☆81Updated 3 months ago