zhangysh1995
I'm a programmer and a Chinese Opera fan (戏迷). I'm looking for possible positions in Japan or remotely. If you're recruiting please feel free to drop an email
TencentShenzhen, China
Pinned Repositories
go-randgen
a QA tool to random generate sql by bnf pattern
gensql
Python package to generate random simple ddls and queries with a brute-force approach
awesome-database-testing
数据库测试资料 This repo is a collection of resources on testing database systems
Easy_Latex
An add-on for testing out your Latex equations in Google Docs.
ebookSearch
查找正版电子书网站上的书籍信息
java-skeleton
Java Skeleton Code for 6.035
plse-deadlines
PL/SE conference deadline countdowns
stm32balance
A stm32 program to weight, show and communicate 电子秤、界面和蓝牙
tichi-chingwei
Chingwei, a bug reproduction CI robot developed for the TiDB 2020 Hackathon. Ranked 15/45.
zhangysh1995's Repositories
zhangysh1995/awesome-database-testing
数据库测试资料 This repo is a collection of resources on testing database systems
zhangysh1995/ebookSearch
查找正版电子书网站上的书籍信息
zhangysh1995/Easy_Latex
An add-on for testing out your Latex equations in Google Docs.
zhangysh1995/jepsen
Jepsen tests explained, see comments in `./jepsen/src/jepsen/tests/*.clj`
zhangysh1995/jepsen-tests-explain
Explain every embedded tests in Jepsen framework
zhangysh1995/learning_jepsen
material collection for learning Jepsen
zhangysh1995/plse-deadlines
PL/SE conference deadline countdowns
zhangysh1995/tichi-chingwei
Chingwei, a bug reproduction CI robot developed for the TiDB 2020 Hackathon. Ranked 15/45.
zhangysh1995/6.824_2020_sol_notes
http://nil.csail.mit.edu/6.824/2020/schedule.html
zhangysh1995/awesome-linguistics
List of materials on linguistics (natural language)
zhangysh1995/civil
course project code
zhangysh1995/CobraHome
zhangysh1995/CobraVerifier
zhangysh1995/Cosette
Cosette is an automated SQL solver.
zhangysh1995/cpp-systematic-testing
A library for testing concurrent C++ code and deterministically reproducing bugs.
zhangysh1995/go-randgen
a QA tool to random generate sql by bnf pattern
zhangysh1995/impomysql
Detecting Logic Bugs in MySQL through Implication Oracle
zhangysh1995/jecci
Jepsen and Elle based Consistency Checking Interface
zhangysh1995/join-order-benchmark
Join Order Benchmark (JOB)
zhangysh1995/notes
开发笔记
zhangysh1995/perl_call_graph
Produce subroutine call graphs (Static code analysis) for your perl scripts using GraphViz
zhangysh1995/spes
zhangysh1995/sqlancer
Detecting Logic Bugs in DBMS
zhangysh1995/sqlite-web
Web-based SQLite database browser written in Python
zhangysh1995/tidb
TiDB is an open source distributed HTAP database compatible with the MySQL protocol
zhangysh1995/tidb-bench
A Simple Benchmark For TiDB
zhangysh1995/tinysql
A course to build the SQL layer of a distributed database.
zhangysh1995/tipocket
A toolkit for testing TiDB
zhangysh1995/zhangysh1995
zhangysh1995/zhangysh1995.github.io
My Personal Blog on Github