Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
proxy.golang.org "typeclasses" keyword
Top 9.6% on proxy.golang.org
13 versions - Latest release: 8 days ago - 512 stars on GitHub
github.com/tofu-tf/tofu v0.13.0
Functional programming toolbox13 versions - Latest release: 8 days ago - 512 stars on GitHub
Top 4.1% on proxy.golang.org
4 versions - Latest release: about 7 years ago - 1 dependent repositories - 5,571 stars on GitHub
github.com/arrow-kt/arrow v0.3.1
Λrrow - Functional companion to Kotlin's Standard Library4 versions - Latest release: about 7 years ago - 1 dependent repositories - 5,571 stars on GitHub
Top 9.6% on proxy.golang.org
7 versions - Latest release: almost 4 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: almost 4 years ago - 26 stars on GitHub
Related Keywords
functional-programming
2
optics
2
ssreflect
1
paper-artifacts
1
mathcomp
1
coq
1
canonical-structures
1
automation
1
typed-lambda-calculus
1
polymorphism
1
monads
1
kotlin-library
1
kotlin-libraries
1
kotlin-dsl
1
kotlin
1
functional-data-structure
1
fp-types
1
for-comprehension
1
delimited-continuations
1
coroutines
1
continuations
1
arrow
1
tagless-final
1
reader-monad
1
logging
1
hacktoberfest
1
effects
1
config
1
concurrent
1