CHERI C/C++ Programming Guide
☆60Feb 7, 2026Updated 3 weeks ago
Alternatives and similar repositories for cheri-c-programming
Users that are interested in cheri-c-programming are comparing it to the libraries listed below
Sorting:
- CHERI ISA Specification☆26Jan 22, 2026Updated last month
- CHERI-RISC-V model written in Sail☆65Jul 10, 2025Updated 7 months ago
- Easily build and run CHERI related projects☆90Updated this week
- Learning exercises for CHERI☆21Jun 30, 2025Updated 8 months ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆207Updated this week
- The BERI and CHERI processor and hardware platform☆50Mar 27, 2017Updated 8 years ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆12May 3, 2024Updated last year
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to ben…☆14Sep 1, 2022Updated 3 years ago
- QEMU with support for CHERI☆65Feb 16, 2026Updated 2 weeks ago
- Fork of LLVM adding CHERI support☆68Updated this week
- Cairo lua bindings with extensions for torch☆15Jun 12, 2016Updated 9 years ago
- DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)☆21Jan 26, 2026Updated last month
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆42Dec 11, 2022Updated 3 years ago
- Erlang WebRTC peer implementation.☆16Apr 8, 2019Updated 6 years ago
- Open-CMSIS-Pack development tools - C++☆16Updated this week
- ☆23Mar 24, 2023Updated 2 years ago
- A Cargo subcommand for working with feL4 projects.☆52Jun 5, 2018Updated 7 years ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆34Updated this week
- TCTI module for use with TSS2 libraries in UEFI environment☆39Nov 14, 2024Updated last year
- A simple, memory hard, Proof-of-Work scheme☆28Jan 12, 2023Updated 3 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performa…☆24Jan 3, 2026Updated 2 months ago
- Chaucha functions for usage with Github Actions☆11Sep 18, 2020Updated 5 years ago
- ☆10Nov 14, 2022Updated 3 years ago
- ECOin is a P2P crypto-currency with the goal of providing a long-term energy-efficient digital economy strategy.☆13Updated this week
- Common GreenAddress web files (used by Electron app, Cordova app) or see js_only_deprecated for web/Chrome app☆11Jun 18, 2024Updated last year
- ☆11Jul 20, 2025Updated 7 months ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- rvault: secure and authenticated store for secrets and small documents☆37Dec 23, 2022Updated 3 years ago
- Pretty printer from GTIRB to assembly code☆50Nov 4, 2025Updated 4 months ago
- An executable specification of the RISCV ISA in L3.☆42Mar 1, 2019Updated 7 years ago
- ☆13Nov 29, 2025Updated 3 months ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 10 years ago
- A curated list of resources for the æternity blockchain☆14Aug 12, 2024Updated last year
- ☆11Apr 6, 2018Updated 7 years ago
- Python SDK for IUDX.☆10Apr 29, 2021Updated 4 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- Implementation of Tagged Memory security policies into Rocket Core☆10Nov 8, 2016Updated 9 years ago