Popular repositories Loading

1. ieee.icu ieee.icu Public

   Forked from sjtu-ieee/ieee.icu

   A website for courses of IEEE pilot class, SJTU.

   Python

2. EE208-labs EE208-labs Public archive

   Jupyter Notebook 1

3. Technology-Frontiers Technology-Frontiers Public

   The final project for ICE2602 (2020 Fall), aiming to show frontiers in technology with news from MSN. Collaborating with @junqi-xie.

   Jupyter Notebook

4. Doubly-Linked-List-VST Doubly-Linked-List-VST Public

   The final project for CS2603 (2021 Spring), aiming to verify a doubly linked list library using VST. Collaborating with @junqi-xie.

   Coq

5. kvrocks kvrocks Public

   Forked from apache/kvrocks

   Apache Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.

   C++