Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

Functional patterns for Java

Avro schema generation and serialization / deserialization for Scala

Fast [co]product types with a clean syntax. For Cats & Scalaz.

Free Monad composition using Monad Coproducts from FreeK

Running 2 or more algebras with Coproduct and Inject when using the Free Monad

Bifunctors and functor products, coproducts, and composition

A small coproduct library for Kotlin.

Utilities and conventions for functional domain modelling in Java

DEPRECATED

Proof and implementation of coproduct in Set category.

Implementation and proof that Set category is semiring with product and coproduct.

compiler

Learning Shapeless

.NET port of Francisco (Paco) Estévez's JavaSealedUnions (https://github.com/pakoito/JavaSealedUnions).

Data Types à la Carte extensible syntax and semantics, implemented in Idris.