2 search results for "tag:"logpath:bedrock2""

Showing 1 - 2
  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.9
    MIT
    Used by 2 other packages
    09 Oct 2025
  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.9
    MIT
    Used by 0 other packages
    29 Oct 2025