Pinned Loading

1. viperproject/prusti-dev viperproject/prusti-dev Public

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

   Rust 1.7k 117

2. model-checking/kani model-checking/kani Public

   Kani Rust Verifier

   Rust 2.7k 129

3. apache/teaclave-sgx-sdk apache/teaclave-sgx-sdk Public

   Apache Teaclave™ SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.

   Rust 1.2k 268

4. rocq-prover/rocq rocq-prover/rocq Public

   The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

   OCaml 5.2k 694

5. picachv-proof picachv-proof Public

   Coq formalism of Picachv's core operational semantics

   Coq 3

6. picachv picachv Public

   Picachv is a verified library for transparently enforcing data-use policies for data analytical systems

   Rust 7 1