I recently completed my MSc in Computer Science at UBC
plat-smt. Toy `QF_UF` SMT solver written in Rust
creusot-experiments. Rust
erased_brand. Rust
SpaceShooter. A space shooter game I made in grade 10
Platformer. A platformer game I made in grade 11
plat-egg. egg is a flexible, high-performance e-graph library
