Fork of LLVM adding CHERI support
☆73Jun 25, 2026Updated last week
Alternatives and similar repositories for llvm-project
Users that are interested in llvm-project are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Easily build and run CHERI related projects☆93Updated this week
- QEMU with support for CHERI☆69Updated this week
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆213Updated this week
- CHERI ISA Specification☆25Mar 13, 2026Updated 3 months ago
- Learning exercises for CHERI☆21Jun 30, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- RISC-V BSV Specification☆24Apr 28, 2026Updated 2 months ago
- CHERI C/C++ Programming Guide☆67May 11, 2026Updated last month
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆57May 24, 2022Updated 4 years ago
- Sail code model of the CHERIoT ISA☆50Jun 30, 2026Updated last week
- A runtime-independent crate for transforming Wasm-DWARF☆12Mar 11, 2020Updated 6 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆33Jul 18, 2014Updated 11 years ago
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- OpenBSD unveil(2) like function in Linux using Landlock☆43May 28, 2026Updated last month
- This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …☆95May 25, 2026Updated last month
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Interesting papers☆11Jun 22, 2024Updated 2 years ago
- cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.☆133May 8, 2026Updated 2 months ago
- This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…☆114Updated this week
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆12Apr 28, 2026Updated 2 months ago
- The BERI and CHERI processor and hardware platform☆51Mar 27, 2017Updated 9 years ago
- Summary of bugs in Xuantie C9XX core design. include C906/C908/C910/C920☆35Jun 1, 2026Updated last month
- CV32E40X Design-Verification environment☆16Jun 2, 2026Updated last month
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 5 years ago
- Compartmentalization using hardware and software techniques.☆13Aug 28, 2025Updated 10 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Lua interpreter written in python.☆14Sep 26, 2019Updated 6 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆28Apr 19, 2024Updated 2 years ago
- CN separation logic refinement type system for C☆55Jul 2, 2026Updated last week
- Sail architecture definition language☆904Updated this week
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆20Updated this week
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆110Sep 11, 2024Updated last year
- Secure Virtual Architecture☆43Apr 12, 2019Updated 7 years ago
- Refinement type checking and inference tool for Rust☆22Updated this week
- Dump Apple PMU counter definitions from `/usr/share/kpep` in macOS☆16Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This is an IDE for YSYX_NPC debuging☆12Dec 10, 2024Updated last year
- ☆17Sep 20, 2019Updated 6 years ago
- A riscv emulator.☆19Feb 5, 2024Updated 2 years ago
- ☆17Mar 26, 2025Updated last year
- Fuzzing General-Purpose Hardware Designs with Software Fuzzers☆27Mar 8, 2026Updated 4 months ago
- kR^X: Comprehensive Kernel Protection Against Just-In-Time Code Reuse☆13Aug 21, 2017Updated 8 years ago
- Tiny and portable device tree parser, written in C.☆22Jan 27, 2025Updated last year