Q*cert

qcert Public
Compilation and Verification of Data-Centric Languages

Coq 47 Apache-2.0 9 33 (3 issues need help) 1 Updated Mar 10, 2022
opam-coq-archive Public
Archive for all Coq related OPAM packages organized in various repositories

OCaml 1 LGPL-2.1 122 0 0 Updated Mar 8, 2022
querycert.github.io Public

HTML 0 0 0 0 Updated Jan 11, 2022
jsast Public
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

Coq 0 9 0 0 Updated Jul 29, 2020
bug0007833 Public archive
Documents regression in OCaml type checker

OCaml 0 0 0 0 Updated Jul 30, 2018
coq2html Public
An HTML documentation generator for Coq source files

OCaml 0 GPL-2.0 7 0 0 Updated Jan 22, 2018

Pinned