25 skills found
domn1995 / DunetC# discriminated union source generator
derive4j / Derive4jJava 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
BurntSushi / Go SumtypeA simple utility for running exhaustiveness checks on Go "sum types."
lukemorales / ExhaustiveExhaustiveness checking in TypeScript
nishanths / ExhaustiveCheck exhaustiveness of switch statements of enum-like constants in Go source code.
yorickpeterse / Pattern Matching In RustPattern matching and exhaustiveness checking algorithms implemented in Rust
CodelyTV / Awesome Typescript Examples✨ Awesome TypeScript Examples with complete show cases of how to take advantage of the language potential.
Bodigrim / SmallcheckTest your Haskell code by exhaustively checking its properties
WalkerCodeRanger / ExhaustiveMatchingC# Analyzer Adding Exhaustive Checking of Switch Statements and Expressions
aikoven / Assert NeverHelper function for exhaustive checks of discriminated unions in TypeScript
alecthomas / Go Check SumtypeA simple utility for running exhaustiveness checks on Go "sum types."
babakness / Exhaustive Type CheckingHelpers for Exhaustive Type Checking with TypeScript
gomoni / SumlintExhaustiveness checks for your interface "sum types" using a lightweight naming convention + `go vet`.
lpil / TotalBasic exhaustiveness checking of unions in Elixir
wogns3623 / Eslint Plugin Better Exhaustive DepsEslint plugin for react hooks exhaustive-deps check with static value tracking
rjz / Code Review ChecklistA hardly exhaustive collection of boxes to check
Gozala / UnreachableUtility function for exhaustiveness checking with typed JS (TS or Flow)
ootidea / Ts Tagged UnionA library for defining and manipulating algebraic data types in TypeScript.
dividab / Ts Exhaustive CheckExhaustive check for typescript type never
scorpevans / CodasconA structural protocol for code organization with exhaustive compile-time type checking
