Hengfeng Wei

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

tikz-pgfplots-projects. Projects using tikz and pgfplots.

awesome-distributed-computing. Awesome Resources on Distributed Computing and Distributed Systems

tlaps-examples. Examples for TLAPS (TLA+ Proof System)

tlaplus-hfwei. Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).

tla2tex. TLA+ Code to TeX Code using tla2tools.jar

awesome-dbs. Database Systems

latex-templates. LaTeX templates.

sat-smt-satisfying. SAT and SMT

tla-causal-consistency. TLA+ Specification of Variants of Causal Consistency

hengxin.github.io. My homepage hosted by [jemdoc](jemdoc.jaboc.net).

IsoVista. Platform for Database Testing

ConsistencyChecking. PRAM consistency checking in the context of distributed shared memory systems

jepsen-in-python. Jepsen (https://jepsen.io/; https://github.com/jepsen-io/jepsen) in Python

PolySI-PVLDB2023-Artifacts. PolySI-PVLDB2023-Artifacts

fspl. fspl: Formal Semantics of Programming Languages

algorithm-lectures. Lectures for the Algorithm Course

jepsen-in-java. Jepsen (https://jepsen.io/; https://github.com/jepsen-io/jepsen) in Java

algorithms-pseudocode. Collection of Algorithm Pseudocode

tlaplus-pluscal-utils. Utilities for TLA+ and PlusCal

distributed-mobile-memo. Distributed shared memory targeted at Android mobile phones.

cure-kvstore-tla. TLA+ Spec for the Cure Key-Value Store

hyperbook-tla-cn. Chinese translation of hyperbook by Leslie Lamport on TLA+

hengxin. A special repository

TLA-Atomic-Multicast. TLA+ Specification of the White-Box Atomic Multicast Protocol Proposed by Gotsman et al. (DSN2019)

vis-ar-formalization. Formalization of the (VIS, AR) Specification Framework for Both Transactional and Non-Transactional Consistency Models

lwt-tla. TLA+ Specification of LWT (Lightweight Transactions) in Cassandra, ScyllaDB, and CASPaxos

learning-cmake. Learning CMake/Makefile

ccf-deadlines. ⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~

tlaplus-compiler-in-antlr4. A Compiler for TLA+ in ANTLR4

dist-ai. On Dist-AI Project

compilers-visualization-lr. Visualizing Compilers (LR)

mongodb-tcc. Design and Implemention of TCC (Transactional Causal Consistency) in MongoDB

config-my-ubuntu. configurations of my ubuntu system