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 160 38

  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 47 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 160 MIT 38 20 5 Updated Mar 12, 2026
  • certicoq.github.io Public
    CertiRocq/certicoq.github.io’s past year of commit activity
    2 0 0 0 Updated Jan 7, 2025
  • 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 47 MIT 3 1 1 Updated Dec 31, 2024

Top languages

Loading…

Most used topics

Loading…