Repositories list

• jsast

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

  Rocq Prover

  •

  Other

  •1212 forks•22 stars•00 issues•00 pull requests•Updated Feb 27, 2026Feb 27, 2026

• qcert

  Public
  Compilation and Verification of Data-Centric Languages

  sqlcompilerfunctional-programming+ 5

  sqlcompilerfunctional-programmingverificationquery-enginequery-languageverified-compilercoq-proof-assistant

  Coq

  •

  Apache License 2.0

  •1010 forks•5959 stars•3131 issues•11 pull request•Updated Jul 17, 2024Jul 17, 2024

• opam-coq-archive

  Public
  Archive for all Coq related OPAM packages organized in various repositories

  OCaml

  •

  GNU Lesser General Public License v2.1

  •135135 forks•11 star•00 issues•00 pull requests•Updated Jul 1, 2023Jul 1, 2023

• querycert.github.io

  Public
  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 9, 2022Jun 9, 2022

• bug0007833

  Public archive
  Documents regression in OCaml type checker

  OCaml

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 30, 2018Jul 30, 2018

• coq2html

  Public
  An HTML documentation generator for Coq source files

  OCaml

  •

  GNU General Public License v2.0

  •1111 forks•00 stars•00 issues•00 pull requests•Updated Jan 22, 2018Jan 22, 2018