Ecosyste.ms: Packages

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

Top 8.4% on pypi.org
Top 4.8% dependent packages on pypi.org
Top 7.5% dependent repos on pypi.org

pypi.org : cryptol

Cryptol client for the Cryptol RPC server

Registry - Source - Documentation - JSON
purl: pkg:pypi/cryptol
Keywords: cryptography, verification
License: BSD-3-Clause
Latest release: 3 months ago
First release: about 3 years ago
Dependent packages: 1
Dependent repositories: 4
Downloads: 404 last month
Stars: 1,113 on GitHub
Forks: 117 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 1 hour ago

Readme