-
-
Artifact for the "smt-transactional-consistency" project
C++ MIT License UpdatedAug 31, 2025 -
hengxin.github.io Public
My homepage hosted by [jemdoc](jemdoc.jaboc.net).
-
IsoVista Public
Platform for Database Testing
-
tikz-pgfplots-projects Public
Projects using tikz and pgfplots.
-
cheat-sheets Public
Collection of cheat sheets for git, vim, shortcuts, linux commands, and so on.
-
-
ConsistencyChecking Public
PRAM consistency checking in the context of distributed shared memory systems
-
ccf-deadlines Public
Forked from ccfddl/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~
-
-
-
-
-
sat-smt-satisfying Public
SAT and SMT
-
-
game-of-life-chatgpt Public
Implement "Game of Life" with the help of ChatGPT
Python UpdatedJul 2, 2023 -
-
-
vis-ar-formalization Public
Formalization of the (VIS, AR) Specification Framework for Both Transactional and Non-Transactional Consistency Models
-
gallery Public
Collecting logos, quote figs, fun pictures, and so on
-
-
TIME: Things Interested Me Ever
UpdatedMar 2, 2023 -
lwt-tla Public
TLA+ Specification of LWT (Lightweight Transactions) in Cassandra, ScyllaDB, and CASPaxos
-
tla2tex Public
TLA+ Code to TeX Code using tla2tools.jar
-
mongodb-tcc Public
Design and Implemention of TCC (Transactional Causal Consistency) in MongoDB
-
-
jepsen-in-python Public
Jepsen (https://jepsen.io/; https://github.com/jepsen-io/jepsen) in Python
-
-
pluscal-compiler-in-antlr4 Public
A Compiler for PlusCal in ANTLR4
Java MIT License UpdatedMay 24, 2022 -
jepsen-in-java Public
Jepsen (https://jepsen.io/; https://github.com/jepsen-io/jepsen) in Java
{{ message }}