DistributedComponents / verdi-chord

An implementation of the Chord lookup protocol verified in Coq using the Verdi framework

DistributedComponents/verdi-chord Stargazers

Abhishek Anand
aa755
Shohei Yasutake
amutake
Arto Bendiken
artob
gapry
Germán Delbianco
germanD
Conrad Steenberg
hengestone
Philip Zucker
philzook58
Shuai Mu
shuaimu
timothy
timothyklim
Zachary Tatlock
ztatlock

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.