Skip to content
@querycert

Q*cert

Verified Data Languages Compiler

Pinned Loading

  1. qcert qcert Public

    Compilation and Verification of Data-Centric Languages

    Coq 57 10

Repositories

Showing 6 of 6 repositories
  • qcert Public

    Compilation and Verification of Data-Centric Languages

    querycert/qcert’s past year of commit activity
    Coq 57 Apache-2.0 10 31 (2 issues need help) 1 Updated Jul 17, 2024
  • opam-coq-archive Public Forked from rocq-prover/opam

    Archive for all Coq related OPAM packages organized in various repositories

    querycert/opam-coq-archive’s past year of commit activity
    OCaml 1 LGPL-2.1 177 0 0 Updated Jul 1, 2023
  • querycert.github.io Public
    querycert/querycert.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Jun 9, 2022
  • jsast Public Forked from jscert/jscert

    A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

    querycert/jsast’s past year of commit activity
    Coq 0 12 0 0 Updated May 26, 2022
  • bug0007833 Public archive

    Documents regression in OCaml type checker

    querycert/bug0007833’s past year of commit activity
    OCaml 0 0 0 0 Updated Jul 30, 2018
  • coq2html Public Forked from xavierleroy/coq2html

    An HTML documentation generator for Coq source files

    querycert/coq2html’s past year of commit activity
    OCaml 0 GPL-2.0 12 0 0 Updated Jan 22, 2018

Top languages

Loading…

Most used topics

Loading…