Algebraic data types for C99

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

Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript

Algebraic data types for Python (experimental, not actively maintained)

Type-safe functional tools for Python.

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

Smalltalk like programming language

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.

Simple tagged unions

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 macro for Janet for creating sum types

A NaN-tagged value using a 64-bit floating-point number (`f64`) as base, providing a 16-bit tag and 32-bits of payload.

A research programming language on top of C macros

Functional Programming for C# and .NET Core