hengxin

Collection of cheat sheets for git, vim, shortcuts, linux commands, and so on.

Projects using tikz and pgfplots.

Awesome Resources on Distributed Computing and Distributed Systems

Distributed shared memory targeted at Android mobile phones.

Applying TLA+/TLC/TLAPS to Source Code