tagged-unions topic
datatype99
Algebraic data types for C99
poica
🧮 A research programming language on top of C macros
adt
Algebraic data types for Python (experimental, not actively maintained)
derive4j
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
scriptum
Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript
core
A JavaScript library for creating websites, PWAs and hybrid apps.
koda
Type-safe functional tools for Python.
ex_union
Tagged unions for Elixir. Just that.
ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
mir-core
Base software building blocks: Algebraic types (aka sumtype/tagged union/variant), universal reflection API, basic math, and more.