Beast code in Giters

Zhongye Wang's repositories

EECourse-Poem-Project

Language:Python18 20

EI338-OS-Projects

Repository for course projects of EI338 Computer System. I appreciate it if you do not BAIPIAO.

Language:C++12 20

coqoutline

A VSCode extension that implements outline view and go to definition for Coq files.

Language:TypeScriptMIT9 10

CS222-Algorithm-Project

Repository for the course project of CS222 Algorithm.

Language:Jupyter Notebook3 2 4

PLProject-AsymptoticComplexity

The project for CS263 Programming Language course (http://jhc.sjtu.edu.cn/public/courses/CS263/).

Language:Coq3 10

CS222-Algorithm-Code

This is the code repository for the homework and exam

Language:C++2 20

EI339-ProjectMOT

Language:Jupyter NotebookGPL-3.02 4 1

Reentry

Language:Coq2 20

SigplanCrawler

For crawling papers from sigplan conferences.

Language:Python2 20

Iris-ControlFlow

The repository for the project Iris with ControlFlow.

Language:CoqNOASSERTION1 30

MyAwesome-CV

My CV mirrored from Awesome-CV.

Language:TeX1 20

MyCodeForces

The repository for my solutions to code forces contests.

Language:C++1 10

SJTU-CS7302-PL

This is a coq repository implementing the slides of CS7302 PL.

Language:Makefile1 20

Awesome-CV

:page_facing_up: Awesome CV is LaTeX template for your outstanding job application

Language:TeX010

BetterSideBar

Stacklands mod for a better side bar.

Language:C#01 2

caffe

Caffe: a fast open framework for deep learning.

Language:C++NOASSERTION020

COOL-Compiler

The programming assignments from Stanford CS143 to implement a compiler for COOL (Classroom Object Oriented Language).

Language:C++020

CS057-OpenGL-Projects

Repository for course projects of CS057 OpenGL.

Language:C++020

deep_sort

Simple Online Realtime Tracking with a Deep Association Metric

Language:PythonGPL-3.0020

ieee.icu

A website for courses of IEEE pilot class, SJTU.

Language:Python000

intro-to-dl

Resources for "Introduction to Deep Learning" course.

Language:Jupyter Notebook010

intro-to-eng

作业

Language:PHPMIT010

intro-to-eng-report

Language:TeX010

LNCS

Improved Lecture Notes in Computer Science (LNCS) template

Language:TeX010

Numeric-Summon-Circle

The repository for Ludum Dare 55. Project Numeric Summon Circle.

Language:C#000

prednet

Code and models accompanying "Deep Predictive Coding Networks for Video Prediction and Unsupervised Learning"

Language:PythonMIT020

RootsUp

A game demo for tilemap editing.

Language:C#010

SJTU-Courses

上海交通大学课程资料分享

CC-BY-SA-4.0000

SJTUMasterThesis

上海交通大学硕士学位论文

Language:TeXApache-2.0000

vscoq

A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]

Language:TypeScriptMIT000