Franz Fuchs's repositories
riscv-cheri
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
Language:PythonCC-BY-4.0000
sail-riscv
Sail RISC-V model
Language:CoqNOASSERTION000
vipbundle
A verilog IP bundling tool
000
Vector-Instructions
Tryout several applications for x86_64 vector instructions (SIMD)
Language:C000
WordReminder
App that simplifies to remember words
Language:Java000