Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

Top 7.2% dependent packages on hackage.haskell.org

hackage.haskell.org : rzk

Please see the README on GitHub at https://github.com/rzk-lang/rzk#readme

Registry - Source - Homepage - JSON
purl: pkg:hackage/rzk
Keywords: bsd3, dependent-types, library, program, category-theory, haskell, homotopy-type-theory, proof-assistant
License: BSD-3-Clause
Latest release: about 1 month ago
First release: about 1 year ago
Dependent packages: 2
Dependent repositories: 1
Downloads: 588 total
Stars: 185 on GitHub
Forks: 7 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 9 days ago

Readme