Viper

viper-admin.viper · 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 Viper (Verification Infrastructure for Permission-based Reasoning).

Historical performance

7d 15d 30d 90d 1y All

VISUAL STUDIO MARKETPLACE

Installs growth

Last snapshot: Nov 5, 2026, 22:13 UTC

Total installs7.8K

7d growth43+0.6% over 7d

Community rating★ 5.02 reviews

Latest version5.4.1Updated Sep 7, 2026

8 calculable days · 0 without calculable growth.

OPEN VSX

Last snapshot: Nov 5, 2026, 22:15 UTC

Total downloads11.1K

7d growth561+5.3% over 7d

Community rating★ 5.01 reviews

Latest version5.4.1Updated Sep 7, 2026

8 calculable days · 0 without calculable growth.

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

Term	Marketplace	Open VSX
EducationCategoryMarketplace · 2026-11-05 22:20 UTCOpen VSX · 2026-11-05 22:23 UTC	#192 of 2,416 0 1d0 7d	#105 of 528 0 1d↑1 7d
ThemesCategory · 2026-11-05 22:24 UTC	No observed result	#196 of 2,064 0 1d↑1 7d
SnippetsCategory · 2026-11-05 22:24 UTC	No observed result	#366 of 1,754 0 1d↑1 7d
Programming LanguagesCategory · 2026-11-05 22:24 UTC	No observed result	#974 of 5,071 ↑2 1d↑15 7d

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