dongjaelee1

SNU CSE

Pinned Repositories

CCR
Language:Coq3 9 698
opam
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml121 19 130162
CompCert
The CompCert formally-verified C compiler
Language:Coq00
dongjaelee1.github.io
Language:HTML00
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml00
paco
A Coq library for parametric coinduction
Language:Coq00
refinement-tutorial
Tutorial for refinement based verification
Language:Coq5 1 01
SQIR
A Small Quantum Intermediate Representation
Language:Coq00
SECOMP
SECOMP formally secure compiler for compartmentalized C programs (based on CompCert)
Language:Coq6 2 82
pp202202
Language:Coq17 17 460

dongjaelee1's Repositories

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