tagged-unions topic

List tagged-unions repositories

datatype99

1.3k
Stars
24
Forks
Watchers

Algebraic data types for C99

poica

246
Stars
13
Forks
Watchers

🧮 A research programming language on top of C macros

adt

169
Stars
14
Forks
Watchers

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

derive4j

559
Stars
50
Forks
Watchers

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

scriptum

382
Stars
22
Forks
Watchers

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

core

27
Stars
2
Forks
Watchers

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

koda

97
Stars
6
Forks
Watchers

Type-safe functional tools for Python.

ex_union

40
Stars
1
Forks
Watchers

Tagged unions for Elixir. Just that.

ftor

44
Stars
1
Forks
Watchers

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

mir-core

28
Stars
18
Forks
Watchers

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