Gobra IDE

viper-admin.gobra-ide · by Chair of Programming Methodology - ETH ZurichVS Marketplace Not verifiedOpen VSX Verified

First Released:

Last Updated:

This extension provides interactive IDE features for verifying programs in Gobra.

Historical performance

7d 15d 30d 90d 1y All

VISUAL STUDIO MARKETPLACE

Installs growth

Last snapshot: Nov 7, 2026, 22:10 UTC

Total installs344

7d growth1+0.3% over 7d

Community rating—Reviews unavailable

Latest version3.1.2Updated Nov 4, 2026

8 calculable days · 0 without calculable growth.

OPEN VSX

Last snapshot: Nov 7, 2026, 22:27 UTC

Total downloads6K

7d growth570+10.5% over 7d

Community rating—0 reviews

Latest version3.1.2Updated Nov 4, 2026

8 calculable days · 0 without calculable growth.

Categories ranked by installs on Marketplace and downloads on Open VSX.

Term	Marketplace	Open VSX
goKeywordMarketplace · 2026-11-07 22:36 UTCOpen VSX · 2026-11-07 22:41 UTC	#863 of 6,159 ↓10 1d↓21 7d	#74 of 788 0 1d0 7d

Checked daily for up to 1,000 results per term. Changes appear when historical data is available.