Projects in Awesome Lists tagged with sum-types
A curated list of projects in awesome lists tagged with sum-types .
https://github.com/Hirrolot/datatype99
Algebraic data types for C99
adt algebraic algebraic-data-types c99 derive introspection metalang99 metaprogramming pattern-matching reflection-library sum-types tagged-unions type-system variant
Last synced: 10 Jul 2025
https://github.com/hirrolot/datatype99
Algebraic data types for C99
adt algebraic algebraic-data-types c99 derive introspection metalang99 metaprogramming pattern-matching reflection-library sum-types tagged-unions type-system variant
Last synced: 15 May 2025
https://github.com/derive4j/derive4j
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
algebra algebraic-data-types annotation-processor catamorphisms derive4j discriminated-unions exhaustiveness-checking fold functional-programming java java-8 laziness optics sum-types tagged-unions visitor visitor-pattern
Last synced: 12 Apr 2025
https://github.com/teaentitylab/fpgo
Monad, Functional Programming features for Golang
actor-model collection curry currying functional-programming functional-reactive-programming golang golang-library monad monads optional optional-implementations pattern-matching publisher-subscriber publisher-subscriber-pattern pubsub reactive reactive-programming stream sum-types
Last synced: 16 May 2025
https://github.com/TeaEntityLab/fpGo
Monad, Functional Programming features for Golang
actor-model collection curry currying functional-programming functional-reactive-programming golang golang-library monad monads optional optional-implementations pattern-matching publisher-subscriber publisher-subscriber-pattern pubsub reactive reactive-programming stream sum-types
Last synced: 14 Mar 2025
https://github.com/dadhi/imtools
Fast and memory-efficient immutable collections and helper data structures
2-3-tree avl-tree compare-and-swap data-structures dictionary effects functional-programming hashmap hashtable immutable lock-free map memory-efficient open-addressing performance persistent reference-semantics robinhood-hashmap sum-types value-semantics
Last synced: 15 May 2025
https://github.com/dadhi/ImTools
Fast and memory-efficient immutable collections and helper data structures
2-3-tree avl-tree compare-and-swap data-structures dictionary effects functional-programming hashmap hashtable immutable lock-free map memory-efficient open-addressing performance persistent reference-semantics robinhood-hashmap sum-types value-semantics
Last synced: 05 May 2025
https://github.com/jspahrsummers/adt
Algebraic data types for Python (experimental, not actively maintained)
algebraic-data-types python3 sum-types tagged-unions
Last synced: 06 Apr 2025
https://github.com/masonprotter/sumtypes.jl
An implementation of sum types in Julia
algebraic-data-types disjoint-unions enumeration enums julia pattern-matching sum-types
Last synced: 09 Apr 2025
https://github.com/roger-luo/moshi.jl
nextgen MLStyle: Generic Algebraic Data Type + Pattern Match
algebraic-data-types julia pattern-matching sum-types
Last synced: 10 Oct 2025
https://github.com/codeinred/recursive-variant
Recursive Variant: A simple library for Recursive Variant Types
cpp cpp20 functional-programming header-only header-only-library recursion recursive-types sum-types variant variants
Last synced: 15 Mar 2025
https://github.com/mknejp/dotvariant
A type-safe and space-efficient sum type for C# (comparable to discriminated unions in C or C++)
algebraic-data-types csharp csharp-sourcegenerator discriminated-unions functional sum-types union variant
Last synced: 20 Feb 2026
https://github.com/juliadynamics/lightsumtypes.jl
Easy-to-use sum types in Julia
julia macros single-inheritance structs sum-types syntactic-macros type-system union-types
Last synced: 10 Apr 2026
https://github.com/cwahn/efp
Expressive High-Performance Eager Functional Programming Library for C++ 11
adt cpp cpp11 functional-programming higher-order-component sum-types
Last synced: 22 Aug 2025
https://github.com/alexocode/ex_union
Tagged unions for Elixir. Just that.
discriminated-unions elixir hex sum-types tagged-unions
Last synced: 20 Feb 2026
https://github.com/werediver/sum_types.dart
A code generator enabling sum-types in Dart
algebraic-data-types code-generation dart flutter sum-types
Last synced: 24 Oct 2025
https://github.com/xyzsd/dichotomy
Result, Either, Try, and Maybe monadic types for Java
adt algebraic-data-types either either-monad error-handling java jdk jvm maybe-monad monads railway-oriented-programming result result-monad result-type sealed-class sum-types try try-monad types
Last synced: 26 Jul 2025
https://github.com/phenax/enum-fp
Functional Enum type / Sum type for javascript with simple pattern matching
algebraic-data-types enum functional-programming js sum-types
Last synced: 14 Apr 2025
https://github.com/mchakravarty/goalsapp
Track periodic goals — a sample iPhone app
frp functional-programming immutable-data-structures iphone sum-types swift value-types
Last synced: 10 Apr 2025
https://github.com/evturn/haskellbook
Solutions to exercises from the book Haskell Programming
abstract-data-types algebraic-data-types applicative foldable functor haskell haskell-book haskell-programming haskellbook monad monad-transformers monoid newtype parser-combinators product-type semigroup solutions sum-types traversable
Last synced: 28 Jan 2026
https://github.com/toastal/either
Elm Either
either elm result sum-types union-types
Last synced: 23 Mar 2025
https://github.com/propensive/wisteria
Easy, fast, transparent generic derivation of typeclass instances in Scala
coproduct-types derivation generic-derivation product-types scala sum-types typeclass-derivation typeclass-instances typeclasses
Last synced: 17 Mar 2025
https://github.com/mchakravarty/fp-in-swift
Support material for "Functional Programming in Swift" @ Functional Conf, Bangalore, 2017
frp functional-programming immutable-datastructures mvvm-architecture property-based-testing sum-types swift value-types
Last synced: 10 Apr 2025
https://github.com/freedomlayer/built_union.dart
Dart Union class (sum type)
dart dartlang immutable sum-types
Last synced: 29 Oct 2025
https://github.com/toastal/select-prism
Use a Monocle Prism to handle <select> conflict between ADTs and Strings
adt elm optics select sum-types union-types
Last synced: 23 Mar 2025
https://github.com/pfpack/pfpack-core-taggeds
PrimeFuncPack Core.Taggeds is a core pack for .NET consisting of fundamental tagged types targeted for use in functional programming: Optional and Result monads, Tagged Union, as well as the convert extensions.
async-programming asynchronous-programming csharp discriminated-unions disjoint-unions dotnet dotnet-core either-monad functional-programming option-type optional-type pipeline pipeline-framework pipeline-library pipelines result-monad result-type sum-types tagged-unions unit-type
Last synced: 01 Mar 2025
https://github.com/alecmocatta/sum
General-purpose sum types.
data-structures rust sum-types
Last synced: 10 Apr 2025
https://github.com/lewisgaul/python_adt
Implementation of Alegbraic Data Types (ADTs) in Python
algebraic-data-types python3 sum-types tagged-unions
Last synced: 25 Feb 2026
