rmn30
Follow
-
-
devcontainer Public
Forked from CHERIoT-Platform/devcontainerScripts for creating the CHERIoT dev container
Dockerfile MIT License UpdatedJan 21, 2025 -
CHERIoT-Platform.github.io Public
Forked from CHERIoT-Platform/CHERIoT-Platform.github.ioCHERIoT web site
CSS UpdatedJan 19, 2025 -
book Public
Forked from CHERIoT-Platform/bookThe public drafts of the CHERIoT Programmers' Guide
Dockerfile UpdatedJul 3, 2024 -
-
snmalloc Public
Forked from microsoft/snmallocMessage passing based allocator
C++ MIT License UpdatedMar 22, 2022 -
mimalloc-bench Public
Forked from daanx/mimalloc-benchSuite for benchmarking malloc implementations.
C MIT License UpdatedMar 9, 2022 -
cheri-cap-lib Public
Forked from CTSRD-CHERI/cheri-cap-libA library of specific implementations of cheri and providing an abstract interface to those implementations
Bluespec Other UpdatedAug 2, 2021 -
emoncms Public
Forked from emoncms/emoncmsWeb-app for processing, logging and visualising energy, temperature and other environmental data
PHP GNU Affero General Public License v3.0 UpdatedMay 8, 2021 -
opam-repository Public
Forked from rems-project/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
-
cheribsd Public
Forked from CTSRD-CHERI/cheribsdFreeBSD adapted for the CHERI CPU. WARNING: some programs contain deliberate vulnerabilities
C Other UpdatedFeb 20, 2015 -
llvm Public
Forked from CTSRD-CHERI/llvmFork of LLVM adding CHERI support
C++ Other UpdatedSep 11, 2014 -
gxemul Public
Forked from CTSRD-CHERI/gxemulAdaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features