Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "viper" keyword
prusti-specs 0.2.0
Internal Prusti crate for parsing specifications12 versions - Latest release: 9 months ago - 1 dependent package - 5.7 thousand downloads total - 1,480 stars on GitHub - 1 maintainer
prusti-contracts 0.2.0
Tools for specifying contracts with Prusti11 versions - Latest release: 9 months ago - 1 dependent package - 1 dependent repositories - 6.14 thousand downloads total - 1,480 stars on GitHub - 1 maintainer
prusti-std 0.2.0
External specifications for items in std for Prusti10 versions - Latest release: 9 months ago - 3.24 thousand downloads total - 1,480 stars on GitHub - 1 maintainer
prusti-contracts-proc-macros 0.2.0
Internal `proc-macro` Prusti crate11 versions - Latest release: 9 months ago - 1 dependent package - 2 dependent repositories - 6.52 thousand downloads total - 1,480 stars on GitHub - 1 maintainer
Related Keywords