Skip to content

@CertiGraph CertiGraph

Change the repository type filter

All

    Repositories list

    2 repositories

    • CertiGraph

      Public
      A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
      graph-algorithmsvstcompcertcoq
      Coq
      •
      MIT License
      •5•18•4•1•Updated Dec 5, 2024Dec 5, 2024

    • CertiGC

      Public
      A formally verified generational garbage collector.
      Coq
      •
      Other
      •0•7•0•0•Updated Feb 8, 2022Feb 8, 2022