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 5

  2. CertiGC CertiGC Public

    A formally verified generational garbage collector.

    Coq 7

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 5 4 1 Updated Dec 5, 2024
  • CertiGC Public

    A formally verified generational garbage collector.

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

Top languages

Loading…

Most used topics

Loading…