Q*cert

Verified Data Languages Compiler

Pinned Repositories

bug0007833
Documents regression in OCaml type checker
Language:OCaml0 6 00
coq2html
An HTML documentation generator for Coq source files
Language:OCaml0 5 00
jsast
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Language:Coq0 5 12
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml1 5 00
qcert
Compilation and Verification of Data-Centric Languages
Language:Coq56 6 1069
querycert.github.io
Language:HTML0 5 00

Q*cert's Repositories

querycert/qcert
Compilation and Verification of Data-Centric Languages
Language:Coq56 6 1069
querycert/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml1 5 00
querycert/bug0007833
Documents regression in OCaml type checker
Language:OCaml0 6 00
querycert/coq2html
An HTML documentation generator for Coq source files
Language:OCaml0 5 00
querycert/jsast
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Language:Coq0 5 12
querycert/querycert.github.io
Language:HTML0 5 00