Pinned Repositories
GoOvid
Framework for composing distributed agents
website-blocker
A python script to block websites for user productivity
CodeLab-ToyLock
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
CSStipendRankings
https://csstipendrankings.org
TLAplus
Some TLA+ specs that I wrote
tonyzhangnd.github.io
My Personal Website
dafny-sort
EECS-590-Project
TonyZhangND's Repositories
TonyZhangND/tonyzhangnd.github.io
My Personal Website
TonyZhangND/Ironclad
The MSR Ironclad project builds provably secure and reliable systems.
TonyZhangND/paxi
Paxos protocol framework
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/CSStipendRankings
https://csstipendrankings.org
TonyZhangND/toylock-verus
TonyZhangND/paxos_proof
Specification and proof of the Paxos protocol in Dafny
TonyZhangND/epaxos
TonyZhangND/Performal2
TonyZhangND/zkbug-1465
TonyZhangND/systems_benchmark
TonyZhangND/EECS-590-Project
TonyZhangND/dafny-sort
TonyZhangND/website-blocker
A python script to block websites for user productivity
TonyZhangND/CodeLab-ToyLock
TonyZhangND/EECS545Project
TonyZhangND/GoOvid
Framework for composing distributed agents
TonyZhangND/Portfolio
TonyZhangND/Emulab
TonyZhangND/TLAplus
Some TLA+ specs that I wrote
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