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

• UpdatedMar 6, 2025
• Rust

Functional patterns for Java

• UpdatedMay 1, 2023
• Java

Avro schema generation and serialization / deserialization for Scala

• UpdatedJan 25, 2025
• Scala

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

• UpdatedSep 24, 2019
• Scala

Free Monad composition using Monad Coproducts from FreeK

• UpdatedApr 20, 2017
• Scala

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

• UpdatedJun 23, 2017
• Scala

Bifunctors and functor products, coproducts, and composition

• UpdatedJul 14, 2017
• Idris

Utilities and conventions for functional domain modelling in Java

• UpdatedNov 12, 2020
• Java

A small coproduct library for Kotlin.

• UpdatedDec 8, 2017
• Kotlin

Proof and implementation of coproduct in Set category.

• UpdatedDec 27, 2018
• Java

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

• UpdatedDec 27, 2018
• Scala

Generic programming for Scala

• UpdatedApr 25, 2024
• Scala

DEPRECATED

• UpdatedJan 10, 2018
• OCaml

compiler

• UpdatedSep 24, 2017

Learning Shapeless

• UpdatedJul 21, 2023
• Scala

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

• UpdatedMay 5, 2023
• C#

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

• UpdatedJun 3, 2019
• Idris