A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI
☆54Sep 4, 2026Updated last month
Alternatives and similar repositories for sonata-system
Users that are interested in sonata-system are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Design files and associated documentation for Sonata PCB, part of the Sunburst Project☆22Apr 1, 2025Updated last year
- Software, build flows and examples for the Sonata System☆15Sep 4, 2026Updated last month
- cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.☆138Sep 14, 2026Updated last month
- The RTOS components for the CHERIoT research platform☆168Updated this week
- CHERI ISA Specification☆29Mar 13, 2026Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Side-channel analysis setup for OpenTitan☆43Nov 3, 2025Updated 11 months ago
- Sail code model of the CHERIoT ISA☆51Aug 26, 2026Updated 2 months ago
- SCARV: a side-channel hardened RISC-V platform☆23Mar 31, 2021Updated 5 years ago
- Labs for the Ibex Demo System☆18Nov 18, 2023Updated 2 years ago
- A demo system for Ibex including debug support and some peripherals☆105Jul 16, 2026Updated 3 months ago
- Testing processors with Random Instruction Generation☆63Oct 5, 2026Updated 3 weeks ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆226Updated this week
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆12Updated this week
- Ghidra processor module for Toshiba TLCS-900/H☆12Jan 13, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- go library for ChipWhisperer hardware security platform☆21Aug 1, 2019Updated 7 years ago
- ☆21Updated this week
- Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's ope…☆16Jul 2, 2026Updated 3 months ago
- Microkernel-based system for heterogeneous manycores☆17Jun 1, 2026Updated 4 months ago
- HiPU200 open-source version is a DNN accelerator, using RISC-V instruction set and customized vector/matrix extension.☆10Jan 7, 2022Updated 4 years ago
- Unified RISC-V Access Platform (UAP) project repository☆29Updated this week
- This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…☆126Updated this week
- Fork of github.com/UCSBarchlab/OpenTPU for the TGPTPU project☆14Jun 1, 2025Updated last year
- A mixed-criticality platform built around Cheshire, with a number of safety/security and predictability features. Ready-to-use FPGA flow …☆132Sep 7, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- simple cache latency test☆10Feb 24, 2021Updated 5 years ago
- RISC-V Security HC admin repo☆17Jan 7, 2025Updated last year
- RISC-V BSV Specification☆24Apr 28, 2026Updated 6 months ago
- Open tools for side-channel analysis and related techniques. Currently, this repository contains: 1) A near-field EM probe amplifier circ…☆39Dec 17, 2014Updated 11 years ago
- Learning exercises for CHERI☆21Jun 30, 2025Updated last year
- ☆11Dec 9, 2023Updated 2 years ago
- ☆33Jan 7, 2025Updated last year
- Fork of Rust adding CHERI support☆14Apr 10, 2025Updated last year
- A reliable, real-time subsystem for the Carfield SoC☆21Dec 2, 2025Updated 10 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- [MIGRATED to https://codeberg.org/prjunnamed/prjunnamed] End-to-end synthesis and P&R toolchain☆95Mar 12, 2026Updated 7 months ago
- Yosys RTLIL dialect for MLIR☆25Jun 12, 2025Updated last year
- Fork of LLVM adding CHERI support☆78Updated this week
- Tensor Compute Primitives: Mid-level Intermediate Representation for Machine Learning Programs☆14Jun 10, 2025Updated last year
- OpenTitan: Open source silicon root of trust☆3,718Updated this week
- Large-scale 2D mesh system with dedicated GeMM, on-chip RDMA and Rendez-vous accelerators.☆29Updated this week
- OpenExSys_NoC a mesh-based network on chip IP.☆21Dec 1, 2023Updated 2 years ago