Popular repositories Loading

1. deferred-reference deferred-reference Public

   Rust 6

2. rust rust Public

   Forked from rust-lang/rust

   Empowering everyone to build reliable and efficient software.

   Rust

3. miri miri Public

   Forked from rust-lang/miri

   An interpreter for Rust's mid-level intermediate representation

   Rust

4. prusti-dev prusti-dev Public

   Forked from viperproject/prusti-dev

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

   Rust

5. viperserver viperserver Public

   Forked from viperproject/viperserver

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

   Scala

6. silicon silicon Public

   Forked from viperproject/silicon

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

   Scala