Pinned Repositories
microbat-test
kvrocks
Apache Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.
Doubly-Linked-List-VST
The final project for CS2603 (2021 Spring): Verifying a doubly linked list library using VST
Doubly-Linked-List-VST
The final project for CS2603 (2021 Spring), aiming to verify a doubly linked list library using VST. Collaborating with @junqi-xie.
EE208-labs
ieee.icu
A website for courses of IEEE pilot class, SJTU.
kvrocks
Apache Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.
Technology-Frontiers
The final project for ICE2602 (2020 Fall), aiming to show frontiers in technology with news from MSN. Collaborating with @junqi-xie.
SepHash
ieee.icu
A website for courses of IEEE pilot class, SJTU | 上海交通大学 IEEE 试点班的课程信息
JxLi0921's Repositories
JxLi0921/Doubly-Linked-List-VST
The final project for CS2603 (2021 Spring), aiming to verify a doubly linked list library using VST. Collaborating with @junqi-xie.
JxLi0921/EE208-labs
JxLi0921/ieee.icu
A website for courses of IEEE pilot class, SJTU.
JxLi0921/kvrocks
Apache Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.
JxLi0921/Technology-Frontiers
The final project for ICE2602 (2020 Fall), aiming to show frontiers in technology with news from MSN. Collaborating with @junqi-xie.