Popular repositories Loading

1. soteria soteria Public

   Sound static analysis for the masses.

   OCaml 51 6

2. obol obol Public

   Rust 5 1

3. charon charon Public

   Forked from AeneasVerif/charon

   Interface with the rustc compiler for the purpose of program verification

   Rust

4. bolero bolero Public

   Forked from camshaft/bolero

   property testing and verification front-end for Rust

   C

5. cargo-soteria cargo-soteria Public

   Rust

6. finetime finetime Public

   Forked from Quinten-van-Woerkom/finetime

   High-fidelity time library for Rust, useful for applications where sub-nanosecond accuracy and exact arithmetic are needed

   Rust