proxy.golang.org "typeclasses" keyword
View the packages on the proxy.golang.org package registry that are tagged with the "typeclasses" keyword.
Top 4.1% on proxy.golang.org
4 versions - Latest release: almost 9 years ago - 1 dependent repositories - 6,449 stars on GitHub
github.com/arrow-kt/arrow v0.3.1
The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurr...4 versions - Latest release: almost 9 years ago - 1 dependent repositories - 6,449 stars on GitHub
Top 5.5% on proxy.golang.org
7 versions - Latest release: over 5 years ago - 27 stars on GitHub
github.com/rocq-community/lemma-overloading v8.12.0+incompatible
Libraries demonstrating design patterns for programming and proving with canonical structures in ...7 versions - Latest release: over 5 years ago - 27 stars on GitHub
Top 5.7% on proxy.golang.org
47 versions - Latest release: over 5 years ago - 789 stars on GitHub
github.com/softwaremill/magnolia v0.17.0
Easy, fast, transparent generic derivation of typeclass instances47 versions - Latest release: over 5 years ago - 789 stars on GitHub
Top 9.6% on proxy.golang.org
7 versions - Latest release: over 5 years ago - 26 stars on GitHub
github.com/coq-community/lemma-overloading v8.12.0+incompatible
Libraries demonstrating design patterns for programming and proving with canonical structures in ...7 versions - Latest release: over 5 years ago - 26 stars on GitHub
Top 5.7% on proxy.golang.org
25 versions - Latest release: 6 months ago - 310 stars on GitHub
github.com/typelevel/cats-mtl v1.6.0
cats transformer type classes.25 versions - Latest release: 6 months ago - 310 stars on GitHub
Top 6.7% on proxy.golang.org
113 versions - Latest release: 7 months ago - 2,174 stars on GitHub
github.com/typelevel/cats-effect v3.6.3+incompatible
The pure asynchronous runtime for Scala113 versions - Latest release: 7 months ago - 2,174 stars on GitHub
Top 9.6% on proxy.golang.org
21 versions - Latest release: 7 months ago - 543 stars on GitHub
github.com/tofu-tf/tofu v0.14.0
Functional programming toolbox21 versions - Latest release: 7 months ago - 543 stars on GitHub
Related Keywords
functional-programming
3
ssreflect
2
paper-artifacts
2
mathcomp
2
effects
2
hacktoberfest
2
coq
2
canonical-structures
2
automation
2
scala
2
optics
2
generic-programming
1
implicit-search
1
magnolia-derivation
1
typeclass
1
typeclass-derivation
1
cats
1
monad
1
transformer-typeclasses
1
asynchronous
1
fp
1
concurrent
1
config
1
logging
1
reader-monad
1
tagless-final
1
arrow
1
continuations
1
coroutines
1
delimited-continuations
1
for-comprehension
1
fp-types
1
functional-data-structure
1
kotlin
1
kotlin-dsl
1
kotlin-libraries
1
kotlin-library
1
monads
1
polymorphism
1
typed-lambda-calculus
1
datatypes
1
derives-typeclasses
1
generic-derivation
1