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
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: 4 months ago
First release: about 3 years ago
Dependent packages: 1
Dependent repositories: 4
Downloads: 395 last month
Stars: 1,114 on GitHub
Forks: 117 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 12 days ago
saw-client 1.1.1
SAW client for the SAW RPC server6 versions - Latest release: 17 days ago - 1 dependent repositories - 52 downloads last month - 433 stars on GitHub - 4 maintainers