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/uncrustify-google
Uncrustify configs for google code styles
shuaimu/cider-ide
Automatically exported from code.google.com/p/cider-ide
shuaimu/commuter
Automated multicore scalability testing tool
shuaimu/libelfin
C++11 ELF/DWARF parser
shuaimu/linux-mtrace
Linux kernel source tree
shuaimu/mtrace
Memory access tracing QEMU
shuaimu/PaperCavy
My Academic Papers Management Scripts
shuaimu/quickcite
The lazy academic's friend. Automatically find references and update BibTeX entries.
shuaimu/simple-rpc
Simple RPC in C++
shuaimu/solarized
Solarized Gnome Terminal colors, based on http://ethanschoonover.com/solarized
shuaimu/sv6
POSIX-like scalable multicore research OS kernel
shuaimu/z3
The Z3 Theorem Prover