Λrrow - Functional companion to Kotlin's Standard Library

Automatic Form Derivation for Outwatch

Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]

Easy, fast, transparent generic derivation of typeclass instances

Introduction to scala implicit systems with examples.

A general mechanism to implement symbolic operators in Scala

Easy, fast, transparent generic derivation of typeclass instances in Scala

Principled, fast, typeclass derivation.

Scalaz typeclasses <~> Playframework2 typeclasses

The pure asynchronous runtime for Scala

Functional Programming library for Java

Full-featured interfaces for C99

cats transformer type classes.

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

🛒 The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

Minimal typeclass definitions for seamless integration without hard dependencies for Scala

Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings

Functional companion to Kotlin's Compiler

Minimal functional programming library for Scala3.

Smart, pythonic, ad-hoc, typed polymorphism for Python