ZhangZihao270's repositories
DaSE_DBMS_Implemention
华东师范大学数据科学与工程学院(DaSE)本科生数据库系统实现事务处理部分实验课
bustub
The BusTub Relational Database Management System (Educational)
Language:C++MIT000
000
Ironclad-for-AutoMan
The MSR Ironclad project builds provably secure and reliable systems.
Language:DafnyNOASSERTION000
LIL
Lightweight Interactive Lock
Language:C++000
tapir
TAPIR distributed transactional storage system
Language:JavaMIT000
Language:CSS000