cheri

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

⚡ DROS™ VajraClaw (Hacker Edition): Free Multi-Agent Runtime Security & Docker Governance Gateway with W3C DID & <1μs Enforcement

Fork of Rust adding CHERI support

Open-source, 100% reproducible AI Agent Runtime Security Benchmark & Sandbox Environment (RFC-010 Draft Protocol).

Fork of Rust adding CHERI support

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

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

This repository provides a verification IP for conducting exhaustive security verification for CHERI processors.

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

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.

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

xBGAS Runtime Simplified

Empty starter project for the lowRISC Sonata Board

I²C device library for the 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.

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