Viper Project

Verification Infrastructure for Permission-based Reasoning

Overview
Repositories
Projects
Packages
People

README.md

Viper (Verification Infrastructure for Permission-based Reasoning) is a language and suite of tools developed at ETH Zurich, providing an architecture on which new verification tools and prototypes can be developed simply and quickly.

Official project webpage: viper.ethz.ch

Pinned Loading

silver silver Public

Definition of the Viper intermediate verification language.

Scala 100 53
silicon silicon Public

Symbolic-execution-based verifier for the Viper intermediate verification language.

Scala 143 42
carbon carbon Public

Verification-condition-generation-based verifier for the Viper intermediate verification language.

Scala 38 24
prusti-dev prusti-dev Public

A static verifier for Rust, based on the Viper verification infrastructure.

Rust 1.8k 125
viperserver viperserver Public

HTTP server that manages verification requests to different tools from the Viper tool stack.

Scala 16 17
gobra gobra Public

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

Scala 181 43

Repositories

Type Language

Select language

All Boogie C# Dockerfile Emacs Lisp Go Haskell Isabelle JavaScript Python Ruby Rust Scala Shell SMT TypeScript

Sort

nagini-claude-plugin Public

viperproject/nagini-claude-plugin's past year of commit activity

Python 1 MPL-2.0 0 0 0 Updated Aug 28, 2026
prusti-dev Public
A static verifier for Rust, based on the Viper verification infrastructure.

viperproject/prusti-dev's past year of commit activity

Rust 1,807 125 269 (3 issues need help) 28 Updated Aug 28, 2026
gobra-ide Public
VSCode Plugin for Gobra

viperproject/gobra-ide's past year of commit activity

TypeScript 11 4 3 0 Updated Aug 28, 2026
gobra Public
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

viperproject/gobra's past year of commit activity

Scala 181 43 161 17 Updated Aug 27, 2026
silicon Public
Symbolic-execution-based verifier for the Viper intermediate verification language.

viperproject/silicon's past year of commit activity

Scala 143 MPL-2.0 42 112 15 Updated Aug 27, 2026
viperserver Public
HTTP server that manages verification requests to different tools from the Viper tool stack.

viperproject/viperserver's past year of commit activity

Scala 16 17 3 8 Updated Aug 27, 2026
viper-ide Public
This is the main repository for the Viper IDE extension for VS Code.

viperproject/viper-ide's past year of commit activity

TypeScript 14 MPL-2.0 12 3 7 Updated Aug 27, 2026
carbon Public
Verification-condition-generation-based verifier for the Viper intermediate verification language.

viperproject/carbon's past year of commit activity

Scala 38 MPL-2.0 24 151 12 Updated Aug 27, 2026
silver Public
Definition of the Viper intermediate verification language.

viperproject/silver's past year of commit activity

Scala 100 MPL-2.0 53 109 18 Updated Aug 27, 2026
VerifiedSCION Public
Verifying the SCION architecture using Gobra

viperproject/VerifiedSCION's past year of commit activity

Go 12 Apache-2.0 5 8 14 Updated Aug 23, 2026