mori1116

SNU CSE

Pinned Repositories

CCR
Language:Coq34
opam
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml120 19 129162
CompCert
The CompCert formally-verified C compiler
Language:Coq00
mori1116.github.io
Language:HTML0 1 00
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml0 0 00
paco
A Coq library for parametric coinduction
Language:Coq00
refinement-tutorial
Tutorial for refinement based verification
Language:Coq51
SQIR
A Small Quantum Intermediate Representation
Language:Coq00
SECOMP
SECOMP formally secure compiler, based on CompCert
Language:Coq6 2 82
pp202202
Language:Coq170

mori1116's Repositories

mori1116/refinement-tutorial
Tutorial for refinement based verification
Language:Coq51
mori1116/CompCert
The CompCert formally-verified C compiler
Language:Coq00
mori1116/mori1116.github.io
Language:HTML0 1 00
mori1116/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml0 0 00
mori1116/paco
A Coq library for parametric coinduction
Language:Coq00
mori1116/SQIR
A Small Quantum Intermediate Representation
Language:Coq00