Programming Languages and Verification Group at MIT CSAIL

Popular repositories

1. fiat-crypto Public

   Cryptographic Primitive Code Generation by Fiat

   Coq 557 146

2. bedrock2 Public

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

   Coq 217 49

3. fiat Public

   Mostly Automated Synthesis of Correct-by-Construction Programs

   Coq 139 32

4. riscv-semantics Public

   A formal semantics of the RISC-V ISA in Haskell

   Haskell 129 14

5. kami Public

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

   Coq 123 24

6. koika Public

   A core language for rule-based hardware design 🦑

   Coq 103 7