typeclasses
There are 108 repositories under typeclasses topic.
arrow-kt/arrow
The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
typelevel/cats-effect
The pure asynchronous runtime for Scala
thma/LtuPatternFactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
softwaremill/magnolia
Easy, fast, transparent generic derivation of typeclass instances
dry-python/classes
Smart, pythonic, ad-hoc, typed polymorphism for Python
dehun/learn-fp
learn-by-doing course/tutorial for functional programming on scala
gvolpe/pfps-shopping-cart
:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
tofu-tf/tofu
Functional programming toolbox
mmenestret/fp-resources
Functional programming great resources
arrow-kt/arrow-meta
Functional companion to Kotlin's Compiler
hirrolot/interface99
Full-featured interfaces for C99
typelevel/cats-mtl
cats transformer type classes.
djspiewak/shims
Seamless interop layer between cats and scalaz
rocq-community/math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
tonivade/purefun
Functional Programming library for Java
softwaremill/scala-common
Tiny independent libraries with a single purpose, often a single class
rudymatela/concise-cheat-sheets
Cheat Sheets for programming languages and tools
scalasummerschool/lectures
Learn Functional Programming in Scala
TotallyNotChase/c-iterators
:books: A demonstration of implementing a "type-safe" lazy iterator interface in pure C99
i-am-tom/fantas-eel-and-specification
Examples and exercises from the blog series
alhassy/next-700-module-systems
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
thautwarm/CanonicalTraits.jl
Full-featured traits in Julia. Without full features how dare I say this?
arrow-kt/arrow-meta-examples
Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.
scalaz/scalaz-deriving
Principled, fast, typeclass derivation.
andreypopp/type-systems
Playing with type systems
TotallyNotChase/typeclass-interface-pattern
Ideas, thoughts, and notes on a typeclass/interface based polymorphism pattern for standard C
thautwarm/FSTan
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
alhassy/HaskellCheatSheet
A reference sheet for the basics of the mind-expanding Haskell language ^_^
evolution-gaming/derivation
Configured derivation library for scala 3
DmytroMitin/AUXify
Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric
hablapps/puretest
Purely functional testing in Scala
rocq-community/lemma-overloading
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
derive4j/derive4j-fj
Automatic derivation of functional-java typeclasse instances and optics
nrktkt/ninny-json
JSON typeclasses that know the difference between null and absent fields
propensive/wisteria
Easy, fast, transparent generic derivation of typeclass instances in Scala
shrynx/reasonz
A Haskell fan fiction for ReasonML