Skip to content
@CertiGraph

CertiGraph

Popular repositories Loading

  1. CertiGraph CertiGraph Public

    A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

    Coq 18 6

  2. CertiGC CertiGC Public

    A formally verified generational garbage collector.

    Coq 8

Repositories

Showing 2 of 2 repositories
  • CertiGraph Public

    A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

    CertiGraph/CertiGraph’s past year of commit activity
    Coq 18 MIT 6 4 1 Updated Apr 11, 2025
  • CertiGC Public

    A formally verified generational garbage collector.

    CertiGraph/CertiGC’s past year of commit activity
    Coq 8 0 0 0 Updated Feb 8, 2022

Top languages

Loading…

Most used topics

Loading…