Popular repositories

1. SAT-Controlled-RAR SAT-Controlled-RAR Public

   2021-Fall Special Project with Prof. Ric, Huang

   C++ 1

2. dl-math-solver dl-math-solver Public

   baseline 2 for math algebra problem siolving

   Jupyter Notebook

3. LSV-PA LSV-PA Public

   Forked from NTU-ALComLab/LSV-PA

   Logic Synthesis and Verification: Programming Assignments

   C

4. Bloxorz_SAT Bloxorz_SAT Public

   Senior project in fall, 2021, with prof. Ric

   C++

5. Fault_tolerance_computing Fault_tolerance_computing Public

   Final project of GIEE fault-tolerance-computing, 2022 Fall

6. yolov7 yolov7 Public

   Forked from WongKinYiu/yolov7

   Implementation of paper - YOLOv7: Trainable bag-of-freebies sets new state-of-the-art for real-time object detectors

   Jupyter Notebook