Algebraic data types for C99

• UpdatedMar 17, 2025
• C

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

• UpdatedDec 1, 2022
• Java

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

• UpdatedMay 25, 2021
• Python

Type-safe functional tools for Python.

• UpdatedAug 12, 2024
• Python

Smalltalk like programming language

• UpdatedNov 5, 2025
• Kotlin

Tagged unions for Elixir. Just that.

• UpdatedApr 18, 2024
• Elixir

Base software building blocks: Algebraic types (aka sumtype/tagged union/variant), universal reflection API, basic math, and more.

• UpdatedJun 12, 2025
• D

A JavaScript library for creating websites, PWAs and hybrid apps.

• UpdatedSep 2, 2022
• HTML

Simple tagged unions

• UpdatedMay 11, 2020
• JavaScript

Helps to easily JSON marshal / unmarshal tagged unions in go

• UpdatedApr 11, 2023
• Go

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

• UpdatedMar 16, 2020
• JavaScript

Pattern matching and tagged unions in JavaScript without new syntax.

• UpdatedSep 8, 2018
• JavaScript

Small TS library to type and safely handle `serde` JSON serializations of Rust enums.

• UpdatedNov 14, 2024
• TypeScript

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

• UpdatedSep 23, 2024
• TypeScript

minimal utilities to work with union types and tagged unions (a.k.a. discriminated unions) in TypeScript

• UpdatedSep 24, 2021
• TypeScript

A macro for Janet for creating sum types

• UpdatedMay 23, 2020

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

• UpdatedNov 15, 2022
• Rust

Functional Programming for C# and .NET Core

• UpdatedJun 21, 2020
• C#

Fastest and simplest pattern matching sum types in Go. Don't be jealous of Rust anymore.

• UpdatedSep 26, 2024
• Go

Advanced converters for the System.Text.Json serializer

• UpdatedApr 23, 2023
• C#