Projects in Awesome Lists tagged with coproduct
A curated list of projects in awesome lists tagged with coproduct .
https://github.com/lloydmeta/frunk
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
coproduct datatype-generic-programming fp generic generic-programming hlist labelled-generic lenses rust type-level type-level-programming validated
Last synced: 12 May 2025
https://github.com/palatable/lambda
Functional patterns for Java
algebraic-data-types bifunctors coproduct either functional-programming functor hlist io-monad java lambda lenses maybe-monad monad monoid optics profunctors semigroup traversable try-monad tuples
Last synced: 30 Jan 2026
https://github.com/sksamuel/avro4s
Avro schema generation and serialization / deserialization for Scala
avro avro-schema coproduct scala scala-macros schema-generation serialization
Last synced: 13 May 2025
https://github.com/frees-io/iota
Fast [co]product types with a clean syntax. For Cats & Scalaz.
algebra coproduct functional-programming iota performance-tuning scala
Last synced: 15 Aug 2025
https://github.com/calvinlfer/free-monad-coproduct-example
Free Monad composition using Monad Coproducts from FreeK
coproduct free-monads freek interpreter scala
Last synced: 12 Oct 2025
https://github.com/risto-stevcev/idris-functors
Bifunctors and functor products, coproducts, and composition
bifunctor bifunctors composition coproduct functor functor-products functors idris
Last synced: 28 Feb 2026
https://github.com/gvolpe/free-as-a-monad
Running 2 or more algebras with Coproduct and Inject when using the Free Monad
algebra cats coproduct free inject monad natural-transformation
Last synced: 02 Nov 2025
https://github.com/mtumilowicz/scala212-category-theory-set-semiring
Implementation and proof that Set category is semiring with product and coproduct.
category-theory coproduct distributive product scala semiring
Last synced: 13 Jun 2025
https://github.com/mtumilowicz/java11-category-theory-set-coproduct
Proof and implementation of coproduct in Set category.
category-theory coproduct either
Last synced: 15 Jun 2026