Algebraic data types for C99
Java 8 annotation processor and framework for deriving algebraic data ty...
Functional Programming Unorthodoxly Adjusted to Client-/Server-side Java...
? A research programming language on top of C macros
Algebraic data types for Python (experimental, not actively maintained)
ftor enables ML-like type-directed, functional programming with Javascri...
A JavaScript library for creating websites, PWAs and hybrid apps.