This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
β102Feb 27, 2026Updated last week
Alternatives and similar repositories for riscv-cheri
Users that are interested in riscv-cheri are comparing it to the libraries listed below
Sorting:
- π RISC-V Ecosystem Landscape: a living document that developers, investors, vendors, researchers and others can use as a resource on theβ¦β21Mar 1, 2026Updated last week
- This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant securβ¦β66Feb 27, 2026Updated last week
- Hardware Description Language Translatorβ18Feb 28, 2026Updated last week
- CHERI ISA Specificationβ26Jan 22, 2026Updated last month
- RISC-V Architecture Profilesβ177Updated this week
- Testing processors with Random Instruction Generationβ57Jan 13, 2026Updated last month
- A toy ELF parser/validatorβ15Dec 18, 2024Updated last year
- [WIP] A wayland compositor configured with schemeβ14Aug 24, 2022Updated 3 years ago
- Reference implementation of RPMI specification as a library.β14Feb 5, 2026Updated last month
- nixos in a gameboy shellβ16Feb 12, 2026Updated 3 weeks ago
- Sail RISC-V modelβ672Updated this week
- Proposal for a RISC-V Core-Local Interrupt Controller (CLIC)β287Feb 27, 2026Updated last week
- Spatz is a compact RISC-V-based vector processor meant for high-performance, small computing clusters.β138Updated this week
- This TG will define AP-TEE-IO ABI extensions to provide Confidential VM-assigned devices with secure direct access to confidential memoryβ¦β14Feb 27, 2026Updated last week
- Unit testing for Nix code using Lixβ16Sep 15, 2025Updated 5 months ago
- XuanTie vendor extension Instruction Set specβ44May 30, 2025Updated 9 months ago
- CHERI-RISC-V model written in Sailβ65Jul 10, 2025Updated 7 months ago
- RISC-V cryptography extensions standardisation work.β402Mar 8, 2024Updated 2 years ago
- RISC-V BSV Specificationβ23Jan 18, 2020Updated 6 years ago
- The RISC-V External Debug Security Specificationβ20Feb 27, 2026Updated last week
- Fork of LLVM adding CHERI supportβ68Updated this week
- An OpenRISC 1000 multi-core virtual platform based on SystemC/TLMβ15Mar 25, 2025Updated 11 months ago
- Refinement type checking and inference tool for Rustβ17Feb 23, 2026Updated last week
- β17Apr 3, 2022Updated 3 years ago
- LZMA / LZMA2 in native Rustβ32Feb 16, 2026Updated 2 weeks ago
- β21Dec 1, 2025Updated 3 months ago
- UNSUPPORTED INTERNAL toolchain buildsβ47Feb 24, 2026Updated last week
- RISC-V eXtension interface that provides a generalized framework suitable to implement custom coprocessors and ISA extensionsβ80May 22, 2024Updated last year
- RISC-V instruction decoder written in Rust.β17Dec 31, 2025Updated 2 months ago
- Linux Kernel Driver Moduleβ20Jul 16, 2018Updated 7 years ago
- β18Jul 26, 2024Updated last year
- RISC-V Scratchpadβ74Nov 18, 2022Updated 3 years ago
- Easily build and run CHERI related projectsβ90Updated this week
- Working Draft of the RISC-V J Extension Specificationβ194Updated this week
- RISC-V Configuration Validatorβ82Mar 28, 2025Updated 11 months ago
- A merge bot for Gerritβ19Nov 8, 2023Updated 2 years ago
- MPIWasm is a WebAssembly Embedder based on Wasmer that enables the high-performance execution of MPI applications compiled to Wasm. (ACM β¦β20Jan 30, 2024Updated 2 years ago
- Ambient Authorityβ21Jun 30, 2023Updated 2 years ago
- Unit tests generator for RVV 1.0β103Nov 11, 2025Updated 3 months ago