Tsunaou

CSer@Nangjing University

Nangjing

Pinned Repositories

CalabashBoys-WarGames
Final project for course Java Programming about war-games of calabash boys and monsters.
Language:Java1 1 00
Checking-Causal-Consistency-of-MongoDB
Checking Causal Consistency of MongoDB
Language:Java2 2 00
dbcdc-runner
用于运行基于 CDC 的 Jepsen 测试的执行框架
Language:Python1 1 00
GraphicsYoung
A Qt program aims to be a painter which is the project of Graphics Course of Nanjing University
Language:HTML16 1 04
mongodb
Checking Causal and Transactional Consistency of MongoDB
Language:Jupyter Notebook8 1 10
Network
Network Lab of Networking in Nanjing University
Language:C1 1 01
NJU-DisSys-2020
NJU-DisSys-2020
Language:Go9 2 04
pa2017
This project is the programming assignment of the class ICS(Introduction to Computer System) in Department of Computer Science and Technology, NanJing University.
Language:C2 1 00
Student-Management-System-Qt
Student Management System for Course Advanced C++ Programming use Qt 5.11.2
Language:C++1 1 00
YugabyteDB-Docker-Compose
Dockerfile and docker-compose.yaml for deploying a three-node yugabyte cluster with high available
Language:Dockerfile2 1 01

Tsunaou's Repositories

Tsunaou/mongodb
Checking Causal and Transactional Consistency of MongoDB
Language:Jupyter Notebook8 1 10
Tsunaou/YugabyteDB-Docker-Compose
Dockerfile and docker-compose.yaml for deploying a three-node yugabyte cluster with high available
Language:Dockerfile2 1 01
Tsunaou/dbcdc-runner
用于运行基于 CDC 的 Jepsen 测试的执行框架
Language:Python1 1 00
Tsunaou/Tsunaou.github.io
Github pages
Language:HTML1 1 00
Tsunaou/3TS
腾讯事务处理技术验证系统（Tencent Transaction Processing Testbed System）
Language:C++0 0 00
Tsunaou/Causal-Memory-Checking-Java
NJU-Bachelor Project about Causal-Memory-Checking in Java
Language:Java0 4 00
Tsunaou/wiredtiger-txn
Jepsen testing for transactional isolation of wiredtiger
Language:Clojure0 2 00
Tsunaou/cmake-tutorial-source
cmake-3.25.1-tutorial-source
Language:CMake1 0
Tsunaou/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Language:TLA1 0
Tsunaou/dbcop
Language:Rust0 0
Tsunaou/docs-cn
TiDB/TiKV/PD documentation in Chinese.
Language:Shell0 0
Tsunaou/elle
Black-box transactional safety checker based on cycle detection
Language:Isabelle0 0
Tsunaou/Event-Structure-Enumerator
Implementation for the partial order part of paper [A Verified Algorithm Enumerating Event Structures](https://arxiv.org/pdf/1705.07228.pdf)
Language:Python2 0
Tsunaou/Git-Example-Remote
A repository for teaching GitHub
Language:HTML2 0
Tsunaou/jepsen
A framework for distributed systems verification, with fault injection
Language:Clojure1 0
Tsunaou/mariadb_data_generation
Language:Python0 0
Tsunaou/MongoDB-SI-Checker
A checker for snapshot isolation of MongoDB
Language:Java2 0
Tsunaou/oceanbase
OceanBase is an enterprise distributed relational database with high availability, high performance, horizontal scalability, and compatibility with SQL standards.
Language:C++0 01
Tsunaou/openai-scf-proxy
使用腾讯云函数一分钟搭建 OpenAI 免翻墙代理
Language:JavaScript0 0
Tsunaou/PolySI
Language:Java0 0
Tsunaou/rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
Language:C++0 0
Tsunaou/scalar-jepsen
Tests of Cassandra and Scalar DLT with Jepsen
Language:Clojure0 0
Tsunaou/tidb
TiDB is an open-source, cloud-native, distributed, MySQL-Compatible database for elastic scale and real-time analytics. Try free: https://tidbcloud.com/free-trial
Language:Go0 0
Tsunaou/tiflow
This repo maintains DM (a data migration platform) and TiCDC (change data capture for TiDB)
Language:Go0 0
Tsunaou/tikv
Distributed transactional key-value database, originally created to complement TiDB
Language:Rust0 0
Tsunaou/TinyWebServer
:fire: Linux下C++轻量级Web服务器学习
Language:C++0 0
Tsunaou/Tsunaou
Config files for my GitHub profile.
1 0
Tsunaou/vldb-2021-labs
Labs on distributed transaction
Language:Go1 0
Tsunaou/WebServer
A TinyWebServer implemented inC++11.
Language:C++0 0
Tsunaou/wiredtiger
WiredTiger's source tree
Language:C1 0