Pinned Repositories
janus
ds19spring
CSE535 Asynchronous (Distributed) Systems 2019 Spring
homepage
my homepage: http://mpaxos.com
NYU-CSCI-UA.0201
paper_skel
enhanced paper skeleton
refcell-cpp
rococo
rrr
uncrustify-google
Uncrustify configs for google code styles
dslabs-cpp
shuaimu's Repositories
shuaimu/refcell-cpp
shuaimu/rococo
shuaimu/ds19spring
CSE535 Asynchronous (Distributed) Systems 2019 Spring
shuaimu/paper_skel
enhanced paper skeleton
shuaimu/homepage
my homepage: http://mpaxos.com
shuaimu/rrr
shuaimu/NYU-CSCI-UA.0201
shuaimu/cloudfuse
Filesystem (fuse) implemented on Mosso's Cloud Files
shuaimu/CloudFusion
Linux file system (FUSE) to access Dropbox, Sugarsync, Amazon S3, Google Storage, Google Drive or WebDAV servers.
shuaimu/coq-tricks
Tricks you wish the Coq manual told you
shuaimu/csbib
elegant bibliography for computer science
shuaimu/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
shuaimu/disel
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations.
shuaimu/DrTLAPlus
Dr. TLA+ series
shuaimu/ds19spring-labs
shuaimu/gdrive
Google Drive CLI Client
shuaimu/google-drive-ocamlfuse
FUSE filesystem over Google Drive
shuaimu/goolong
shuaimu/Ironclad
The MSR Ironclad project builds provably secure and reliable systems.
shuaimu/jplag
JPlag - Detecting Software Plagiarism
shuaimu/mcqc
A Gallina compiler with C++17 as an intermediate representation
shuaimu/nodejs-pool
shuaimu/oeuf
gallina frontend for CompCert
shuaimu/on-epaxos-correctness
On the correctness of Egalitarian Paxos
shuaimu/redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes
shuaimu/seastar
High performance server-side application framework
shuaimu/skicka
Command-line utility for working with Google Drive. Join the mailing list at https://groups.google.com/forum/#!forum/skicka-users.
shuaimu/software-foundations
Mirror of “Software Foundations”, by Benjamin Pierce et al.
shuaimu/verdi
A framework for formally verifying distributed systems implementations in Coq
shuaimu/verdi-chord
An implementation of the Chord lookup protocol verified in Coq using the Verdi framework