The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

The pure asynchronous runtime for Scala

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

Easy, fast, transparent generic derivation of typeclass instances

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

learn-by-doing course/tutorial for functional programming on scala

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

Functional programming toolbox

Functional programming great resources

Functional companion to Kotlin's Compiler

Full-featured interfaces for C99

cats transformer type classes.

Seamless interop layer between cats and scalaz

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

Functional Programming library for Java

Tiny independent libraries with a single purpose, often a single class

Cheat Sheets for programming languages and tools

Learn Functional Programming in Scala

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

Examples and exercises from the blog series

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

Full-featured traits in Julia. Without full features how dare I say this?

Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.

Principled, fast, typeclass derivation.

Playing with type systems

Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long

Ideas, thoughts, and notes on a typeclass/interface based polymorphism pattern for standard C

A reference sheet for the basics of the mind-expanding Haskell language ^_^

Configured derivation library for scala 3

Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric