typeclasses

There are 4 repositories under typeclasses topic.

• arrow

  arrow-kt / arrow

  Λrrow - Functional companion to Kotlin's Standard Library

  arrowcontinuationscoroutinesdelimited-continuationsfor-comprehensionfp-typesfunctional-data-structurefunctional-programminghacktoberfestkotlinkotlin-dslkotlin-librarieskotlin-librarymonadsopticspolymorphismtypeclassestyped-lambda-calculus
  Language:Kotlin 5961

• typelevel / cats-effect

  The pure asynchronous runtime for Scala

  effectsscalafpasynchronoustypeclasses
  Language:Scala 1957

• thma / LtuPatternFactory

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

  functional-languagesfactory-patternstrategy-patternbuilder-patternfunction-compositioniterator-patternmonadhaskelldesign-patternsgof-patternscategory-theorytypeclassestypeclassopediapattern-languagetraversablefunctorsmonoidsfunctorreader-monadmonad-transformers
  Language:Haskell 976
• magnolia

  softwaremill / magnolia

  Easy, fast, transparent generic derivation of typeclass instances

  generic-programmingscalatypeclass-derivationtypeclassesgeneric-derivationderives-typeclassesimplicit-searchmagnolia-derivationtypeclassdatatypes
  Language:Scala 742

• dry-python / classes

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

  pythonpython3mypymypy-stubsmypy-pluginspep561fptypesafetytypeclasses
  Language:Python 641

• dehun / learn-fp

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

  scalacoursefunctional-programmingmonadmonoidfunctortypeclassesfunctional-idiomsmonad-transformerstutorialcomonadsmonadsapplicative
  Language:Scala 605

• gvolpe / pfps-shopping-cart

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

  functional-programmingfpcatscats-effecthttp4sfs2skunkrefinednewtypestagless-finalfinally-taglesstaglesstypeclass-derivationtypeclasses
  Language:Scala 519
• tofu

  tofu-tf / tofu

  Functional programming toolbox

  tagless-finalfunctional-programmingopticsloggingconfigreader-monadeffectsconcurrenttypeclasseshacktoberfest
  Language:Scala 517

• mmenestret / fp-resources

  Functional programming great resources

  scalamonadfree-monadscategory-theoryalgebramonad-transformersrecursion-schemesmonoidtypeclassestypeclassfunctional-programming
  483
• arrow-meta

  arrow-kt / arrow-meta

  Functional companion to Kotlin's Compiler

  metaprogrammingquasiquotetemplate-metaprogrammingcompiler-pluginkotlin-compilerkotlinkotlin-multiplatformtypesystemmacroslintertree-structurecodegenerationcodegenericsunion-typehigher-kinded-typestypeclassesmetaideintellij-plugin
  Language:Kotlin 389

• typelevel / cats-mtl

  cats transformer type classes.

  transformer-typeclassescatsfunctional-programmingtypeclassesmonad
  Language:Scala 304

• Hirrolot / interface99

  Full-featured interfaces for C99

  metaprogrammingtype-systemc99typeclassesdynamic-dispatchoopobject-orientedpolymorphismmetalang99macrosgeneric-programming
  Language:C 266

• djspiewak / shims

  Seamless interop layer between cats and scalaz

  scalazcatstypeclassescompatibility
  Language:Scala 174

• coq-community / math-classes

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

  coq-librarytypeclassesmathematicscoqcoq-cicoq-platform
  Language:Coq 157

• softwaremill / scala-common

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

  scalacommonlibtypeclassesbenchmarkingid-generation
  Language:Scala 119

• scalasummerschool / lectures

  Learn Functional Programming in Scala

  scalafunctional-programmingworkshoptypeclassesio-monad
  Language:Scala 114

• rudymatela / concise-cheat-sheets

  Cheat Sheets for programming languages and tools

  cheatsheethaskelltypeclassesctflatexlatex-templatedocumentationreference-cardhaskell-learning
  Language:TeX 111

• tonivade / purefun

  Functional Programming library for Java

  javafunctional-programmingexperimentalmonadshigher-kinded-typestypeclassestuplesio-monadmonadtagless-finalfree-monadmemoizationmonad-transformersstreamimmutable-collectionsmtleffects
  Language:Java 104

• TotallyNotChase / c-iterators

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

  cc-preprocessorpreprocessortypeclassesiteratorlazy-evaluationtype-safetygenericpolymorphism
  Language:C 92

• i-am-tom / fantas-eel-and-specification

  Examples and exercises from the blog series

  javascripttypeclassesexamplefunctionalalgebraic-structures
  Language:JavaScript 83

• 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.

  agdaphdemacslispocamlcoqmodulestypeclassesrecordscanonical-structuresfirst-class-citizensmetaprogramminglanguagehaskell
  Language:HTML 79

• thautwarm / CanonicalTraits.jl

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

  typeclassestraits
  Language:Julia 63

• arrow-kt / arrow-meta-examples

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

  metaprogrammingquasiquotetemplate-metaprogrammingcompiler-pluginkotlin-compilerkotlinkotlin-multiplatformtypesystemmacroslintertree-structurecodegenerationcodegenericsunion-typehigher-kinded-typestypeclassesmetaideintellij-plugin
  Language:Kotlin 58

• scalaz / scalaz-deriving

  Principled, fast, typeclass derivation.

  scalazmacroscompiler-plugintypeclasses
  Language:Scala 52

• andreypopp / type-systems

  Playing with type systems

  type-systemshindley-milnertypeclassesocamltype-inference
  Language:OCaml 42

• thautwarm / FSTan

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

  typeclassessubtypeclassinghigher-kinded-typesmonadmonoidsfunctional-programming
  Language:F# 42

• TotallyNotChase / typeclass-interface-pattern

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

  cc99c90interfacepolymorphismtypeclassestypeclass
  Language:C 39

• evolution-gaming / derivation

  Configured derivation library for scala 3

  derivationscalascala3typeclasses
  Language:Scala 35

• hablapps / puretest

  Purely functional testing in Scala

  functional-programmingtestingscalazcatstypeclasses
  Language:Scala 29

• DmytroMitin / AUXify

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

  scalashapelesstypeclassmacrossimulacrumtypelevel-programmingdependent-typestypeclassescode-generationextension-methodsmetaprogrammingscalametasemanticdbscalafix
  Language:Scala 28

• alhassy / HaskellCheatSheet

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

  haskellcheatsheettypeclassesfunctional-programmingfunctorsapplicativesmonads
  27

• coq-community / lemma-overloading

  Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]

  coqcanonical-structurestypeclassesssreflectmathcompautomationpaper-artifacts
  Language:Coq 26

• derive4j / derive4j-fj

  Automatic derivation of functional-java typeclasse instances and optics

  functionaljavafunctional-programmingderive4jtypeclassesjavajava-8
  Language:Java 21

• nrktkt / ninny-json

  JSON typeclasses that know the difference between null and absent fields

  jsonastabsent-fieldsscalatypeclasses
  Language:HTML 21

• shrynx / reasonz

  A Haskell fan fiction for ReasonML

  reasonmlhaskelltypeclassesfunctormonad
  Language:OCaml 20

• 7mind / no-more-orphans

  Companion repository for 'No More Orphans'

  blogscalaimplicitstypeclassesorphans
  Language:Scala 14