Shuai Mu's repositories
ds19spring
CSE535 Asynchronous (Distributed) Systems 2019 Spring
paper_skel
enhanced paper skeleton
CloudFusion
Linux file system (FUSE) to access Dropbox, Sugarsync, Amazon S3, Google Storage, Google Drive or WebDAV servers.
coq-tricks
Tricks you wish the Coq manual told you
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
google-drive-ocamlfuse
FUSE filesystem over Google Drive
on-epaxos-correctness
On the correctness of Egalitarian Paxos
software-foundations
Mirror of “Software Foundations”, by Benjamin Pierce et al.
verdi-chord
An implementation of the Chord lookup protocol verified in Coq using the Verdi framework