Back to leaderboard 
Gobra IDE
viper-admin.gobra-ide
This extension provides interactive IDE features for verifying programs in Gobra.
__ext_gobraethgogobrakeybindingsverificationviperProgramming Languages
Open VSX
Total downloads
2,578
Since yesterday
+4
Current version
v2.0.1
Days tracked
6
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-07-03 08:30:39 | 2,578 | v2.0.1 |
| 2026-07-02 02:00:00 | 2,574 | v2.0.1 |
| 2026-07-01 02:00:00 | 2,568 | v2.0.1 |
| 2026-06-30 02:00:00 | 2,566 | v2.0.1 |
| 2026-06-29 14:14:45 | 2,550 | v2.0.1 |
| 2026-06-28 07:06:24 | 2,546 | v2.0.1 |