CHERI-enabled secure enclave that can be integrated as a subsytem on a system on chip.
☆35Jul 24, 2026Updated last week
Alternatives and similar repositories for mocha
Users that are interested in mocha 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
- An open silicon CHERIoT Ibex microcontroller chip☆19May 23, 2025Updated last year
- A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI☆54Apr 14, 2026Updated 3 months ago
- cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.☆135May 8, 2026Updated 2 months ago
- Testing processors with Random Instruction Generation☆61Jan 13, 2026Updated 6 months ago
- 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.
- Labs for the Ibex Demo System☆18Nov 18, 2023Updated 2 years ago
- Azadi (Freedom) is a 32-bit RISC-V CPU based System on Chip.☆34Aug 28, 2023Updated 2 years ago
- 64-bit multicore Linux-capable RISC-V processor☆120Apr 28, 2025Updated last year
- HW Design Collateral for Caliptra Subsystem, which comprises Caliptra RoT IP and additional manufacturer controls.☆47Updated this week
- Functional Verification of Physical Layer of PCI Express Gen5.0 Graduation Project Using UVM☆33Jul 17, 2025Updated last year
- A demo system for Ibex including debug support and some peripherals☆98Jul 16, 2026Updated 2 weeks ago
- A lightweight core for the CV32E40 implementing the RISC-V vector extension specification. (v0.8)☆35Jan 19, 2021Updated 5 years ago
- ☆13Jul 5, 2026Updated last month
- Side-channel analysis setup for OpenTitan☆40Nov 3, 2025Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- UVM verification platform for DW_apb_i2c IP core(Master Mode)☆14Aug 21, 2023Updated 2 years ago
- A submodule of Chipyard https://github.com/ucb-bar/chipyard☆21Apr 28, 2026Updated 3 months ago
- Pulp virtual platform☆24Jul 16, 2025Updated last year
- A SystemVerilog source file pickler.☆62Oct 20, 2024Updated last year
- PyCacheGen: A Highly Configurable Open-Source Generator for Synthesizable Caches☆17Dec 14, 2025Updated 7 months ago
- Tranining Completion Project : : Verification of AXI Direct Memory Access (DMA) using UVM☆50Jul 11, 2025Updated last year
- AIA IP compliant with the RISC-V AIA spec☆47Jan 27, 2025Updated last year
- ☆22Sep 26, 2025Updated 10 months ago
- OpenTitan FI formal verification framework☆16Aug 29, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- OpenTitan: Open source silicon root of trust☆3,577Updated this week
- This repository contains a parameterized AXI Slave to AHB-Lite Master bridge and a UVM-based verification environment for functional, exc…☆21Mar 26, 2026Updated 4 months ago
- Spectre V1 Proof-of-Concept Attack in the Rust Language☆30Apr 3, 2025Updated last year
- Project ideas list for Google Summer of Code.☆18Jan 28, 2026Updated 6 months ago
- Mojo-V: A RISC-V instruction set extension for privacy-oriented programming. Mojo-V allows programmers to write software that computes on…☆149Updated this week
- A Customized ASIC framework for Retro Stuff☆26Updated this week
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆111Jul 28, 2026Updated last week
- RISC-V BSV Specification☆24Apr 28, 2026Updated 3 months ago
- ☆17Jul 6, 2026Updated last month
- 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.
- ☆46Updated this week
- A hardware MJPEG encoder and RTP transmitter☆49Jan 15, 2020Updated 6 years ago
- Strix Claw hang fix for Linux☆10Aug 6, 2025Updated last year
- ☆12Jun 29, 2022Updated 4 years ago
- LD linker script grammar for tree-sitter☆11Nov 19, 2023Updated 2 years ago
- A dependency management tool for hardware projects.☆383Updated this week
- Community contributions for ungoogled-chromium☆16Aug 16, 2024Updated last year