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.
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)
aifad
30
Stars
2
Forks
Watchers
AIFAD - Automated Induction of Functions over Algebraic Data Types
fp-ts
10.6k
Stars
504
Forks
Watchers
Functional programming in TypeScript
fp-ts-codegen
103
Stars
8
Forks
Watchers
TypeScript code generation from a haskell-like syntax for ADT. Playground:
rings
72
Stars
10
Forks
Watchers
Rings: efficient JVM library for polynomial rings
alge
111
Stars
4
Forks
Watchers
Type safe library for creating Algebraic Data Types (ADTs) in TypeScript. 🌱