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

Monad, Functional Programming features for Golang

Fast and memory-efficient immutable collections and helper data structures

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

An implementation of sum types in Julia

Recursive Variant: A simple library for Recursive Variant Types

ADT sum type in typescript

A type-safe and space-efficient sum type for C# (comparable to discriminated unions in C or C++)

nextgen MLStyle: Generic Algebraic Data Type + Pattern Match

Expressive High-Performance Eager Functional Programming Library for C++ 11

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

Tagged unions for Elixir. Just that.

Easy-to-use sum types in Julia

A code generator enabling sum-types in Dart

Functional Enum type / Sum type for javascript with simple pattern matching

A namedtuple-style library for defining immutable sum types in Python.

Solutions to exercises from the book Haskell Programming

Track periodic goals — a sample iPhone app