5
Repos
154
Stars
47
Forks
154
Watchers
Repositories (5)
cheat-sheets
hengxin/cheat-sheets
TeX
Collection of cheat sheets for git, vim, shortcuts, linux commands, and so on.
90
29
tikz-pgfplots-projects
hengxin/tikz-pgfplots-projects
TeX
Projects using tikz and pgfplots.
43
7
awesome-distributed-computing
hengxin/awesome-distributed-computing
Awesome Resources on Distributed Computing and Distributed Systems
18
10
distributed-mobile-memo
hengxin/distributed-mobile-memo
Java
Distributed shared memory targeted at Android mobile phones.
2
1
tla-deep-into-code
hengxin/tla-deep-into-code
Applying TLA+/TLC/TLAPS to Source Code
1
0