Movatterモバイル変換

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 via the issue tracker.
viperproject/tutorial’s past year of commit activity
JavaScript0 5 3 1 UpdatedFeb 20, 2026
gobra-ide Public
VSCode Plugin for Gobra
viperproject/gobra-ide’s past year of commit activity
TypeScript 11 4 4 1 UpdatedFeb 20, 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 15 16 3 6 UpdatedFeb 20, 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 148 37 152 18 UpdatedFeb 19, 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 12MPL-2.0 11 11 7 UpdatedFeb 19, 2026
carbon Public
Verification-condition-generation-based verifier for the Viper intermediate verification language.
viperproject/carbon’s past year of commit activity
Scala 35MPL-2.0 23 149 10 UpdatedFeb 19, 2026
silver Public
Definition of the Viper intermediate verification language.
viperproject/silver’s past year of commit activity
Scala 95MPL-2.0 48 103 18 UpdatedFeb 19, 2026
silicon Public
Symbolic-execution-based verifier for the Viper intermediate verification language.
viperproject/silicon’s past year of commit activity
Scala 127MPL-2.0 36 111 12 UpdatedFeb 19, 2026
gobra-action Public
Github Action to verify Go code with Gobra directly in a CI workflow
viperproject/gobra-action’s past year of commit activity
Shell 2MPL-2.0 3 4 2 UpdatedFeb 17, 2026
gobra-libs Public
Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
viperproject/gobra-libs’s past year of commit activity
Python 2MIT 2 5 2 UpdatedFeb 16, 2026