Jack1106012623

Pinned Repositories

compilers-problem-set
Problem Set for Course Compilers@software.nju.edu
Language:TeX35 5 22
awesome-dbs
Database Systems
Language:Python7 4 11
MongoDB-Raft
Research on MonfoDB-Raft
0 1 00
SI-refs
References to SI variants
00
tlacc
A TLA+ model checker based TLC to check lossy synchronous execution
Language:Java00
tlacc_exp
TLACC case study
Language:TLA0 1 00

Jack1106012623's Repositories

Jack1106012623/MongoDB-Raft
Research on MonfoDB-Raft
0 1 00
Jack1106012623/SI-refs
References to SI variants
00
Jack1106012623/tlacc
A TLA+ model checker based TLC to check lossy synchronous execution
Language:Java00
Jack1106012623/tlacc_exp
TLACC case study
Language:TLA0 1 00