GeezerVison

GeezerVison is showing github.com — Viper Project

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 101 53
silicon silicon Public

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

Scala 152 46
carbon carbon Public

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

Scala 40 25
viperserver viperserver Public

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

Scala 16 19
gobra gobra Public

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

Scala 236 45

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

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

Sort

Last updated Name Stars

Showing 10 of 84 repositories

gobra-ide Public
VSCode Plugin for Gobra

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

TypeScript 11 4 3 1 Updated Nov 12, 2026
helium Public
A Rust parser for Viper

viperproject/helium's past year of commit activity

Rust 8 MPL-2.0 1 2 25 Updated Nov 11, 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 236 45 168 18 Updated Nov 11, 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 19 5 8 Updated Nov 11, 2026
silicon Public
Symbolic-execution-based verifier for the Viper intermediate verification language.

viperproject/silicon's past year of commit activity

Scala 152 MPL-2.0 46 118 22 Updated Nov 11, 2026
carbon Public
Verification-condition-generation-based verifier for the Viper intermediate verification language.

viperproject/carbon's past year of commit activity

Scala 40 MPL-2.0 25 152 12 Updated Nov 11, 2026
silver Public
Definition of the Viper intermediate verification language.

viperproject/silver's past year of commit activity

Scala 101 MPL-2.0 53 109 20 Updated Nov 11, 2026
locate-java-home Public Forked from jvilk/locate-java-home
Locates JAVA_HOME on any platform, and can differentiate between different versions.

viperproject/locate-java-home's past year of commit activity

TypeScript 3 9 0 2 Updated Nov 2, 2026
vs-verification-toolbox Public
Useful component to build VS Code extensions for verifiers.

viperproject/vs-verification-toolbox's past year of commit activity

TypeScript 6 MPL-2.0 2 1 1 Updated Nov 1, 2026
create-nightly-release Public
GitHub action to create a new pre-release and delete old pre-releases created by this action

viperproject/create-nightly-release's past year of commit activity

TypeScript 10 1 0 0 Updated Nov 1, 2026

View all repositories

People

Top languages

Scala Python Rust TypeScript Go

Most used topics

verification viper separation-logic go golang