Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
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: 2 months ago
First release: about 1 year ago
Dependent packages: 2
Dependent repositories: 1
Downloads: 591 total
Stars: 189 on GitHub
Forks: 7 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 22 days ago