106 skills found · Page 1 of 4
arrow-kt / ArrowThe perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
typelevel / Cats EffectThe pure asynchronous runtime for Scala
zesterer / TaoA statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
thma / LtuPatternFactoryLambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
softwaremill / MagnoliaEasy, fast, transparent generic derivation of typeclass instances
dry-python / ClassesSmart, pythonic, ad-hoc, typed polymorphism for Python
dehun / Learn Fplearn-by-doing course/tutorial for functional programming on scala
derive4j / Derive4jJava 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
gvolpe / Pfps Shopping Cart:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
tofu-tf / TofuFunctional programming toolbox
mmenestret / Fp ResourcesFunctional programming great resources
arrow-kt / Arrow MetaFunctional companion to Kotlin's Compiler
hirrolot / Interface99Full-featured interfaces for C99
typelevel / Cats Mtlcats transformer type classes.
djspiewak / ShimsSeamless interop layer between cats and scalaz
rocq-community / Math ClassesA library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
tonivade / PurefunFunctional Programming library for Java
softwaremill / Scala CommonTiny independent libraries with a single purpose, often a single class
TartanLlama / TypeclassesFuture C++ implementation of Rust-like trait objects with no boilerplate
rudymatela / Concise Cheat SheetsCheat Sheets for programming languages and tools
