PhD student in Rust verification at ETH Zurich.
Haxe enthusiast, game developer, CTF player and author.
Pinned Loading
-
EmpireCTF/empirectf
EmpireCTF/empirectf PublicEmpireCTF – write-ups, capture the flag, cybersecurity
-
prusti-dev
prusti-dev PublicForked from viperproject/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.