A static verifier for Rust, based on the Viper verification infrastructure.
Last updated Jul 7, 2026
1.8k
Stars
125
Forks
297
Issues
+4
Stars/day
Attention Score
84
Language breakdown
Rust 99.3%
Python 0.5%
Nix 0.1%
Dockerfile 0.0%
Shell 0.0%
C 0.0%
โธ Files
click to expand
README
No README available.
๐ More in this category