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

kotlin monads functional-programming arrow coroutines kotlin-library optics kotlin-dsl polymorphism typeclasses hacktoberfest functional-data-structure continuations for-comprehension typed-lambda-calculus fp-types delimited-continuations kotlin-libraries

• Updated Nov 12, 2026
• Kotlin

The pure asynchronous runtime for Scala

scala asynchronous effects fp typeclasses

• Updated Nov 8, 2026
• Scala

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

haskell functional-languages design-patterns monad functor category-theory typeclasses monoids monad-transformers strategy-pattern builder-pattern traversable factory-pattern function-composition pattern-language reader-monad gof-patterns functors iterator-pattern typeclassopedia

• Updated Aug 26, 2026
• Haskell

Easy, fast, transparent generic derivation of typeclass instances

scala generic-programming typeclass generic-derivation typeclasses datatypes typeclass-derivation derives-typeclasses implicit-search magnolia-derivation

• Updated Nov 2, 2026
• Scala

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

python fp python3 typeclasses mypy typesafety pep561 mypy-stubs mypy-plugins

• Updated Dec 17, 2024
• Python

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

comonads monads tutorial scala course functional-programming monad functor monoid typeclasses monad-transformers applicative functional-idioms

• Updated Feb 7, 2020
• Scala

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

cats scala functional-programming book http4s fs2 fp typeclasses refined tagless-final finally-tagless tagless skunk cats-effect typeclass-derivation newtypes

• Updated Nov 1, 2026
• Scala

Functional programming toolbox

config functional-programming logging effects concurrent optics typeclasses hacktoberfest reader-monad tagless-final

• Updated Nov 10, 2026
• Scala

Functional programming great resources

scala algebra functional-programming monad category-theory recursion-schemes monoid typeclass typeclasses monad-transformers free-monads

• Updated Apr 17, 2020

Functional companion to Kotlin's Compiler

kotlin meta code linter ide metaprogramming macros generics template-metaprogramming intellij-plugin tree-structure kotlin-compiler typeclasses compiler-plugin typesystem quasiquote codegeneration union-type higher-kinded-types kotlin-multiplatform

• Updated Jun 4, 2026
• Kotlin

Full-featured interfaces for C99

c99 oop metaprogramming macros generic-programming object-oriented polymorphism typeclasses type-system dynamic-dispatch metalang99

• Updated Mar 17, 2025
• C

cats transformer type classes.

cats functional-programming monad typeclasses transformer-typeclasses

• Updated Nov 4, 2026
• Scala

Seamless interop layer between cats and scalaz

cats compatibility scalaz typeclasses

• Updated Feb 26, 2021
• Scala

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

coq mathematics typeclasses coq-library coq-ci coq-platform

• Updated Nov 4, 2026
• Rocq Prover

Functional Programming library for Java

java monads memoization stream experimental functional-programming tuples effects io-monad monad free-monad typeclasses monad-transformers immutable-collections mtl tagless-final higher-kinded-types

• Updated Nov 11, 2026
• Java

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

benchmarking scala id-generation commonlib typeclasses

• Updated Jun 4, 2025
• Scala

Cheat Sheets for programming languages and tools

documentation haskell latex cheatsheet latex-template ctf typeclasses haskell-learning reference-card

• Updated May 4, 2026
• TeX

Learn Functional Programming in Scala

scala workshop functional-programming io-monad typeclasses

• Updated Nov 22, 2018
• Scala

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

c iterator preprocessor generic polymorphism type-safety c-preprocessor typeclasses lazy-evaluation

• Updated Jun 27, 2021
• C

Higher-kinded types, monads and composable effects for Java 25: the Effect Path API for railway-style error handling, advanced optics (lens/prism/traversal) with code generation for records and sealed types, compile-time DTO mapping that reports every bad field, and Spring Boot integration.

java validation spring-boot functional-programming prism traversal effects annotation-processor immutability monad lens code-generation optics hkt typeclasses higher-kinded-types bean-mapping dto-mapping higher-kinded-j java25

• Updated Nov 11, 2026
• Java