carolynzech

Pinned Repositories

course-proposals-site
Language:TypeScript2 1 01
paralegal
Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can signup for our official release at the link below
Language:Rust15 1 412
history-course-proposals-site
Language:TypeScript00
kani
Kani Rust Verifier
Language:Rust00
paralegal-compiler
Language:Rust0 1 01
rgb-cube
Language:C++0 1 00
senior-thesis
Language:TeX00
verify-rust-std
Verifying the Rust standard library
Language:Rust0 0 00
kani
Kani Rust Verifier
Language:Rust2.3k 24 1.7k95
verify-rust-std
Verifying the Rust standard library
Language:Rust150 4 2128

carolynzech's Repositories

carolynzech/history-course-proposals-site
Language:TypeScript00
carolynzech/kani
Kani Rust Verifier
Language:Rust00
carolynzech/paralegal-compiler
Language:Rust0 1 01
carolynzech/rgb-cube
Language:C++0 1 00
carolynzech/senior-thesis
Language:TeX00
carolynzech/verify-rust-std
Verifying the Rust standard library
Language:Rust0 0 00