3 search results for "author:"SiFive""

Showing 1 - 3
  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-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