Algebraic data types for C99
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Algebraic data types for Python (experimental, not actively maintained)
Smalltalk like programming language
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Tagged unions for Elixir. Just that.
Base software building blocks: Algebraic types (aka sumtype/tagged union/variant), universal reflection API, basic math, and more.
A JavaScript library for creating websites, PWAs and hybrid apps.
Helps to easily JSON marshal / unmarshal tagged unions in go
Utility function for exhaustiveness checking with typed JS (TS or Flow)
Pattern matching and tagged unions in JavaScript without new syntax.
Small TS library to type and safely handle `serde` JSON serializations of Rust enums.
minimal utilities to work with union types and tagged unions (a.k.a. discriminated unions) in TypeScript
A library for defining and manipulating algebraic data types in TypeScript.
A NaN-tagged value using a 64-bit floating-point number (`f64`) as base, providing a 16-bit tag and 32-bits of payload.
An example of tagged unions and exhaustive pattern matches in Go
Functional Programming for C# and .NET Core