Sail code model of the CHERIoT ISA
☆47Feb 25, 2026Updated last week
Alternatives and similar repositories for cheriot-sail
Users that are interested in cheriot-sail are comparing it to the libraries listed below
Sorting:
- cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.☆123Updated this week
- Userspace USBIP server (i.e., "shares a USB device") implementation based on python-libusb1☆18Jul 4, 2023Updated 2 years ago
- Testing processors with Random Instruction Generation☆57Jan 13, 2026Updated last month
- Hardware Description from Technical Documentation☆14Jan 12, 2026Updated last month
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- A compiler for the Algol W programming language.☆15Jul 13, 2025Updated 7 months ago
- Homebrew formula to install [ccls](https://github.com/MaskRay/ccls)☆16Aug 3, 2019Updated 6 years ago
- IEEE802.15.4 over USB Linux kernel driver☆16Jan 30, 2024Updated 2 years ago
- node.js utilities for reading pipermail archives☆20Apr 26, 2020Updated 5 years ago
- Understanding CoAP with Packet Captures.☆15Jun 27, 2023Updated 2 years ago
- Fast HTTP server that supports handlers written in Starlark☆19Sep 1, 2025Updated 6 months ago
- Embedded test tool (the tool itself)☆19Aug 11, 2025Updated 6 months ago
- Stack language compiled to lua☆23Feb 3, 2025Updated last year
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆207Updated this week
- Building seL4 and generating Rust bindings based on feL4 configuration☆22May 31, 2018Updated 7 years ago
- The BERI and CHERI processor and hardware platform☆50Mar 27, 2017Updated 8 years ago
- Simple Management Protocol (SMP) Client for remotely managing MCU firmware☆31Updated this week
- CHERI-RISC-V model written in Sail☆65Jul 10, 2025Updated 8 months ago
- SMT Modeling and Configurable Program Analysis for Ghidra's PCODE☆32Updated this week
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆51Updated this week
- Espressif Secure Certificate Manager Component☆26Mar 3, 2026Updated last week
- Realtime updating of a simple component and netlist for LLM automation of documentation☆50Dec 15, 2025Updated 2 months ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆33Jan 9, 2026Updated 2 months ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆36Oct 28, 2025Updated 4 months ago
- Mathematics of Robotic Manipulation using Rocq and MathComp☆29Feb 25, 2026Updated last week
- CDT GDB Debug Adapter☆34Feb 27, 2026Updated last week
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Feb 11, 2026Updated 3 weeks ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆34Mar 1, 2026Updated last week
- Sail architecture definition language☆846Updated this week
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆40Nov 29, 2025Updated 3 months ago
- Open Source AES☆31Oct 6, 2025Updated 5 months ago
- RISC-V Security Model☆34Updated this week
- A Brainfuck interpreter embedded inside DWARF debug information☆40May 15, 2024Updated last year
- A Rust library for talking to J-Link USB devices☆42Jan 4, 2024Updated 2 years ago
- Specification to describe the minimum information standard for online community data. Guidelines for describing data about online communi…☆11Sep 19, 2016Updated 9 years ago
- Simplicity SDK for Zephyr☆18Updated this week
- Network tools for testing with Qemu☆43Feb 6, 2026Updated last month
- ☆54Updated this week