All

86 repositories

VerifiedSCION
Public
Verifying the SCION architecture using Gobra
Go
•
Apache License 2.0
•5•12•9•9•Updated Apr 27, 2026Apr 27, 2026
gobra
Public
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
go golang verification
go golang verification
Scala
•
Other
•37•164•153•17•Updated Apr 27, 2026Apr 27, 2026
viperserver
Public
HTTP server that manages verification requests to different tools from the Viper tool stack.
verification viper
verification viper
Scala
•
Other
•16•16•3•7•Updated Apr 27, 2026Apr 27, 2026
silicon
Public
Symbolic-execution-based verifier for the Viper intermediate verification language.
verification symbolic-execution viper
verification symbolic-execution viper
Scala
•
Mozilla Public License 2.0
•39•135•114•15•Updated Apr 27, 2026Apr 27, 2026
gobra-libs
Public
Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
Python
•
MIT License
•2•2•5•2•Updated Apr 27, 2026Apr 27, 2026
gobra-ide
Public
VSCode Plugin for Gobra
TypeScript
•
Other
•4•11•4•1•Updated Apr 27, 2026Apr 27, 2026
viper-ide
Public
This is the main repository for the Viper IDE extension for VS Code.
verification viper vscode-extension
verification viper vscode-extension
TypeScript
•
Mozilla Public License 2.0
•12•13•3•9•Updated Apr 24, 2026Apr 24, 2026
silver
Public
Definition of the Viper intermediate verification language.
programming-language verification viper
programming-language verification viper
Scala
•
Mozilla Public License 2.0
•49•95•104•18•Updated Apr 23, 2026Apr 23, 2026
carbon
Public
Verification-condition-generation-based verifier for the Viper intermediate verification language.
verification viper verification-condition-generation
verification viper verification-condition-generation
Scala
•
Mozilla Public License 2.0
•24•37•149•11•Updated Apr 23, 2026Apr 23, 2026
vs-verification-toolbox
Public
Useful component to build VS Code extensions for verifiers.
TypeScript
•
Mozilla Public License 2.0
•2•5•1•1•Updated Apr 15, 2026Apr 15, 2026
locate-java-home
Public
Locates JAVA_HOME on any platform, and can differentiate between different versions.
TypeScript
•
Other
•9•3•0•3•Updated Apr 1, 2026Apr 1, 2026
prusti-assistant
Public
VS Code extension to verify Rust programs with the Prusti verifier.
rust verification vscode-extension
rust verification vscode-extension diagnostics prusti
TypeScript
•
MIT License
•9•24•10•4•Updated Apr 1, 2026Apr 1, 2026
verified_go_stdlib
Public
Verification of parts of the Go Standard Library
Go
•
BSD 3-Clause "New" or "Revised" License
•1•1•0•3•Updated Mar 11, 2026Mar 11, 2026
program-proofs-gobra
Public
Examples and exercises from the book Program Proofs translated to Gobra
1•6•1•0•Updated Mar 10, 2026Mar 10, 2026
prusti-dev
Public
A static verifier for Rust, based on the Viper verification infrastructure.
rust verification viper
rust verification viper formal-verification
Rust
•
Other
•125•1.8k•268•28•Updated Mar 9, 2026Mar 9, 2026
silver-oxide
Public
A Rust parser for Viper
Rust
•
Mozilla Public License 2.0
•1•5•0•0•Updated Mar 3, 2026Mar 3, 2026
check-license-header
Public
GitHub action to check whether all files have a specified copyright license header
TypeScript
•
Other
•2•6•2•1•Updated Mar 1, 2026Mar 1, 2026
tutorial
Public
This repo contains the sources of the official Viper tutorial. Feel free to submit your fixes and additions via pull requests. Please report technical issues vi…
documentation verification formal-methods
documentation verification formal-methods
JavaScript
•5•0•3•1•Updated Feb 20, 2026Feb 20, 2026
gobra-action
Public
Github Action to verify Go code with Gobra directly in a CI workflow
go golang actions
go golang actions verification formal-verification github-actions
Shell
•
Mozilla Public License 2.0
•3•2•4•2•Updated Feb 17, 2026Feb 17, 2026
create-nightly-release
Public
GitHub action to create a new pre-release and delete old pre-releases created by this action
TypeScript
•
Other
•1•10•0•2•Updated Feb 1, 2026Feb 1, 2026
gobra-book
Public
JavaScript
•3•4•2•0•Updated Jan 25, 2026Jan 25, 2026
silver-sif-extension
Public archive
Extension of the Viper language with modular product programs and information flow specifications
Scala
•
Mozilla Public License 2.0
•1•3•0•1•Updated Jan 23, 2026Jan 23, 2026
ReusableProtocolVerificationLibrary
Public
Go
•0•3•0•0•Updated Jan 14, 2026Jan 14, 2026
diodon-artifact
Public
Artifact for "The Secrets Must Not Flow: Scaling Security Verification to Large Codebases" (S&P '26)
static-analysis implementation tamarin
static-analysis implementation tamarin separation-logic protocol-verification symbolic-security automated-verification gobra
Go
•
Apache License 2.0
•0•3•0•2•Updated Jan 1, 2026Jan 1, 2026
smt-scope
Public
SMTscope automatically analyses and visualises SMT solver execution traces.
profiler z3 instantiation
profiler z3 instantiation smt axiom quantifiers e-matching
Rust
•
Apache License 2.0
•5•65•7•1•Updated Dec 10, 2025Dec 10, 2025
protocol-verification-refinement
Public
Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"
implementation tamarin separation-logic
implementation tamarin separation-logic protocol-verification symbolic-security automated-verification
Haskell
•
Mozilla Public License 2.0
•0•6•0•1•Updated Dec 2, 2025Dec 2, 2025
silicon-fork-peibensteine
Public
Symbolic-execution-based verifier for the Viper intermediate verification language.
Scala
•
Mozilla Public License 2.0
•39•0•0•0•Updated Nov 4, 2025Nov 4, 2025
carbon-fork-peibensteine
Public
Verification-condition-generation-based verifier for the Viper intermediate verification language.
Scala
•
Mozilla Public License 2.0
•24•0•0•0•Updated Nov 4, 2025Nov 4, 2025
silver-fork-peibensteine
Public
Definition of the Viper intermediate verification language.
Scala
•
Mozilla Public License 2.0
•49•0•0•0•Updated Jul 8, 2025Jul 8, 2025
vpr-mode
Public
Viper mode for emacs
Emacs Lisp
•
Mozilla Public License 2.0
•2•2•0•0•Updated Jun 12, 2025Jun 12, 2025

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Viper Project

All

All

86 repositories

VerifiedSCION

gobra

viperserver

silicon

gobra-libs

gobra-ide

viper-ide

silver

carbon

vs-verification-toolbox

locate-java-home

prusti-assistant

verified_go_stdlib

program-proofs-gobra

prusti-dev

silver-oxide

check-license-header

tutorial

gobra-action

create-nightly-release

gobra-book

silver-sif-extension

ReusableProtocolVerificationLibrary

diodon-artifact

smt-scope

protocol-verification-refinement

silicon-fork-peibensteine

carbon-fork-peibensteine

silver-fork-peibensteine

vpr-mode

All

All

Repositories list

86 repositories