typeclasses topic

:books: A demonstration of implementing a "type-safe" lazy iterator interface in pure C99

TotallyNotChase

Full-featured interfaces for C99

Hirrolot

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

thma

Functional companion to Kotlin's Compiler

arrow-kt

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

dry-python

Λrrow - Functional companion to Kotlin's Standard Library

arrow-kt

Seamless interop layer between cats and scalaz

djspiewak

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

gvolpe

cats transformer type classes.

typelevel

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

coq-community