Pinned Loading

1. viperproject/gobra viperproject/gobra Public

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

   Scala 112 28

2. viperproject/gobra-ide viperproject/gobra-ide Public

   VSCode Plugin for Gobra

   TypeScript 9 2

3. viperproject/silicon viperproject/silicon Public

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

   Scala 79 32

4. viperproject/silver viperproject/silver Public

   Definition of the Viper intermediate verification language.

   Scala 79 43

5. viperproject/viperserver viperproject/viperserver Public

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

   Scala 10 17

6. viperproject/bitbucket-issue-migration viperproject/bitbucket-issue-migration Public

   Scripts for the migration from Bitbucket to GitHub.

   Python 23 16