Giters
Yuting Wang (yvting)

yvting

Geek Repo

16

followers

1

following

11

stars

Home Page:http://jhc.sjtu.edu.cn/~yutingwang/

Github PK Tool:Github PK Tool

Organizations
SJTU-PLV

Yuting Wang's repositories

abella

An interactive theorem prover based on lambda-tree syntax

Language:OCamlLicense:GPL-3.0Stargazers:1Issues:1Issues:0

videos

The official distribution of olcConsoleGameEngine, a tool used in javidx9's YouTube videos and projects

Language:C++License:GPL-3.0Stargazers:1Issues:1Issues:0

CSrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

deepspec-pocs

Language:CoqLicense:NOASSERTIONStargazers:0Issues:1Issues:0

dsss17

Language:CoqStargazers:0Issues:1Issues:0

ostep-code

Code from various chapters in OSTEP (http://www.ostep.org)

Language:CStargazers:0Issues:0Issues:0