This organization contains our research projects, collaborative research projects, as well as software that we develop for our community.
For further information, check out our website at https://grosser.science/.
Pinned Loading
Repositories
Showing 10 of 73 repositories
- sail-riscv-lean Public
opencompl/sail-riscv-lean’s past year of commit activity - sail-arm-lean Public
opencompl/sail-arm-lean’s past year of commit activity - riscv-paper-experiments Public
opencompl/riscv-paper-experiments’s past year of commit activity - DC-semantics-simulation-evaluation Public
In this repository we simulate the semantics of the DC dialect with verilator and (1) compare it against the semantics we mechanize with Lean-MLIR (2) assess the verification efforts at Handshake vs. DC level.
opencompl/DC-semantics-simulation-evaluation’s past year of commit activity - iree Public Forked from iree-org/iree
A retargetable MLIR-based machine learning compiler and runtime toolkit.
opencompl/iree’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…