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.

Proof and implementation of coproduct in Set category.

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

DEPRECATED

compiler

Generic programming for Scala

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.