Young's Projects
腾讯事务处理技术验证系统(Tencent Transaction Processing Testbed System)
Alluxio, formerly Tachyon, Unify Data at Memory Speed
Final project for course Java Programming about war-games of calabash boys and monsters.
NJU-Bachelor Project about Causal-Memory-Checking in Java
Collection of cheat sheets for git, vim, shortcuts, linux commands, and so on.
Checking Causal Consistency of MongoDB
cmake-3.25.1-tutorial-source
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Introduction of Data-Mining-2019
用于运行基于 CDC 的 Jepsen 测试的执行框架
Digital Image Processing For NJU Courses
TiDB/TiKV/PD documentation in Chinese.
A spider and processer for images
a vue-cli 2.0 project for the website of eduChange which is a voluntary organization in Jinjiang
Black-box transactional safety checker based on cycle detection
Emoji-Predictor
Implementation for the partial order part of paper [A Verified Algorithm Enumerating Event Structures](https://arxiv.org/pdf/1705.07228.pdf)
A collection of TLA+ specifications of varying complexities
A repository for teaching GitHub
Try and Learn
A Qt program aims to be a painter which is the project of Graphics Course of Nanjing University
A framework for distributed systems verification, with fault injection
Provides examples and code snippets for the JGit Java Git implementation
jmtrace是一款通过程序插桩方式hack Java程序从而允许用户打印对共享内存访问信息的工具
Try and Learn
Learning the Racket Programming Language