Popular repositories Loading

1. fiat-crypto fiat-crypto Public

   Cryptographic Primitive Code Generation by Fiat

   Rocq Prover 763 156

2. bedrock2 bedrock2 Public

   A work-in-progress language and compiler for verified low-level programming

   Rocq Prover 309 49

3. riscv-semantics riscv-semantics Public

   A formal semantics of the RISC-V ISA in Haskell

   Haskell 167 18

4. koika koika Public

   A core language for rule-based hardware design 🦑

   Rocq Prover 156 14

5. kami kami Public

   A Platform for High-Level Parametric Hardware Specification and its Modular Verification

   Rocq Prover 155 27

6. fiat fiat Public

   Mostly Automated Synthesis of Correct-by-Construction Programs

   Rocq Prover 153 35