carolynzech

Pinned Repositories

battleship
curiosity modeling project for cs1710
Language:GLSL00
history-course-proposals-site
Language:TypeScript0 0 00
kani
Kani Rust Verifier
Language:Rust0 0 00
lfs-weensyos
Logic for Systems Final Project - a model of cs300's WeensyOS
Language:GLSL00
paralegal-compiler
Language:Rust0 1 01
rgb-cube
Language:C++0 1 00
senior-thesis
Language:TeX0 1 00
verify-rust-std
Verifying the Rust standard library
Language:Rust0 0 00
kani
Kani Rust Verifier
Language:Rust2.3k 23 1.7k99
verify-rust-std
Verifying the Rust standard library
Language:Rust199 7 2441

carolynzech's Repositories

carolynzech/battleship
curiosity modeling project for cs1710
Language:GLSL00
carolynzech/history-course-proposals-site
Language:TypeScript0 0 00
carolynzech/kani
Kani Rust Verifier
Language:Rust0 0 00
carolynzech/lfs-weensyos
Logic for Systems Final Project - a model of cs300's WeensyOS
Language:GLSL00
carolynzech/paralegal-compiler
Language:Rust0 1 01
carolynzech/rgb-cube
Language:C++0 1 00
carolynzech/senior-thesis
Language:TeX0 1 00
carolynzech/verify-rust-std
Verifying the Rust standard library
Language:Rust0 0 00