parno

Carnegie Mellon University

Pinned Repositories

autobid
Scripts to automatically generate submission bids for PC members
Language:Python4 1 02
boogie
Boogie
Language:Boogie0 0 00
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Language:Python0 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#0 1 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:Rust0 1 00
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/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Language:Python0 0 00
parno/Ironclad
The MSR Ironclad project builds provably secure and reliable systems.
Language:C#0 1 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:Rust0 1 00
parno/website
Sources for my homepage