ymanerka

Pinned Repositories

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:Python2.8k 41 1.3k3.3k
ccicheck
Language:Coq91
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:Python00
multi_vscale
Verilog version of Z-scale (deprecated)
Language:Verilog02
pipecheck_tutorial
Language:Coq3 2 00
pipeproof
PipeProof
Language:Coq11 2 11
pipeproof_tutorial
Language:Coq2 1 00
rtlcheck
RTLCheck
Language:Coq173
uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
Language:Scala00
ymanerka.github.io
Language:HTML0 2 00

ymanerka's Repositories

ymanerka/rtlcheck
RTLCheck
Language:Coq173
ymanerka/pipeproof
PipeProof
Language:Coq11 2 11
ymanerka/ccicheck
Language:Coq91
ymanerka/pipecheck_tutorial
Language:Coq3 2 00
ymanerka/pipeproof_tutorial
Language:Coq2 1 00
ymanerka/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:Python00
ymanerka/multi_vscale
Verilog version of Z-scale (deprecated)
Language:Verilog02
ymanerka/uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
Language:Scala00
ymanerka/ymanerka.github.io
Language:HTML0 2 00