Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io : kani-verifer
Remark of Dr. Baldwin's concerning upstarts: We don't care to eat toadstools that think they are truffles. -- Mark Twain, Pudd'nhead Wilson's Calendar
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:cargo/kani-verifer
License: Apache-2.0
Status: removed
Latest release: almost 2 years ago
First release: almost 2 years ago
Downloads: 68 total
Stars: 2,193 on GitHub
Forks: 1,334 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 22 days ago