Beast code in Giters

Bryan Parno's repositories

Scripts to automatically generate submission bids for PC members

Language:PythonMIT4 10

An ML-like language aimed at program verification

Language:OCamlApache-2.01 10

Learning embeddings for classification, retrieval and ranking.

Language:C++NOASSERTION1 10

The Z3 Theorem Prover

Language:C++NOASSERTION1 10

Boogie

Language:BoogieMIT000

The MSR Ironclad project builds provably secure and reliable systems.

Language:C#000

A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler

Language:Rust000

A simple crater-inspired tool for Verus

Language:RustMIT000