Pinned Repositories
CodeLab-ToyLock
CSStipendRankings
https://csstipendrankings.org
dafny-sort
EECS-590-Project
GoOvid
Framework for composing distributed agents
paxos_proof
Specification and proof of the Paxos protocol in Dafny
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
TLAplus
Some TLA+ specs that I wrote
tonyzhangnd.github.io
My Personal Website
website-blocker
A python script to block websites for user productivity
TonyZhangND's Repositories
TonyZhangND/TLAplus
Some TLA+ specs that I wrote
TonyZhangND/website-blocker
A python script to block websites for user productivity
TonyZhangND/GoOvid
Framework for composing distributed agents
TonyZhangND/tonyzhangnd.github.io
My Personal Website
TonyZhangND/CodeLab-ToyLock
TonyZhangND/CSStipendRankings
https://csstipendrankings.org
TonyZhangND/dafny-sort
TonyZhangND/EECS-590-Project
TonyZhangND/EECS545Project
TonyZhangND/paxos_proof
Specification and proof of the Paxos protocol in Dafny
TonyZhangND/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
TonyZhangND/Emulab
TonyZhangND/epaxos
TonyZhangND/H20-Game
Water quality simulation game for NY State 4-H Program hosted at Cornell, Summer 2016, made with guidance from Professor Nate Foster
TonyZhangND/Ironclad
The MSR Ironclad project builds provably secure and reliable systems.
TonyZhangND/paxi
Paxos protocol framework
TonyZhangND/Performal2
TonyZhangND/Portfolio
TonyZhangND/systems_benchmark
TonyZhangND/toylock-verus
TonyZhangND/zkbug-1465