Explore @viperproject Open Source projects

Viper Project (@viperproject)

viperproject

Stars
1,928
Global Org. Rank 9,553 (Top 4 %)
Registered almost 8 years ago
Most used languages

Scala
25.8 %

TypeScript
22.6 %

Python
16.1 %

Rust
12.9 %

Go
6.5 %

JavaScript
3.2 %

Dockerfile
3.2 %

Emacs Lisp
3.2 %

Shell
3.2 %

C#
3.2 %
Location 🇨🇭 Switzerland
Country Total Rank 212
Country Ranking

Rust
4

Scala
21

Emacs Lisp
91

C#
165

TypeScript
172

Dockerfile
348

Go
412

Python
540

Shell
910

JavaScript
2,008

prusti-dev

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

silicon

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

silver

Definition of the Viper intermediate verification language.

2vyper

A static verifer for Ethereum Smart Contracts written in Vyper

gobra

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

carbon

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

axiom-profiler

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).

prusti-assistant

VS Code extension to verify Rust programs with the Prusti verifier.

bitbucket-issue-migration

Scripts for the migration from Bitbucket to GitHub.

create-nightly-release

GitHub action to create a new pre-release and delete old pre-releases created by this action

viperserver

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

viper-ide

This is the main repository for the Viper IDE extension for VS Code.

rust-contracts

gobra-ide

VSCode Plugin for Gobra

rust-life

Simple explanations for some complex Rust lifetime errors.

check-license-header

GitHub action to check whether all files have a specified copyright license header

vs-verification-toolbox

Useful component to build VS Code extensions for verifiers.

jni-gen

Generate Rust wrappers for Java/Scala

VerifiedSCION

Verifying the SCION architecture using Gobra

viper_client

prusti-action

GitHub Action to verify Rust code using the Prusti verifier.

program-proofs-gobra

Examples and exercises from the book Program Proofs translated to Gobra

termination-plugin

A Viper plugin for proving termination.

gobra-action

Github Action to verify Go code with Gobra directly in a CI workflow

ouroboros

lizard

Lizard is the visual verification debugger for Viper IDE

reachability-verification

Heap reachability verification benchmarks (manually encoded in Viper) used in Modular Verification of Heap Reachability Properties in Separation Logic

viper-runner

silver-multisets

An alternative encoding of multisets based on Dafny's encoding in Boogie.

gobra-libs

Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.

voila

Voila is proof outline checker for fine-grained concurrency verification

viper-linux-dev-docker

Docker image for developing Viper https://github.com/viperproject/ See also https://github.com/viperproject/viper-linux-dev

viper-linux-dev

Environment for developing Viper under Linux.

gobra-mode

Support for Gobra in emacs

gorac