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

Utilities and conventions for functional domain modelling in Java

A small coproduct library for Kotlin.

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

Proof and implementation of coproduct in Set category.

DEPRECATED

compiler

Learning Shapeless

Generic programming for Scala

.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.