Popular repositories Loading

1. group-theory-isabelle group-theory-isabelle Public

   Formalization of Selected Results from Group Theory

   Isabelle

2. prusti-dev prusti-dev Public

   Forked from viperproject/prusti-dev

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

   Rust

3. silicon silicon Public

   Forked from viperproject/silicon

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

   Scala

4. silver silver Public

   Forked from viperproject/silver

   Definition of the Viper intermediate verification language.

   Scala

5. prusti-assistant prusti-assistant Public

   Forked from viperproject/prusti-assistant

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

   TypeScript

6. trax trax Public

   Forked from google/trax

   Trax — Deep Learning with Clear Code and Speed

   Python