Back to leaderboard
Prusti Assistant
viper-admin.prusti-assistant
Verify Rust programs with the Prusti verifier.
prustirustsnippetverificationviperProgramming Languages
Open VSX
Total downloads
8,797
Since yesterday
+58
Current version
v0.13.0
Days tracked
6
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-07-03 08:30:39 | 8,797 | v0.13.0 |
| 2026-07-02 02:00:00 | 8,739 | v0.13.0 |
| 2026-07-01 02:00:00 | 8,735 | v0.13.0 |
| 2026-06-30 02:00:00 | 8,733 | v0.13.0 |
| 2026-06-29 14:14:45 | 8,733 | v0.13.0 |
| 2026-06-28 07:06:24 | 8,727 | v0.13.0 |