Tony Zhang's repositories
website-blocker
A python script to block websites for user productivity
tonyzhangnd.github.io
My Personal Website
Language:C#000
CSStipendRankings
https://csstipendrankings.org
Language:HTMLNOASSERTION000
000
Language:Jupyter Notebook000
paxos_proof
Specification and proof of the Paxos protocol in Dafny
Language:Dafny000
sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Language:RustApache-2.0000
Language:Python000
NOASSERTION000
H20-Game
Water quality simulation game for NY State 4-H Program hosted at Cornell, Summer 2016, made with guidance from Professor Nate Foster
Language:Processing000
Ironclad
The MSR Ironclad project builds provably secure and reliable systems.
Language:DafnyNOASSERTION000
paxi
Paxos protocol framework
MIT000
Language:OCaml000
Language:Python000
Language:Python000
Language:Rust000
Language:Java000