Giters
Qinshi Wang (bcip)

bcip

Geek Repo

13

followers

1

following

4

stars

Company:Princeton University

Github PK Tool:Github PK Tool

Qinshi Wang's repositories

nachos

Operating System

Language:JavaStargazers:2Issues:2Issues:0

DKVS

Language:JavaStargazers:1Issues:2Issues:0

FloydAutomation

Experimental release of automated tactics on VST Floyd

Language:CoqStargazers:1Issues:2Issues:0

KVS

Language:JavaStargazers:1Issues:2Issues:0

verif-chord

Language:CoqStargazers:1Issues:2Issues:0

verif-interval

Language:CoqStargazers:1Issues:2Issues:0

yandex2014

Language:CStargazers:1Issues:3Issues:0

CompCert

The CompCert formally-verified C compiler

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

ProvingForFun-July2019

Language:IsabelleStargazers:0Issues:1Issues:0

SchrodingersPhone

Language:JavaStargazers:0Issues:3Issues:0