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
- Testing processors with Random Instruction Generation☆57Jan 13, 2026Updated last month
- Userspace USBIP server (i.e., "shares a USB device") implementation based on python-libusb1☆18Jul 4, 2023Updated 2 years ago
- Hardware Description from Technical Documentation☆14Jan 12, 2026Updated last month
- A compiler for the Algol W programming language.☆15Jul 13, 2025Updated 7 months ago
- JavaScript port of picotool☆15Jan 13, 2022Updated 4 years ago
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 9 months ago
- Homebrew formula to install [ccls](https://github.com/MaskRay/ccls)☆16Aug 3, 2019Updated 6 years ago
- ☆19Dec 21, 2024Updated last year
- Fast HTTP server that supports handlers written in Starlark☆19Sep 1, 2025Updated 6 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆53Jul 20, 2025Updated 7 months ago
- Embedded test tool (the tool itself)☆19Aug 11, 2025Updated 6 months ago
- The tools to test and work with Mbed OS☆37Jan 2, 2025Updated last year
- CHERI ISA Specification☆26Jan 22, 2026Updated last month
- 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
- jNode FTN Platform public repository☆33Feb 28, 2017Updated 9 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
- ☆31Feb 20, 2026Updated 2 weeks ago
- CHERI-RISC-V model written in Sail☆65Jul 10, 2025Updated 7 months ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Jan 20, 2025Updated last year
- SMT Modeling and Configurable Program Analysis for Ghidra's PCODE☆32Updated this week
- Updates DWARF debug sections and ELF symbols with info obtained through disassembly☆30Jul 9, 2024Updated last year
- Control test and measurement instruments on your browser☆29May 1, 2025Updated 10 months ago
- Realtime updating of a simple component and netlist for LLM automation of documentation☆50Dec 15, 2025Updated 2 months ago
- Espressif Secure Certificate Manager Component☆26Updated this week
- 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
- 🌍 🐓 Formal verification for JavaScript☆19Jul 10, 2023Updated 2 years ago
- ☆17Feb 23, 2026Updated 2 weeks ago
- Sail architecture definition language☆846Updated this week
- Microkit - A simple operating system framework for the seL4 microkernel☆174Updated this week
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Apr 27, 2023Updated 2 years ago
- A Brainfuck interpreter embedded inside DWARF debug information☆40May 15, 2024Updated last year
- RISC-V Security Model☆34Updated this week