viperproject
prusti-dev
Rust

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

ยฉ 2026 GitRepoTrend ยท viperproject/prusti-dev ยท Updated daily from GitHub