6 results found Sort:

Hirrolot
datatype99 Hirrolot
24
1.3k
mit
14
Algebraic data types for C99
adt c99 derive variant algebraic sum-types metalang99 type-system introspection tagged-unions metaprogramming pattern-matching reflection-library algebraic-data-types
Created 2020-11-12
515 commits to master branch, last one about a month ago
derive4j
derive4j derive4j
50
560
unknown
30
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
fold java java-8 optics algebra visitor derive4j laziness sum-types catamorphisms tagged-unions visitor-pattern algebraic-data-types annotation-processor discriminated-unions functional-programming exhaustiveness-checking
Created 2015-09-18
253 commits to master branch, last one 2 years ago
kongware
scriptum kongware
22
382
mit
15
Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript
monad purity folding lazyness recursion sum-types javascript point-free anamorphism composition corecursion transducers catamorphism polymorphism pure-function tagged-unions monad-transformers algebraic-data-types function-composition functional-programming
Created 2018-02-21
3,754 commits to master branch, last one about a month ago
jspahrsummers
adt jspahrsummers
14
172
mit
8
Algebraic data types for Python (experimental, not actively maintained)
python3 sum-types tagged-unions algebraic-data-types
Created 2019-06-26
137 commits to master branch, last one 3 years ago
keithasaurus
koda keithasaurus
7
98
mit
4
Type-safe functional tools for Python.
python type-safety tagged-unions functional-programming
Created 2021-04-09
50 commits to main branch, last one 6 months ago
alexocode
ex_union alexocode
1
40
mit
3
Tagged unions for Elixir. Just that.
hex elixir sum-types tagged-unions discriminated-unions
Created 2022-03-30
72 commits to main branch, last one 2 months ago