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