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

Exhaustiveness checking in TypeScript

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

C# Analyzer Adding Exhaustive Checking of Switch Statements and Expressions

Helpers for Exhaustive Type Checking with TypeScript

Basic exhaustiveness checking of unions in Elixir

Utility function for exhaustiveness checking with typed JS (TS or Flow)

A research programming language on top of C macros

A library for defining and manipulating algebraic data types in TypeScript.

Enums with payloads. Or for the fancy pants: discriminated unions for C# with compile-time exhaustiveness checking, implemented using closed type hierarchies.

Project code developed to accompany the thesis of the bachelor programme BSc Data Science and Artificial Intelligence taught @ Universiteit Maastricht. It consists in (re-)discovering Forbidden Minors for Treewidth, through a series of graph search/analysis techniques.

Utility Error class for performing exhaustiveness checks via exceptions in TypeScript.

Make tolerable a poor man's version of exhaustive pattern-matching, in TypeScript