jxlikar's repositories
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:CoqGPL-3.0000
Language:Jupyter NotebookMIT000
ieee.icu
A website for courses of IEEE pilot class, SJTU.
Language:PythonMIT000
kvrocks
Apache Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.
Language:C++Apache-2.0000
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 NotebookGPL-3.0000