parno

Carnegie Mellon University

Pinned Repositories

dafny
Dafny is a verification-aware programming language
Language:C#2.9k 80 2.7k257
autobid
Scripts to automatically generate submission bids for PC members
Language:Python4 1 02
boogie
Boogie
Language:Boogie0 0 00
FStar
An ML-like language aimed at program verification
Language:OCaml1 1 00
Ironclad
The MSR Ironclad project builds provably secure and reliable systems.
Language:C#00
rWasm
A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
Language:Rust0 0 00
Starspace
Learning embeddings for classification, retrieval and ranking.
Language:C++1 1 00
verita
A simple crater-inspired tool for Verus
Language:Rust00
z3
The Z3 Theorem Prover
Language:C++1 1 00

parno's Repositories

parno/autobid
Scripts to automatically generate submission bids for PC members
Language:Python4 1 02
parno/FStar
An ML-like language aimed at program verification
Language:OCaml1 1 00
parno/Starspace
Learning embeddings for classification, retrieval and ranking.
Language:C++1 1 00
parno/z3
The Z3 Theorem Prover
Language:C++1 1 00
parno/boogie
Boogie
Language:Boogie0 0 00
parno/Ironclad
The MSR Ironclad project builds provably secure and reliable systems.
Language:C#00
parno/rWasm
A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
Language:Rust0 0 00
parno/verita
A simple crater-inspired tool for Verus
Language:Rust00