Ecosyste.ms: Packages

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

crates.io "prusti" keyword

prusti-specs 0.2.0
Internal Prusti crate for parsing specifications
12 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 Prusti
11 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 Prusti
10 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 crate
11 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
formal-verification 4 rust 4 verification 4 viper 4 contracts 2 specifications 2 formal 2