Hongjie (Tony) Fang's repositories
CS241-CourseData
The CS241 Course of Shanghai Jiao Tong University
Logical-Foundations
<Logical Foundations> personal study record.
MS125-RISCV-simulator
PPCA Projects: RISCV
formalized-DFS-proof
The formalized DFS (Depth First Search) proof in Coq (with the help of Graph libraries)
MS125-chatroom-server
PPCA Project: ChatRoom Server
Algorithms-of-Strings
Algorithms of Strings, implemented in C++, mainly for OIers and ACMers.
CS158-Project-BTree
CS158 Project BTree
CS158-Project-Deque
CS158 Project Deque
CS499-CourseData
The Course Data of CS499 course of SJTU.
MS125-chatroom-client
PPCA Project: ChatRoom Client
VST-Tutorial
VST Tutorial
AlphaPose
Real-Time and Accurate Multi-Person Pose Estimation&Tracking System
CS214-Project
The project of CS214: Alogrithm and Complexity in SJTU
formalized-Euclid-algorithm-proof
The formalized proof of the Euclid algorithm in Coq, including the proof of time complexity.
MA263-gaussian-mixture-distribution
The Project of MA263 of Shanghai Jiao Tong University: The discussion of Gaussian Mixture Distribution
MCM2020
MCM2020 team 2003684 (will be public after the result)
PH071-discussion
The discussion files of course PH071: University Physics
SJTU-RM2019
SJTU RoboMaster 2019 Competition Source Code