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:Rust01
rgb-cube
Language:C++00
senior-thesis
Language:TeX00
verify-rust-std
Verifying the Rust standard library
Language:Rust00
kani
Kani Rust Verifier
Language:Rust2.2k 22 1.7k89
verify-rust-std
Verifying the Rust standard library
Language:Rust1817

carolynzech's Repositories

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