Skip to content
@mit-plv

Programming Languages and Verification Group at MIT CSAIL

Popular repositories Loading

  1. fiat-crypto fiat-crypto Public

    Cryptographic Primitive Code Generation by Fiat

    Coq 699 144

  2. bedrock2 bedrock2 Public

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

    Coq 284 43

  3. riscv-semantics riscv-semantics Public

    A formal semantics of the RISC-V ISA in Haskell

    Haskell 147 15

  4. fiat fiat Public

    Mostly Automated Synthesis of Correct-by-Construction Programs

    Coq 145 30

  5. kami kami Public

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

    Coq 141 24

  6. koika koika Public

    A core language for rule-based hardware design 🦑

    Coq 135 9

Repositories

Showing 10 of 28 repositories
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…