proxy.golang.org "typeclasses" keyword
Top 4.1% on proxy.golang.org
4 versions - Latest release: almost 9 years ago - 1 dependent repositories - 6,535 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,535 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 6.7% on proxy.golang.org
114 versions - Latest release: about 1 month ago - 2,174 stars on GitHub
github.com/typelevel/cats-effect v3.7.0+incompatible
The pure asynchronous runtime for Scala114 versions - Latest release: about 1 month ago - 2,174 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 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 9.6% on proxy.golang.org
22 versions - Latest release: 28 days ago - 543 stars on GitHub
github.com/tofu-tf/tofu v0.14.1
Functional programming toolbox22 versions - Latest release: 28 days ago - 543 stars on GitHub
Top 5.7% on proxy.golang.org
25 versions - Latest release: 8 months ago - 310 stars on GitHub
github.com/typelevel/cats-mtl v1.6.0
cats transformer type classes.25 versions - Latest release: 8 months ago - 310 stars on GitHub
Related Keywords
functional-programming
3
scala
2
effects
2
automation
2
canonical-structures
2
optics
2
coq
2
mathcomp
2
paper-artifacts
2
ssreflect
2
hacktoberfest
2
concurrent
1
config
1
logging
1
reader-monad
1
tagless-final
1
cats
1
fp
1
monad
1
asynchronous
1
typeclass-derivation
1
typeclass
1
transformer-typeclasses
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
generic-programming
1
implicit-search
1
magnolia-derivation
1