Pinned Loading

1. PrincetonUniversity/VST PrincetonUniversity/VST Public

   Verified Software Toolchain

   Rocq Prover 490 98

2. CertiRocq/certirocq CertiRocq/certirocq Public

   A Verified Compiler for Gallina, Written in Gallina

   Rocq Prover 161 37

3. DeepSpec/sf DeepSpec/sf Public

   HTML 14 13

4. CertiRocq/VeriFFI CertiRocq/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 48 3

5. verified-network-toolchain/Verified-FEC verified-network-toolchain/Verified-FEC Public

   Verified Forward Erasure Correction in Coq

   Coq 7 1

6. VeriNum/vcfloat VeriNum/vcfloat Public

   VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

   Rocq Prover 33 12