Skip to content

@CertiCoq CertiCoq

Change the repository type filter

All

    Repositories list

    3 repositories

    • certicoq

      Public
      A Verified Compiler for Gallina, Written in Gallina
      compilerformal-verificationcoqgallina
      Rocq Prover
      •
      MIT License
      •32•153•18•4•Updated Aug 1, 2025Aug 1, 2025

    • certicoq.github.io

      Public
      0•2•0•0•Updated Jan 7, 2025Jan 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
      Coq
      •
      MIT License
      •3•45•1•1•Updated Dec 31, 2024Dec 31, 2024