7 search results for "author:"Massachusetts Institute of Technology""

Showing 1 - 7
  1. coq-bedrock2

    No documentation

    A work-in-progress language and compiler for verified low-level programming
    logpath:bedrock2
    Massachusetts Institute of Technology Kevix SiFive
    0.0.8
    MIT
    Used by 2 other packages
    22 Apr 2024
  2. coq-bedrock2-compiler

    No documentation

    A work-in-progress language and compiler for verified low-level programming (compiler part)
    logpath:bedrock2
    Massachusetts Institute of Technology Kevix SiFive
    0.0.8
    MIT
    Used by 1 other packages
    22 Apr 2024
  3. coq-coqutil

    No documentation

    Coq library for tactics, basic definitions, sets, maps
    logpath:coqutil
    Massachusetts Institute of Technology
    0.0.6
    MIT
    Used by 2 other packages
    22 Apr 2024
  4. coq-fiat-crypto

    No documentation

    Cryptographic Primitive Code Generation by Fiat
    logpath:Crypto
    Andres Erbsen <andreser@mit.edu> Google Inc. Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> Massachusetts Institute of Technology Zoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>
    0.1.3
    MIT OR Apache-2.0 OR BSD-1-Clause
    Used by 0 other packages
    22 Apr 2024
  5. coq-kami

    No documentation

    A work-in-progress language and compiler for verified low-level programming
    logpath:kami
    Massachusetts Institute of Technology Kevix SiFive
    0.0.3-rv32i
    MIT
    Used by 0 other packages
    03 Apr 2023
  6. coq-rewriter

    No documentation

    Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting, experimental and tailored for use in Fiat Cryptography
    logpath:Rewriter
    Google Inc. Massachusetts Institute of Technology
    0.0.12
    MIT OR Apache-2.0 OR BSD-1-Clause
    Used by 1 other packages
    06 Dec 2024
  7. coq-riscv

    No documentation

    RISC-V Specification in Coq, somewhat experimental
    logpath:riscv
    Massachusetts Institute of Technology
    0.0.5
    BSD-3-Clause
    Used by 1 other packages
    20 Mar 2024