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 735 147

  2. bedrock2 bedrock2 Public

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

    Coq 301 45

  3. riscv-semantics riscv-semantics Public

    A formal semantics of the RISC-V ISA in Haskell

    Haskell 160 16

  4. fiat fiat Public

    Mostly Automated Synthesis of Correct-by-Construction Programs

    Coq 151 32

  5. kami kami Public

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

    Coq 146 25

  6. koika koika Public

    A core language for rule-based hardware design 🦑

    Coq 146 12

Repositories

Showing 10 of 29 repositories
  • fiat2 Public

    A high level language that will compile to bedrock2 using database-style techniques

    Coq 3 MIT 3 0 0 Updated Jan 19, 2025
  • fiat-crypto Public

    Cryptographic Primitive Code Generation by Fiat

    Coq 735 147 121 (13 issues need help) 28 Updated Jan 16, 2025
  • rewriter Public

    Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting

    Coq 22 21 6 (1 issue needs help) 1 Updated Jan 15, 2025
  • fiat Public

    Mostly Automated Synthesis of Correct-by-Construction Programs

    Coq 151 32 1 0 Updated Jan 15, 2025
  • spacetalk Public
    Lean 0 0 0 0 Updated Jan 12, 2025
  • bedrock2 Public

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

    Coq 301 MIT 45 40 14 Updated Jan 6, 2025
  • rupicola Public

    Gallina to Bedrock2 compilation toolkit

    Coq 52 MIT 11 4 3 Updated Jan 5, 2025
  • coqutil Public

    Coq library for tactics, basic definitions, sets, maps

    Coq 42 MIT 24 9 1 Updated Jan 5, 2025
  • cross-crypto Public Forked from asya-bergal/cross-crypto

    Connecting computational and symbolic crypto models

    Coq 8 MIT 22 3 0 Updated Nov 25, 2024
  • isolation Public
    Coq 2 GPL-3.0 0 0 0 Updated Oct 15, 2024

People

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