Projects in Awesome Lists tagged with typeclasses
A curated list of projects in awesome lists tagged with typeclasses .
https://github.com/arrow-kt/arrow
The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
arrow continuations coroutines delimited-continuations for-comprehension fp-types functional-data-structure functional-programming hacktoberfest kotlin kotlin-dsl kotlin-libraries kotlin-library monads optics polymorphism typeclasses typed-lambda-calculus
Last synced: 14 May 2025
https://github.com/typelevel/cats-effect
The pure asynchronous runtime for Scala
asynchronous effects fp scala typeclasses
Last synced: 13 May 2025
https://github.com/thma/ltupatternfactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
builder-pattern category-theory design-patterns factory-pattern function-composition functional-languages functor functors gof-patterns haskell iterator-pattern monad monad-transformers monoids pattern-language reader-monad strategy-pattern traversable typeclasses typeclassopedia
Last synced: 16 May 2025
https://github.com/thma/LtuPatternFactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
builder-pattern category-theory design-patterns factory-pattern function-composition functional-languages functor functors gof-patterns haskell iterator-pattern monad monad-transformers monoids pattern-language reader-monad strategy-pattern traversable typeclasses typeclassopedia
Last synced: 30 Apr 2025
https://github.com/softwaremill/magnolia
Easy, fast, transparent generic derivation of typeclass instances
datatypes derives-typeclasses generic-derivation generic-programming implicit-search magnolia-derivation scala typeclass typeclass-derivation typeclasses
Last synced: 14 May 2025
https://github.com/dry-python/classes
Smart, pythonic, ad-hoc, typed polymorphism for Python
fp mypy mypy-plugins mypy-stubs pep561 python python3 typeclasses typesafety
Last synced: 14 May 2025
https://github.com/dehun/learn-fp
learn-by-doing course/tutorial for functional programming on scala
applicative comonads course functional-idioms functional-programming functor monad monad-transformers monads monoid scala tutorial typeclasses
Last synced: 23 Jul 2025
https://github.com/tofu-tf/tofu
Functional programming toolbox
concurrent config effects functional-programming hacktoberfest logging optics reader-monad tagless-final typeclasses
Last synced: 14 May 2025
https://github.com/gvolpe/pfps-shopping-cart
:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
cats cats-effect finally-tagless fp fs2 functional-programming http4s newtypes refined skunk tagless tagless-final typeclass-derivation typeclasses
Last synced: 15 May 2025
https://github.com/mmenestret/fp-resources
Functional programming great resources
algebra category-theory free-monads functional-programming monad monad-transformers monoid recursion-schemes scala typeclass typeclasses
Last synced: 10 May 2025
https://github.com/arrow-kt/arrow-meta
Functional companion to Kotlin's Compiler
code codegeneration compiler-plugin generics higher-kinded-types ide intellij-plugin kotlin kotlin-compiler kotlin-multiplatform linter macros meta metaprogramming quasiquote template-metaprogramming tree-structure typeclasses typesystem union-type
Last synced: 15 May 2025
https://github.com/hirrolot/interface99
Full-featured interfaces for C99
c99 dynamic-dispatch generic-programming macros metalang99 metaprogramming object-oriented oop polymorphism type-system typeclasses
Last synced: 09 Apr 2025
https://github.com/Hirrolot/interface99
Full-featured interfaces for C99
c99 dynamic-dispatch generic-programming macros metalang99 metaprogramming object-oriented oop polymorphism type-system typeclasses
Last synced: 12 Jul 2025
https://github.com/rocq-community/math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
coq coq-ci coq-library coq-platform mathematics typeclasses
Last synced: 09 Apr 2025
https://github.com/coq-community/math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
coq coq-ci coq-library coq-platform mathematics typeclasses
Last synced: 21 Mar 2025
https://github.com/tonivade/purefun
Functional Programming library for Java
effects experimental free-monad functional-programming higher-kinded-types immutable-collections io-monad java memoization monad monad-transformers monads mtl stream tagless-final tuples typeclasses
Last synced: 04 Apr 2025
https://github.com/softwaremill/scala-common
Tiny independent libraries with a single purpose, often a single class
benchmarking commonlib id-generation scala typeclasses
Last synced: 04 Apr 2025
https://github.com/rudymatela/concise-cheat-sheets
Cheat Sheets for programming languages and tools
cheatsheet ctf documentation haskell haskell-learning latex latex-template reference-card typeclasses
Last synced: 23 Jan 2026
https://github.com/totallynotchase/c-iterators
:books: A demonstration of implementing a "type-safe" lazy iterator interface in pure C99
c c-preprocessor generic iterator lazy-evaluation polymorphism preprocessor type-safety typeclasses
Last synced: 14 Apr 2025
https://github.com/i-am-tom/fantas-eel-and-specification
Examples and exercises from the blog series
algebraic-structures example functional javascript typeclasses
Last synced: 26 Oct 2025
https://github.com/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.
agda canonical-structures coq emacs first-class-citizens haskell language lisp metaprogramming modules ocaml phd records typeclasses
Last synced: 25 Oct 2025
https://github.com/thautwarm/canonicaltraits.jl
Full-featured traits in Julia. Without full features how dare I say this?
Last synced: 23 Mar 2025
https://github.com/scalaz/scalaz-deriving
Principled, fast, typeclass derivation.
compiler-plugin macros scalaz typeclasses
Last synced: 06 Apr 2025
https://github.com/andreypopp/type-systems
Playing with type systems
hindley-milner ocaml type-inference type-systems typeclasses
Last synced: 15 Apr 2025
https://github.com/totallynotchase/typeclass-interface-pattern
Ideas, thoughts, and notes on a typeclass/interface based polymorphism pattern for standard C
c c90 c99 interface polymorphism typeclass typeclasses
Last synced: 10 Apr 2025
https://github.com/thautwarm/fstan
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
functional-programming higher-kinded-types monad monoids subtypeclassing typeclasses
Last synced: 11 Aug 2025
https://github.com/evolution-gaming/derivation
Configured derivation library for scala 3
derivation scala scala3 typeclasses
Last synced: 22 Jun 2025
https://github.com/alhassy/HaskellCheatSheet
A reference sheet for the basics of the mind-expanding Haskell language ^_^
applicatives cheatsheet functional-programming functors haskell monads typeclasses
Last synced: 30 Mar 2025
https://github.com/alhassy/haskellcheatsheet
A reference sheet for the basics of the mind-expanding Haskell language ^_^
applicatives cheatsheet functional-programming functors haskell monads typeclasses
Last synced: 11 Oct 2025
https://github.com/hablapps/puretest
Purely functional testing in Scala
cats functional-programming scalaz testing typeclasses
Last synced: 30 Jun 2025
https://github.com/dmytromitin/auxify
Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric
code-generation dependent-types extension-methods macros metaprogramming scala scalafix scalameta semanticdb shapeless simulacrum typeclass typeclasses typelevel-programming
Last synced: 06 Sep 2025
https://github.com/nrktkt/ninny-json
JSON typeclasses that know the difference between null and absent fields
absent-fields ast json scala typeclasses
Last synced: 11 Jan 2026
https://github.com/derive4j/derive4j-fj
Automatic derivation of functional-java typeclasse instances and optics
derive4j functional-programming functionaljava java java-8 typeclasses
Last synced: 28 Oct 2025
https://github.com/shrynx/reasonz
A Haskell fan fiction for ReasonML
functor haskell monad reasonml typeclasses
Last synced: 15 Apr 2025
https://github.com/propensive/wisteria
Easy, fast, transparent generic derivation of typeclass instances in Scala
coproduct-types derivation generic-derivation product-types scala sum-types typeclass-derivation typeclass-instances typeclasses
Last synced: 17 Mar 2025
https://github.com/xuwei-k/play2scalaz
Scalaz typeclasses <~> Playframework2 typeclasses
applicative json playframework scala-js scalaz typeclasses
Last synced: 23 Apr 2025
https://github.com/arrow-kt/arrow-media
Media blog for the functional companion to Kotlin's Standard Library
arrow category-theory functional-programming funktionale kategory kotlin monads optics tutorial typeclasses
Last synced: 14 Apr 2025
https://github.com/izeigerman/scalanum
enum functional-programming haskell scala typeclasses
Last synced: 07 May 2025
https://github.com/arbrk1/typeclasses_cpp
Feature-complete typeclasses for C++
cpp cpp-templates crtp traits typeclasses
Last synced: 16 Jul 2025
https://github.com/gvolpe/cats-effect-demo
Code samples for the use cases given at my Dublin Scala Meetup's talk
cats cats-effect doobie fs2 http4s io sttp typeclasses
Last synced: 25 Oct 2025
https://github.com/propensive/symbolism
A general mechanism to implement symbolic operators in Scala
arithmetic-operators scala typeclasses
Last synced: 09 Oct 2025
https://github.com/effect-deprecated/morphic
Domain Modelling and Structural Derivation (port of morphic-ts)
data domain functional typeclasses
Last synced: 29 Jun 2025
https://github.com/propensive/anticipation
Minimal typeclass definitions for seamless integration without hard dependencies for Scala
css dependencies html http interfaces scala seamless time typeclasses
Last synced: 11 Apr 2025
https://github.com/fdietze/formidable
Automatic Form Derivation for Outwatch
outwatch typeclass-derivation typeclasses
Last synced: 30 Aug 2025
https://github.com/nikita-volkov/lawful-conversions
Lawful typeclasses for conversion between types
conversions haskell typeclasses
Last synced: 04 Jul 2025
https://github.com/kamirus/purescript-functional-concepts
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
church-encoding eadt exists gadt gadts higher-order-functions leibniz-equality row-polymorphism tagless typeclasses
Last synced: 21 Jan 2026
https://github.com/hablapps/koky
Typeclasses, datatypes and theorems for functional programming in Coq.
coq functional-programming typeclasses
Last synced: 04 Sep 2025
https://github.com/tinymce/dispute
Composable equality and pretty-printing for TypeScript. Useful for building test assertion libraries.
equality fp testing-library typeclasses
Last synced: 12 Apr 2025
https://github.com/nrinaudo/type-classes-from-the-ground-up
Slides for a talk on typeclasses, using CSV as a running example
Last synced: 13 Aug 2025
https://github.com/mlopes/wen
Date and time types and instances
cats datetime functional functional-programming scala typeclasses
Last synced: 14 Jan 2026
https://github.com/omentic/chrysanthemum
A blossoming type system.
bidirectional-typechecking lambda-calculus rust type-system typeclasses
Last synced: 05 Oct 2025
https://github.com/afsalthaj/supaku-sukara
Functional Programming, Functional Programming Exercise Solutions in Scala & Spark
functional-programming functor language monad parallelism scala shapeless spark typeclasses
Last synced: 25 Feb 2025
https://github.com/hablapps/geofences
A proof-of-concept application to show the principles of purely functional programming
cats doobie functional-programming http4s scala scalaz typeclasses
Last synced: 30 Jun 2025
https://github.com/hablapps/naturally
Programming in a tagless-final style, naturally
dependency-injection functional-programming natural-transformation scala typeclasses
Last synced: 30 Jun 2025
https://github.com/makiftutuncu/typeclass-lightning-talk
Repository for my Lightning Talk about typeclasses at @vngrs
Last synced: 26 Jun 2025
https://github.com/gneuvill/derive4j-jackson
functional-programming functionaljava jackson java java-8 json typeclasses
Last synced: 23 Mar 2025
https://github.com/chrismichaelps/scats
A comprehensive TypeScript library bringing Scala's powerful functional programming paradigms to JavaScript/TypeScript, featuring immutable collections, monads, pattern matching, and more
algebraic-data-types either-type functional-programming immutable-collections lazy-evaluation lazylist monads option-type pattern-matching resource-management scala scala-inspired scala-patterns scats state-monad try-pattern tuple typeclasses vector writer-monad
Last synced: 19 Jun 2025
https://github.com/csgn/lamda
Lamda is a minimal functional programming library for Scala.
Last synced: 24 Mar 2025
https://github.com/garciat/java-type-classes
Haskell-like type class resolution for Java.
Last synced: 14 Jan 2026
https://github.com/langston-barrett/coq-typeclass-hierarchy
A full-featured hierarchy of typeclasses for functional programming in Coq
coq functional-programming haskell typeclasses
Last synced: 30 Jan 2026
https://github.com/dmytromitin/shapeless-circe-patched-type-keytag
https://stackoverflow.com/questions/74384745/encoding-decoding-a-field-with-any-datatype-assigned-with-value-none-in-scala
circe codec codecs generic-programming macros metaprogramming phantom-types scala shapeless shapeless-library typeclass typeclass-derivation typeclasses types
Last synced: 21 Sep 2025
https://github.com/lpld/tf-calculator
Playing with typeclasses and tagless final pattern in Scala
scala tagless-final typeclasses
Last synced: 18 Aug 2025
https://github.com/guibrandt/higher-kt
Some experiments with annotation processors, code generation, higher kinded types (sort of) and typeclasses (sort of) in Kotlin
annotation-processor category-theory code-generation functional-programming higher-kinded-types kotlin typeclasses
Last synced: 28 Feb 2025
https://github.com/dmytromitin/macrosdemo
macros scala stackoverflow typeclasses
Last synced: 21 Feb 2025
https://github.com/athanclark/sets
Sets in Haskell.
haskell newtype overloaded-terms typeclasses
Last synced: 12 Jul 2025
https://github.com/mtumilowicz/scala-cats-implicit-workshop
Introduction to scala implicit systems with examples.
cats cats-core fp functional-programing functional-programming functional-programming-examples functional-programming-in-scala implicits monad scala typeclass-instances typeclasses workshop-materials workshops
Last synced: 16 Aug 2025
https://github.com/sweet-delights/delightful-typeclasses
A Scala library containing utility typeclasses
lgpl scala shapeless typeclass typeclasses
Last synced: 15 Sep 2025
