Back to leaderboard
Prusti Assistant
viper-admin.prusti-assistant
Verify Rust programs with the Prusti verifier.
prustirustsnippetverificationviperProgramming Languages
Open VSX
Total downloads
13,435
Since yesterday
+84
Current version
v0.13.0
Days tracked
127
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-10-30 02:00:00 | 13,435 | v0.13.0 |
| 2026-10-29 02:00:00 | 13,351 | v0.13.0 |
| 2026-10-28 02:00:00 | 13,221 | v0.13.0 |
| 2026-10-27 02:00:00 | 13,135 | v0.13.0 |
| 2026-10-26 02:00:00 | 13,049 | v0.13.0 |
| 2026-10-25 02:00:00 | 12,965 | v0.13.0 |
| 2026-10-24 02:00:00 | 12,863 | v0.13.0 |
| 2026-10-23 02:00:00 | 12,757 | v0.13.0 |
| 2026-10-22 02:00:00 | 12,643 | v0.13.0 |
| 2026-10-21 02:00:00 | 12,521 | v0.13.0 |
| 2026-10-20 02:00:00 | 12,401 | v0.13.0 |
| 2026-10-19 02:00:00 | 12,271 | v0.13.0 |
| 2026-10-18 02:00:00 | 12,155 | v0.13.0 |
| 2026-10-17 02:00:00 | 12,057 | v0.13.0 |
| 2026-10-16 02:00:00 | 11,955 | v0.13.0 |
| 2026-10-15 02:00:00 | 11,855 | v0.13.0 |
| 2026-10-14 02:00:00 | 11,749 | v0.13.0 |
| 2026-10-13 02:00:00 | 11,633 | v0.13.0 |
| 2026-10-12 02:00:00 | 11,515 | v0.13.0 |
| 2026-10-11 02:00:00 | 11,411 | v0.13.0 |
| 2026-10-10 02:00:00 | 11,311 | v0.13.0 |
| 2026-10-09 02:00:00 | 11,211 | v0.13.0 |
| 2026-10-08 02:00:00 | 11,097 | v0.13.0 |
| 2026-10-07 02:00:00 | 10,991 | v0.13.0 |
| 2026-10-06 02:00:00 | 10,869 | v0.13.0 |
| 2026-10-05 02:00:00 | 10,757 | v0.13.0 |
| 2026-10-04 02:00:00 | 10,643 | v0.13.0 |
| 2026-10-03 02:00:00 | 10,559 | v0.13.0 |
| 2026-10-02 02:00:00 | 10,449 | v0.13.0 |
| 2026-10-01 02:00:00 | 10,335 | v0.13.0 |
| 2026-09-30 02:00:00 | 10,217 | v0.13.0 |
| 2026-09-29 02:00:00 | 10,105 | v0.13.0 |
| 2026-09-28 02:00:00 | 9,991 | v0.13.0 |
| 2026-09-27 02:00:00 | 9,879 | v0.13.0 |
| 2026-09-26 02:00:00 | 9,765 | v0.13.0 |
| 2026-09-25 02:00:00 | 9,731 | v0.13.0 |
| 2026-09-24 02:00:00 | 9,725 | v0.13.0 |
| 2026-09-23 02:00:00 | 9,721 | v0.13.0 |
| 2026-09-22 02:00:00 | 9,665 | v0.13.0 |
| 2026-09-21 02:00:00 | 9,661 | v0.13.0 |
| 2026-09-20 02:00:00 | 9,649 | v0.13.0 |
| 2026-09-19 02:00:00 | 9,637 | v0.13.0 |
| 2026-09-18 02:00:00 | 9,635 | v0.13.0 |
| 2026-09-17 02:00:00 | 9,633 | v0.13.0 |
| 2026-09-16 02:00:00 | 9,631 | v0.13.0 |
| 2026-09-15 11:36:37 | 9,581 | v0.13.0 |
| 2026-09-14 02:00:00 | 9,577 | v0.13.0 |
| 2026-09-13 02:00:00 | 9,573 | v0.13.0 |
| 2026-09-12 06:52:15 | 9,571 | v0.13.0 |
| 2026-09-11 02:00:00 | 9,567 | v0.13.0 |
| 2026-09-10 02:00:00 | 9,565 | v0.13.0 |
| 2026-09-09 02:00:00 | 9,563 | v0.13.0 |
| 2026-09-08 02:00:00 | 9,557 | v0.13.0 |
| 2026-09-07 02:00:00 | 9,539 | v0.13.0 |
| 2026-09-06 02:00:00 | 9,537 | v0.13.0 |
| 2026-09-05 02:00:00 | 9,535 | v0.13.0 |
| 2026-09-04 02:00:00 | 9,531 | v0.13.0 |
| 2026-09-03 02:00:00 | 9,529 | v0.13.0 |
| 2026-09-02 02:00:00 | 9,527 | v0.13.0 |
| 2026-09-01 02:00:00 | 9,527 | v0.13.0 |
| 2026-08-31 02:00:00 | 9,519 | v0.13.0 |
| 2026-08-30 02:00:00 | 9,515 | v0.13.0 |
| 2026-08-29 02:00:00 | 9,513 | v0.13.0 |
| 2026-08-28 02:00:00 | 9,511 | v0.13.0 |
| 2026-08-27 02:00:00 | 9,507 | v0.13.0 |
| 2026-08-26 02:00:00 | 9,495 | v0.13.0 |
| 2026-08-25 02:00:00 | 9,493 | v0.13.0 |
| 2026-08-24 02:00:00 | 9,489 | v0.13.0 |
| 2026-08-23 02:00:00 | 9,469 | v0.13.0 |
| 2026-08-22 02:00:00 | 9,447 | v0.13.0 |
| 2026-08-21 02:00:00 | 9,443 | v0.13.0 |
| 2026-08-20 02:00:00 | 9,439 | v0.13.0 |
| 2026-08-19 02:00:00 | 9,435 | v0.13.0 |
| 2026-08-18 02:00:00 | 9,433 | v0.13.0 |
| 2026-08-17 02:00:00 | 9,431 | v0.13.0 |
| 2026-08-16 02:00:00 | 9,427 | v0.13.0 |
| 2026-08-15 02:00:00 | 9,423 | v0.13.0 |
| 2026-08-14 02:00:00 | 9,417 | v0.13.0 |
| 2026-08-13 02:00:00 | 9,413 | v0.13.0 |
| 2026-08-12 02:00:00 | 9,409 | v0.13.0 |
| 2026-08-11 02:00:00 | 9,407 | v0.13.0 |
| 2026-08-10 02:00:00 | 9,403 | v0.13.0 |
| 2026-08-09 02:00:00 | 9,401 | v0.13.0 |
| 2026-08-08 02:00:00 | 9,397 | v0.13.0 |
| 2026-08-07 02:00:00 | 9,395 | v0.13.0 |
| 2026-08-06 02:00:00 | 9,387 | v0.13.0 |
| 2026-08-05 02:00:00 | 9,377 | v0.13.0 |
| 2026-08-04 02:00:00 | 9,375 | v0.13.0 |
| 2026-08-03 02:00:00 | 9,367 | v0.13.0 |
| 2026-08-02 02:00:00 | 9,361 | v0.13.0 |
| 2026-08-01 02:00:00 | 9,353 | v0.13.0 |
| 2026-07-31 02:00:00 | 9,341 | v0.13.0 |
| 2026-07-30 02:00:00 | 9,335 | v0.13.0 |
| 2026-07-29 06:50:17 | 9,325 | v0.13.0 |
| 2026-07-28 02:00:00 | 9,269 | v0.13.0 |
| 2026-07-27 02:00:00 | 9,233 | v0.13.0 |
| 2026-07-26 02:00:00 | 9,227 | v0.13.0 |
| 2026-07-25 02:00:00 | 9,215 | v0.13.0 |
| 2026-07-24 02:00:00 | 9,205 | v0.13.0 |
| 2026-07-23 02:00:00 | 9,199 | v0.13.0 |
| 2026-07-22 02:00:00 | 9,185 | v0.13.0 |
| 2026-07-21 02:00:00 | 9,179 | v0.13.0 |
| 2026-07-20 02:00:00 | 9,167 | v0.13.0 |
| 2026-07-19 02:00:00 | 9,145 | v0.13.0 |
| 2026-07-18 02:00:00 | 9,129 | v0.13.0 |
| 2026-07-17 02:00:00 | 9,109 | v0.13.0 |
| 2026-07-16 02:00:00 | 9,107 | v0.13.0 |
| 2026-07-15 02:00:00 | 8,841 | v0.13.0 |
| 2026-07-14 02:00:00 | 8,839 | v0.13.0 |
| 2026-07-13 02:00:00 | 8,837 | v0.13.0 |
| 2026-07-12 02:00:00 | 8,829 | v0.13.0 |
| 2026-07-11 02:00:00 | 8,825 | v0.13.0 |
| 2026-07-10 02:00:00 | 8,819 | v0.13.0 |
| 2026-07-09 05:29:22 | 8,817 | v0.13.0 |
| 2026-07-08 02:00:00 | 8,813 | v0.13.0 |
| 2026-07-07 02:00:00 | 8,809 | v0.13.0 |
| 2026-07-06 02:00:00 | 8,807 | v0.13.0 |
| 2026-07-05 02:00:00 | 8,805 | v0.13.0 |
| 2026-07-04 02:00:00 | 8,799 | v0.13.0 |
| 2026-07-04 02:00:00 | 8,799 | v0.13.0 |
| 2026-07-04 02:00:00 | 8,799 | v0.13.0 |
| 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 |