Loading publisher extensions…
Publisher
Chair of Programming Methodology - ETH Zurich
viper-admin
Active listings observed under this identifier in the VSX Atlas catalog. Matching identifiers across registries do not establish common ownership. Verification is shown per listing.
Extensions5Distinct extension identifiers across registries
Marketplace installs11KTotal from all extensions
Open VSX downloads30.9KTotal from all extensions
Extensions
VS Marketplace Sync: Open VSX Sync:
| Extension | VS Marketplace | Open VSX |
|---|---|---|
Viperviper-admin.viper |
|
|
Prusti Assistantviper-admin.prusti-assistant |
|
|
Inference for Viperviper-admin.inference-for-viper |
| Not listed |
Gobra IDEviper-admin.gobra-ide |
|
|
Nagini IDEviper-admin.nagini-ide |
| Not listed |