Projects in Awesome Lists by BruceZoom
A curated list of projects in awesome lists by BruceZoom .
https://github.com/brucezoom/ei338-os-projects
Repository for course projects of EI338 Computer System. I appreciate it if you do not BAIPIAO.
coursework linux operating-system
Last synced: 10 Apr 2025
https://github.com/brucezoom/coqoutline
A VSCode extension that implements outline view and go to definition for Coq files.
coq editor vscode vscode-extension
Last synced: 12 Aug 2025
https://github.com/brucezoom/cs222-algorithm-project
Repository for the course project of CS222 Algorithm.
Last synced: 28 Mar 2025
https://github.com/brucezoom/plproject-asymptoticcomplexity
The project for CS263 Programming Language course (http://jhc.sjtu.edu.cn/public/courses/CS263/).
Last synced: 18 Jul 2025
https://github.com/brucezoom/cs222-algorithm-code
This is the code repository for the homework and exam
Last synced: 28 Mar 2025
https://github.com/brucezoom/sigplancrawler
For crawling papers from sigplan conferences.
Last synced: 28 Mar 2025
https://github.com/brucezoom/mycodeforces
The repository for my solutions to code forces contests.
Last synced: 15 Jun 2025
https://github.com/brucezoom/iris-controlflow
The repository for the project Iris with ControlFlow.
Last synced: 28 Mar 2025
https://github.com/brucezoom/sjtu-cs7302-pl
This is a coq repository implementing the slides of CS7302 PL.
Last synced: 10 Feb 2026
https://github.com/brucezoom/bettersidebar
Stacklands mod for a better side bar.
Last synced: 28 Mar 2025
https://github.com/brucezoom/numeric-summon-circle
The repository for Ludum Dare 55. Project Numeric Summon Circle.
Last synced: 02 Aug 2025
https://github.com/brucezoom/cool-compiler
The programming assignments from Stanford CS143 to implement a compiler for COOL (Classroom Object Oriented Language).
Last synced: 28 Mar 2025
https://github.com/brucezoom/cs057-opengl-projects
Repository for course projects of CS057 OpenGL.
Last synced: 28 Mar 2025