Projects in Awesome Lists by viperproject
A curated list of projects in awesome lists by viperproject .
https://github.com/viperproject/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
formal-verification rust verification viper
Last synced: 13 May 2025
https://github.com/viperproject/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Last synced: 01 Mar 2026
https://github.com/viperproject/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
symbolic-execution verification viper
Last synced: 04 Apr 2025
https://github.com/viperproject/silver
Definition of the Viper intermediate verification language.
programming-language verification viper
Last synced: 13 May 2025
https://github.com/viperproject/2vyper
A static verifer for Ethereum Smart Contracts written in Vyper
Last synced: 13 May 2025
https://github.com/viperproject/smt-scope
SMTscope automatically analyses and visualises SMT solver execution traces.
axiom e-matching instantiation profiler quantifiers smt z3
Last synced: 09 Aug 2025
https://github.com/viperproject/axiom-profiler-2
SMTscope automatically analyses and visualises SMT solver execution traces.
axiom e-matching instantiation profiler quantifiers smt z3
Last synced: 13 May 2025
https://github.com/viperproject/axiom-profiler
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
Last synced: 13 May 2025
https://github.com/viperproject/carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
verification verification-condition-generation viper
Last synced: 13 May 2025
https://github.com/viperproject/bitbucket-issue-migration
Scripts for the migration from Bitbucket to GitHub.
Last synced: 13 May 2025
https://github.com/viperproject/prusti-assistant
VS Code extension to verify Rust programs with the Prusti verifier.
diagnostics prusti rust verification vscode-extension
Last synced: 20 Jul 2025
https://github.com/viperproject/viperserver
HTTP server that manages verification requests to different tools from the Viper tool stack.
Last synced: 07 Mar 2026
https://github.com/viperproject/viper-ide
This is the main repository for the Viper IDE extension for VS Code.
verification viper vscode-extension
Last synced: 02 Apr 2026
https://github.com/viperproject/create-nightly-release
GitHub action to create a new pre-release and delete old pre-releases created by this action
Last synced: 13 May 2025
https://github.com/viperproject/mendel-verifier
Capability-based verifier for safe Rust clients of interior mutability
formal-verification rust verification viper
Last synced: 13 May 2025
https://github.com/viperproject/rust-life
Simple explanations for some complex Rust lifetime errors.
lifetimes rust vscode-extension
Last synced: 13 May 2025
https://github.com/viperproject/check-license-header
GitHub action to check whether all files have a specified copyright license header
Last synced: 13 May 2025
https://github.com/viperproject/protocol-verification-refinement
Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"
automated-verification implementation protocol-verification separation-logic symbolic-security tamarin
Last synced: 17 Apr 2026
https://github.com/viperproject/vs-verification-toolbox
Useful component to build VS Code extensions for verifiers.
Last synced: 13 Mar 2026
https://github.com/viperproject/program-proofs-gobra
Examples and exercises from the book Program Proofs translated to Gobra
Last synced: 28 Dec 2025
https://github.com/viperproject/verifiedscion
Verifying the SCION architecture using Gobra
Last synced: 10 Oct 2025
https://github.com/viperproject/prusti-action
GitHub Action to verify Rust code using the Prusti verifier.
Last synced: 20 Apr 2026
https://github.com/viperproject/diodon-artifact
Artifact for "The Secrets Must Not Flow: Scaling Security Verification to Large Codebases" (S&P '26)
automated-verification gobra implementation protocol-verification separation-logic static-analysis symbolic-security tamarin
Last synced: 14 May 2026
https://github.com/viperproject/gobra-action
Github Action to verify Go code with Gobra directly in a CI workflow
actions formal-verification github-actions go golang verification
Last synced: 13 May 2025
https://github.com/viperproject/reachability-verification
Heap reachability verification benchmarks (manually encoded in Viper) used in Modular Verification of Heap Reachability Properties in Separation Logic
Last synced: 19 Mar 2026
https://github.com/viperproject/gobra-libs
Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
Last synced: 13 May 2025
https://github.com/viperproject/termination-plugin
A Viper plugin for proving termination.
Last synced: 20 Apr 2026
https://github.com/viperproject/lizard
Lizard is the visual verification debugger for Viper IDE
Last synced: 28 Oct 2025
https://github.com/viperproject/viper-linux-dev-docker
Docker image for developing Viper https://github.com/viperproject/ See also https://github.com/viperproject/viper-linux-dev
Last synced: 17 Feb 2026
https://github.com/viperproject/silver-sif-extension
Extension of the Viper language with modular product programs and information flow specifications
Last synced: 28 Dec 2025
https://github.com/viperproject/verified_go_stdlib
Verification of parts of the Go Standard Library
Last synced: 04 Feb 2026
https://github.com/viperproject/program-proofs-prusti
Examples and exercises from the book Program Proofs translated to Prusti
Last synced: 06 Jul 2025
https://github.com/viperproject/viper-linux-dev
Environment for developing Viper under Linux.
Last synced: 25 Oct 2025
https://github.com/jcp19/verified_go_stdlib
Verification of parts of the Go Standard Library
Last synced: 11 Feb 2026
https://github.com/viperproject/program-proofs-viper
Examples and exercises from the book Program Proofs translated Viper.
Last synced: 12 Feb 2026
https://github.com/viperproject/silver-multisets
An alternative encoding of multisets based on Dafny's encoding in Boogie.
Last synced: 14 Feb 2026
https://github.com/viperproject/voila
Voila is proof outline checker for fine-grained concurrency verification
concurrency fine-grained-concurrency formal-methods program-verification separation-logic software-verification verification
Last synced: 24 Apr 2026
https://github.com/viperproject/viper-ide-deps
This is the template repository for binary dependencies for Viper IDE. Created for automating the ViperTools package creation via Jenkins. Related: https://github.com/viperproject/viper-ide
Last synced: 03 Feb 2026
https://github.com/viperproject/securityprotocolimplementations
Artifact for the paper "A Generic Methodology for the Modular Verification of Security Protocol Implementations"
Last synced: 30 Oct 2025
https://github.com/viperproject/smt-logs
Scripts to get logs from deductive verifiers
Last synced: 19 Jun 2025
https://github.com/viperproject/vs-verification-toolbox-release-testing
Repository with some releases to test vs-verification-toolbox
Last synced: 11 Feb 2026
https://github.com/viperproject/arp-plugin
Plugin for Silver implementing Abstract Read Permissions.
Last synced: 24 Jun 2025
https://github.com/viperproject/tutorial
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 via the issue tracker.
documentation formal-methods verification
Last synced: 15 Mar 2026
https://github.com/viperproject/examples-verification
This repository contains the structure required for the Jenkins jobs "Examples Verification" to work.
Last synced: 21 Apr 2026
https://github.com/viperproject/boogie-builder
A GitHub action that builds Boogie.
Last synced: 27 Jan 2026
https://github.com/viperproject/silicon-sif-extension
Extension of Silicon for product programs, in particular product program counterexample transformation
Last synced: 21 Apr 2026