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
3,838
Since yesterday
+6
Current version
v3.1.0
Days tracked
67
Download history
Version history
v3.1.0 from v2.0.2
Detected 2026-08-12 02:00 UTC
v2.0.2 from v2.0.1
Detected 2026-08-08 02:00 UTC
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-08-31 02:00:00 | 3,838 | v3.1.0 |
| 2026-08-30 02:00:00 | 3,832 | v3.1.0 |
| 2026-08-29 02:00:00 | 3,828 | v3.1.0 |
| 2026-08-28 02:00:00 | 3,826 | v3.1.0 |
| 2026-08-27 02:00:00 | 3,820 | v3.1.0 |
| 2026-08-26 02:00:00 | 3,802 | v3.1.0 |
| 2026-08-25 02:00:00 | 3,800 | v3.1.0 |
| 2026-08-24 02:00:00 | 3,786 | v3.1.0 |
| 2026-08-23 02:00:00 | 3,778 | v3.1.0 |
| 2026-08-22 02:00:00 | 3,764 | v3.1.0 |
| 2026-08-21 02:00:00 | 3,756 | v3.1.0 |
| 2026-08-20 02:00:00 | 3,750 | v3.1.0 |
| 2026-08-19 02:00:00 | 3,744 | v3.1.0 |
| 2026-08-18 02:00:00 | 3,738 | v3.1.0 |
| 2026-08-17 02:00:00 | 3,732 | v3.1.0 |
| 2026-08-16 02:00:00 | 3,724 | v3.1.0 |
| 2026-08-15 02:00:00 | 3,718 | v3.1.0 |
| 2026-08-14 02:00:00 | 3,702 | v3.1.0 |
| 2026-08-13 02:00:00 | 3,672 | v3.1.0 |
| 2026-08-12 02:00:00 | 3,489 | v3.1.0 |
| 2026-08-11 02:00:00 | 3,122 | v2.0.2 |
| 2026-08-10 02:00:00 | 3,108 | v2.0.2 |
| 2026-08-09 02:00:00 | 3,082 | v2.0.2 |
| 2026-08-08 02:00:00 | 3,032 | v2.0.2 |
| 2026-08-07 02:00:00 | 2,766 | v2.0.1 |
| 2026-08-06 02:00:00 | 2,758 | v2.0.1 |
| 2026-08-05 02:00:00 | 2,754 | v2.0.1 |
| 2026-08-04 02:00:00 | 2,752 | v2.0.1 |
| 2026-08-03 02:00:00 | 2,746 | v2.0.1 |
| 2026-08-02 02:00:00 | 2,738 | v2.0.1 |
| 2026-08-01 02:00:00 | 2,730 | v2.0.1 |
| 2026-07-31 02:00:00 | 2,722 | v2.0.1 |
| 2026-07-30 02:00:00 | 2,716 | v2.0.1 |
| 2026-07-29 06:50:17 | 2,708 | v2.0.1 |
| 2026-07-28 02:00:00 | 2,694 | v2.0.1 |
| 2026-07-27 02:00:00 | 2,678 | v2.0.1 |
| 2026-07-26 02:00:00 | 2,674 | v2.0.1 |
| 2026-07-25 02:00:00 | 2,664 | v2.0.1 |
| 2026-07-24 02:00:00 | 2,656 | v2.0.1 |
| 2026-07-23 02:00:00 | 2,648 | v2.0.1 |
| 2026-07-22 02:00:00 | 2,640 | v2.0.1 |
| 2026-07-21 02:00:00 | 2,632 | v2.0.1 |
| 2026-07-20 02:00:00 | 2,624 | v2.0.1 |
| 2026-07-19 02:00:00 | 2,620 | v2.0.1 |
| 2026-07-18 02:00:00 | 2,618 | v2.0.1 |
| 2026-07-17 02:00:00 | 2,614 | v2.0.1 |
| 2026-07-16 02:00:00 | 2,614 | v2.0.1 |
| 2026-07-15 02:00:00 | 2,610 | v2.0.1 |
| 2026-07-14 02:00:00 | 2,608 | v2.0.1 |
| 2026-07-13 02:00:00 | 2,608 | v2.0.1 |
| 2026-07-12 02:00:00 | 2,600 | v2.0.1 |
| 2026-07-11 02:00:00 | 2,600 | v2.0.1 |
| 2026-07-10 02:00:00 | 2,596 | v2.0.1 |
| 2026-07-09 05:29:22 | 2,594 | v2.0.1 |
| 2026-07-08 02:00:00 | 2,590 | v2.0.1 |
| 2026-07-07 02:00:00 | 2,586 | v2.0.1 |
| 2026-07-06 02:00:00 | 2,584 | v2.0.1 |
| 2026-07-05 02:00:00 | 2,582 | v2.0.1 |
| 2026-07-04 02:00:00 | 2,580 | v2.0.1 |
| 2026-07-04 02:00:00 | 2,580 | v2.0.1 |
| 2026-07-04 02:00:00 | 2,580 | v2.0.1 |
| 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 |