Pinned Repositories
cheri-cap-lib
A library of specific implementations of cheri and providing an abstract interface to those implementations
cheribsd
FreeBSD adapted for the CHERI CPU. WARNING: some programs contain deliberate vulnerabilities
devcontainer
Scripts for creating the CHERIoT dev container
emoncms
Web-app for processing, logging and visualising energy, temperature and other environmental data
gxemul
Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features
llvm
Fork of LLVM adding CHERI support
mimalloc-bench
Suite for benchmarking malloc implementations.
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
sail-riscv
Sail RISC-V model
snmalloc
Message passing based allocator
rmn30's Repositories
rmn30/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
rmn30/gxemul
Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features
rmn30/sail-riscv
Sail RISC-V model
rmn30/cheri-cap-lib
A library of specific implementations of cheri and providing an abstract interface to those implementations
rmn30/cheribsd
FreeBSD adapted for the CHERI CPU. WARNING: some programs contain deliberate vulnerabilities
rmn30/devcontainer
Scripts for creating the CHERIoT dev container
rmn30/emoncms
Web-app for processing, logging and visualising energy, temperature and other environmental data
rmn30/llvm
Fork of LLVM adding CHERI support
rmn30/mimalloc-bench
Suite for benchmarking malloc implementations.
rmn30/snmalloc
Message passing based allocator