14 results found Sort:

hirrolot
datatype99 hirrolot
23
1.4k
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
521 commits to master branch, last one 2 months ago
derive4j
derive4j derive4j
50
566
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 3 years ago
robotroutine
scriptum robotroutine
20
383
mit
15
No-Frills Functional Programming Lib Augmenting Javascript/Node.js
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,833 commits to master branch, last one a day ago
TeaEntityLab
fpGo TeaEntityLab
22
352
mit
10
Monad, Functional Programming features for Golang
curry monad golang monads pubsub stream currying optional reactive sum-types collection actor-model golang-library pattern-matching publisher-subscriber reactive-programming functional-programming optional-implementations publisher-subscriber-pattern functional-reactive-programming
Created 2018-05-24
239 commits to master branch, last one 3 months ago
dadhi
ImTools dadhi
10
236
mit
6
Fast and memory-efficient immutable collections and helper data structures
map effects hashmap 2-3-tree avl-tree hashtable immutable lock-free sum-types dictionary persistent performance data-structures open-addressing value-semantics compare-and-swap memory-efficient robinhood-hashmap reference-semantics functional-programming
Created 2017-01-04
1,221 commits to master branch, last one 3 months ago
jspahrsummers
adt jspahrsummers
14
171
mit
8
Algebraic data types for Python (experimental, not actively maintained)
python3 sum-types tagged-unions algebraic-data-types
This repository has been archived (exclude archived)
Created 2019-06-26
137 commits to master branch, last one 3 years ago
MasonProtter
SumTypes.jl MasonProtter
9
109
mit
5
An implementation of sum types in Julia
enums julia sum-types enumeration disjoint-unions pattern-matching algebraic-data-types
Created 2020-09-23
117 commits to master branch, last one 4 months ago
codeinred
recursive-variant codeinred
4
82
other
3
Recursive Variant: A simple library for Recursive Variant Types
cpp cpp20 variant variants recursion sum-types header-only recursive-types header-only-library functional-programming
Created 2021-10-07
57 commits to main branch, last one 3 years ago
Roger-luo
Moshi.jl Roger-luo
4
74
mit
3
nextgen MLStyle: Generic Algebraic Data Type + Pattern Match
julia sum-types pattern-matching algebraic-data-types
Created 2023-04-18
144 commits to main branch, last one 9 days ago
mknejp
dotvariant mknejp
3
70
unknown
6
A type-safe and space-efficient sum type for C# (comparable to discriminated unions in C or C++)
union csharp variant sum-types functional algebraic-data-types discriminated-unions csharp-sourcegenerator
Created 2021-04-09
74 commits to stable branch, last one about a year ago
twop
ts-union twop
2
70
mit
0
ADT sum type in typescript
adt sum-types typescript
Created 2018-04-07
51 commits to master branch, last one 4 years ago
cwahn
efp cwahn
1
49
mit
5
Expressive High-Performance Eager Functional Programming Library for C++ 11
adt cpp cpp11 sum-types functional-programming higher-order-component
Created 2023-07-05
613 commits to main branch, last one 9 months ago
JuliaDynamics
LightSumTypes.jl JuliaDynamics
1
44
mit
7
Easy-to-use sum types in Julia
julia macros structs sum-types type-system union-types syntactic-macros single-inheritance
Created 2024-01-18
309 commits to main branch, last one about a month ago
alexocode
ex_union alexocode
1
42
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 9 months ago