JxLi0921

Master Student @ SJTU, noob.

Shanghai Jiao Tong UniversityShanghai

Pinned Repositories

microbat-test
Language:Java05
kvrocks
Apache Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.
Language:C++3.5k 75 794447
Doubly-Linked-List-VST
The final project for CS2603 (2021 Spring): Verifying a doubly linked list library using VST
Language:Coq3 0 140
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.
Language:Coq00
EE208-labs
Language:Jupyter Notebook01
ieee.icu
A website for courses of IEEE pilot class, SJTU.
Language:Python00
kvrocks
Apache Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.
Language:C++00
Technology-Frontiers
The final project for ICE2602 (2020 Fall), aiming to show frontiers in technology with news from MSN. Collaborating with @junqi-xie.
Language:Jupyter Notebook00
SepHash
Language:C++5 1 02
ieee.icu
A website for courses of IEEE pilot class, SJTU | 上海交通大学 IEEE 试点班的课程信息
Language:Python91 3 18518

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.
Language:Coq00
JxLi0921/EE208-labs
Language:Jupyter Notebook01
JxLi0921/ieee.icu
A website for courses of IEEE pilot class, SJTU.
Language:Python00
JxLi0921/kvrocks
Apache Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.
Language:C++00
JxLi0921/Technology-Frontiers
The final project for ICE2602 (2020 Fall), aiming to show frontiers in technology with news from MSN. Collaborating with @junqi-xie.
Language:Jupyter Notebook00