Skip to content
@CertiRocq

CertiRocq

A Verified Compiler for Gallina, the Specification Language of the Rocq Prover

Pinned Loading

  1. certirocq certirocq Public

    A Verified Compiler for Gallina, Written in Gallina

    Rocq Prover 171 37

  2. VeriFFI VeriFFI Public

    VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project

    Coq 49 3

Repositories

Showing 3 of 3 repositories
  • certirocq Public

    A Verified Compiler for Gallina, Written in Gallina

    CertiRocq/certirocq’s past year of commit activity
    Rocq Prover 171 MIT 37 17 3 Updated Jun 9, 2026
  • VeriFFI Public

    VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project

    CertiRocq/VeriFFI’s past year of commit activity
    Coq 49 MIT 3 1 1 Updated Jun 1, 2026
  • certicoq.github.io Public
    CertiRocq/certicoq.github.io’s past year of commit activity
    2 0 0 0 Updated Jan 7, 2025

Top languages

Coq Rocq Prover

Most used topics

Loading…