3ts

腾讯事务处理技术验证系统（Tencent Transaction Processing Testbed System）

alluxio

Alluxio, formerly Tachyon, Unify Data at Memory Speed

calabashboys-wargames

Final project for course Java Programming about war-games of calabash boys and monsters.

causal-memory-checking-java

NJU-Bachelor Project about Causal-Memory-Checking in Java

cheat-sheets

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

checking-causal-consistency-of-mongodb

Checking Causal Consistency of MongoDB

cmake-tutorial-source

cmake-3.25.1-tutorial-source

communitymodules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

data-mining-2019

Introduction of Data-Mining-2019

dbcdc-runner

用于运行基于 CDC 的 Jepsen 测试的执行框架

dbcop

digital-image-processing

Digital Image Processing For NJU Courses

docs-cn

TiDB/TiKV/PD documentation in Chinese.

ds_imgspider

A spider and processer for images

educhange

a vue-cli 2.0 project for the website of eduChange which is a voluntary organization in Jinjiang

elle

Black-box transactional safety checker based on cycle detection

emoji-predictor

Emoji-Predictor

event-structure-enumerator

Implementation for the partial order part of paper [A Verified Algorithm Enumerating Event Structures](https://arxiv.org/pdf/1705.07228.pdf)

examples

A collection of TLA+ specifications of varying complexities

git-example-remote

A repository for teaching GitHub

gitskills

Try and Learn

graphicsyoung

A Qt program aims to be a painter which is the project of Graphics Course of Nanjing University

java-2018f

java-2018f-homework

jepsen

A framework for distributed systems verification, with fault injection

jgit-cookbook

Provides examples and code snippets for the JGit Java Git implementation

jmtrace

jmtrace是一款通过程序插桩方式hack Java程序从而允许用户打印对共享内存访问信息的工具

learngit

Try and Learn

learning-racket-lang

Learning the Racket Programming Language

mariadb_data_generation