Pinned Loading

1. prusti-dev prusti-dev Public

   Forked from viperproject/prusti-dev

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

   Rust

2. gobra gobra Public

   Forked from viperproject/gobra

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

   Scala

3. verify-fpki-firefox-extension verify-fpki-firefox-extension Public

   Forked from cyrill-k/fpki-firefox-extension

   JavaScript 1

4. PermBorrows PermBorrows Public

5. dead dead Public

   Forked from DeadCodeProductions/dead

   C

6. program-markers program-markers Public

   Forked from DeadCodeProductions/program-markers

   C++