Popular repositories Loading

1. paco paco Public

   A Coq library for parametric coinduction

   Coq 54 15

2. promising-coq promising-coq Public

   The Coq development of A Promising Semantics for Relaxed-Memory Concurrency

   Rocq Prover 43 5

3. crellvm crellvm Public

   Crellvm: Verified Credible Compilation for LLVM

   Coq 18 1

4. Ordinal Ordinal Public

   Rocq Prover 16 2

5. CRIS CRIS Public

   Rocq Prover 8 1

6. crellvm-llvm crellvm-llvm Public

   LLVM for Crellvm: Verified Credible Compilation for LLVM

   C++ 7