The efficient SMT-based context-bounded model checker (ESBMC)

FreeBSD adapted for CHERI-RISC-V and Arm Morello.

MDX — A bare-metal / RTOS framework

Open-source textbook about CHERI capabilities, for a developer audience

Fork of Rust adding CHERI support

Fork of Rust adding CHERI support

Electric Vehicle Charging Demonstrator is part of a work package to showcase CHERI - Morello and Connect capabilities.

Experimental work-in-progress port of Rust to ARM's Morello capability-enabled ARM architecture

AutoCHERI project website, for the UKRI funded project to put CHERI into an automotive setting via the Arm Morello dev platform

Rust on CHERI: how hardware capabilities and safe languages work together for stronger, faster software. Master's dissertation.

金沢大学履修登録支援Webアプリ Inspired by kurisyushien.org

Libpng fork for cheribuild, configuring an easy-to-sandbox minimal version and bundling zlib

I²C device library for the lowRISC Sonata Board

Empty starter project for the lowRISC Sonata Board

xBGAS Runtime Simplified

🧙‍♂️ ImageMagick 7 fork for CheriBSD using sandboxed libpng

The CHERIoT Platform is a hardware-software platform for secure embedded devices

Staging repository for FreeBSD/CHERI upstreaming work

Example I²C program for the DS3231 RTCC and lowRISC Sonata Board

Framework for evaluating memory safety properties of the CHERI-Morello architecture through an adapted xBGAS runtime implementation and a suite of memory safety benchmarks.