Pinned Repositories
harpy
The code fused in the paper "The Semantics of Shared Memory in Intel CPU/FPGA Systems"
slack-invite-automation
A tiny web application to invite a user into your slack team.
snitch
Lean but mean RISC-V system!
get-image-spv
Get image using Vulkan
multicore-test-harness
A multicore microprocessor test harness for measuring interference
library-metamorphic-testing
Fuzzer and metamorphic tester for C++ libraries
snitch
⛔ DEPRECATED ⛔ Lean but mean RISC-V system!
Murphi2019
A home for the classic model checking tool with the intention to keep it maintained for current systems
diorga's Repositories
diorga/harpy
The code fused in the paper "The Semantics of Shared Memory in Intel CPU/FPGA Systems"
diorga/slack-invite-automation
A tiny web application to invite a user into your slack team.
diorga/snitch
Lean but mean RISC-V system!