exhaustiveness-checking topic

🧮 A research programming language on top of C macros

Hirrolot

C# Analyzer Adding Exhaustive Checking of Switch Statements and Expressions

WalkerCodeRanger

Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

derive4j

✨ Awesome TypeScript Examples with complete show cases of how to take advantage of the language potential.

CodelyTV

Helpers for Exhaustive Type Checking with TypeScript

babakness

Basic exhaustiveness checking of unions in Elixir

lpil

Exhaustiveness checking in TypeScript

lukemorales