Zhongye Wang's repositories
Numeric-Summon-Circle
The repository for Ludum Dare 55. Project Numeric Summon Circle.
RootsUp
A game demo for tilemap editing.
SJTUMasterThesis
上海交通大学硕士学位论文
BetterSideBar
Stacklands mod for a better side bar.
coqoutline
A VSCode extension that implements outline view and go to definition for Coq files.
vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]
SJTU-CS7302-PL
This is a coq repository implementing the slides of CS7302 PL.
SigplanCrawler
For crawling papers from sigplan conferences.
Iris-ControlFlow
The repository for the project Iris with ControlFlow.
LNCS
Improved Lecture Notes in Computer Science (LNCS) template
MyCodeForces
The repository for my solutions to code forces contests.
ieee.icu
A website for courses of IEEE pilot class, SJTU.
MyAwesome-CV
My CV mirrored from Awesome-CV.
COOL-Compiler
The programming assignments from Stanford CS143 to implement a compiler for COOL (Classroom Object Oriented Language).
CS057-OpenGL-Projects
Repository for course projects of CS057 OpenGL.
CS222-Algorithm-Project
Repository for the course project of CS222 Algorithm.
Awesome-CV
:page_facing_up: Awesome CV is LaTeX template for your outstanding job application
EI338-OS-Projects
Repository for course projects of EI338 Computer System. I appreciate it if you do not BAIPIAO.
caffe
Caffe: a fast open framework for deep learning.
CS222-Algorithm-Code
This is the code repository for the homework and exam
prednet
Code and models accompanying "Deep Predictive Coding Networks for Video Prediction and Unsupervised Learning"
SJTU-Courses
上海交通大学课程资料分享
PLProject-AsymptoticComplexity
The project for CS263 Programming Language course (http://jhc.sjtu.edu.cn/public/courses/CS263/).
deep_sort
Simple Online Realtime Tracking with a Deep Association Metric
intro-to-dl
Resources for "Introduction to Deep Learning" course.