dongjaelee1

Ph.D. student at MIT CSAIL PDOS

Pinned Repositories

opam
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml131 19 131166
CompCert
The CompCert formally-verified C compiler
Language:Coq0 0 00
dongjaelee1.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:Coq0 0 00
refinement-tutorial
Tutorial for refinement based verification
Language:Coq5 1 01
SQIR
A Small Quantum Intermediate Representation
Language:Coq0 0 00
SECOMP
SECOMP formally secure compiler for compartmentalized C programs (based on CompCert)
Language:Coq6 2 92
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:Coq0 0 00
dongjaelee1/dongjaelee1.github.io
Language:HTML0 1 00
dongjaelee1/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml0 0 00
dongjaelee1/paco
A Coq library for parametric coinduction
Language:Coq0 0 00
dongjaelee1/SQIR
A Small Quantum Intermediate Representation
Language:Coq0 0 00