hengxin
I am currently a Research Assistant at Software Institute at Nanjing University, China.
Nanjing University (南京大学) Nanjing University
Pinned Repositories
compilers-lectures
Lectures for the class on Compilers@software.nju.edu.cn
discrete-math-lectures
Lectures on Discrete Mathematics @ software.nju.edu.cn
discrete-math-problem-sets
Problem Sets for Discrete Mathematics @ software.nju.edu.cn
discrete-math-resources
Resources about Discrete Mathematics @ software.nju.edu.cn
awesome-distributed-computing
Awesome Resources on Distributed Computing and Distributed Systems
cheat-sheets
Collection of cheat sheets for git, vim, shortcuts, linux commands, and so on.
tikz-pgfplots-projects
Projects using tikz and pgfplots.
tlaplus-at-nju-disalg
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
tlaps-examples
Examples for TLAPS (TLA+ Proof System)
hengxin's Repositories
hengxin/cheat-sheets
Collection of cheat sheets for git, vim, shortcuts, linux commands, and so on.
hengxin/tikz-pgfplots-projects
Projects using tikz and pgfplots.
hengxin/tla2tex
TLA+ Code to TeX Code using tla2tools.jar
hengxin/awesome-dbs
Database Systems
hengxin/IsoVista
Platform for Database Testing
hengxin/sat-smt-satisfying
SAT and SMT
hengxin/ConsistencyChecking
PRAM consistency checking in the context of distributed shared memory systems
hengxin/hengxin.github.io
My homepage hosted by [jemdoc](jemdoc.jaboc.net).
hengxin/jepsen-in-python
Jepsen (https://jepsen.io/; https://github.com/jepsen-io/jepsen) in Python
hengxin/PolySI-PVLDB2023-Artifacts
PolySI-PVLDB2023-Artifacts
hengxin/aliyun-projects
Projects on aliyun.
hengxin/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~
hengxin/compilers-visualization-lr
Visualizing Compilers (LR)
hengxin/dist-ai
On Dist-AI Project
hengxin/gallery
Collecting logos, quote figs, fun pictures, and so on
hengxin/mongodb-tcc
Design and Implemention of TCC (Transactional Causal Consistency) in MongoDB
hengxin/vis-ar-formalization
Formalization of the (VIS, AR) Specification Framework for Both Transactional and Non-Transactional Consistency Models
hengxin/IC3OnTLA
Applying the IC3 Algorithm to TLA+
hengxin/cc-survey
Survey on CC and TCC: Specifications and Systems
hengxin/compilers-visualization-ll
Visualizing Compilers
hengxin/frama-c-clrs
Frama-C Code for Algorithms in CLRS
hengxin/game-of-life-chatgpt
Implement "Game of Life" with the help of ChatGPT
hengxin/hfwei-group-management
Task, Time, Project Management
hengxin/learning-ml
Learning ML
hengxin/lwt-tla
TLA+ Specification of LWT (Lightweight Transactions) in Cassandra, ScyllaDB, and CASPaxos
hengxin/mma
Mathematica (mma) projects
hengxin/pluscal-compiler-in-antlr4
A Compiler for PlusCal in ANTLR4
hengxin/smt-transactional-consistency-artifact
Artifact for the "smt-transactional-consistency" project
hengxin/TIME-Things-Interested-Me-Ever
TIME: Things Interested Me Ever
hengxin/timekiller-artifact
Artifact for TimeKiller