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 66 repositories
- sail-riscv-lean Public
opencompl/sail-riscv-lean’s past year of commit activity - sail-riscv-lean-executable Public
opencompl/sail-riscv-lean-executable’s past year of commit activity - paper-template Public template
A template for writing CS papers with latex -- includes CI, todonotes, ...
opencompl/paper-template’s past year of commit activity - paper-verification-llvm-backend Public template Forked from opencompl/paper-template
A template for writing CS papers with latex -- includes CI, todonotes, ...
opencompl/paper-verification-llvm-backend’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…