algebraic-data-types topic

List algebraic-data-types repositories

bitty

30
Stars
1
Forks
Watchers

🗃 A mono-repository with functional programming helpers, algebraic data types, util functions, types and even some micro frameworks in TypeScript.

verified publisher icon VitorLuizC

datatype99

1.3k
Stars
24
Forks
Watchers

Algebraic data types for C99

verified publisher icon Hirrolot

poica

246
Stars
13
Forks
Watchers

🧮 A research programming language on top of C macros

verified publisher icon Hirrolot

adt

169
Stars
14
Forks
Watchers

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

verified publisher icon jspahrsummers

aifad

30
Stars
2
Forks
Watchers

AIFAD - Automated Induction of Functions over Algebraic Data Types

verified publisher icon mmottl

fp-ts

10.6k
Stars
504
Forks
Watchers

Functional programming in TypeScript

verified publisher icon gcanti

fp-ts-codegen

103
Stars
8
Forks
Watchers

TypeScript code generation from a haskell-like syntax for ADT. Playground:

verified publisher icon gcanti

rings

72
Stars
10
Forks
Watchers

Rings: efficient JVM library for polynomial rings

verified publisher icon PoslavskySV

alge

111
Stars
4
Forks
Watchers

Type safe library for creating Algebraic Data Types (ADTs) in TypeScript. 🌱

verified publisher icon jasonkuhrt

purify

1.5k
Stars
56
Forks
Watchers

Functional programming library for TypeScript - https://gigobyte.github.io/purify/

verified publisher icon gigobyte