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
rzk 0.7.4
Please see the README on GitHub at https://github.com/rzk-lang/rzk#readme27 versions - Latest release: 2 months ago - 2 dependent packages - 1 dependent repositories - 591 downloads total - 189 stars on GitHub - 1 maintainer
proof-assistant-bot 0.2.2
Bridge between Telegram Bot and several proof assistants. Currently following proof assistant su...3 versions - Latest release: 4 months ago - 1 dependent package - 130 downloads total - 10 stars on GitHub - 1 maintainer