CHERI-enabled secure enclave that can be integrated as a subsytem on a system on chip.
☆35Aug 18, 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 4 months ago
- cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.☆135May 8, 2026Updated 3 months ago
- Testing processors with Random Instruction Generation☆62Aug 21, 2026Updated last week
- 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.
- 32位单精度浮点数加法器和除法器是用于执行符 合IEEE 754标准的浮点数加法、除法运算的数字电路。这样的电路设计在现代计算机系统中扮演着重要角色，特别是在处理需要高精度计算的任务时。这个小项目实现了一个符合IEEE 754 单精度浮点数标准（32 位）的浮点数加法器与除法…☆15Aug 14, 2025Updated last year
- 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 3 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.☆49Updated this week
- Functional Verification of Physical Layer of PCI Express Gen5.0 Graduation Project Using UVM☆35Jul 17, 2025Updated last year
- A demo system for Ibex including debug support and some peripherals☆99Jul 16, 2026Updated last month
- 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- UVM verification platform for DW_apb_i2c IP core(Master Mode)☆14Aug 21, 2023Updated 3 years ago
- A submodule of Chipyard https://github.com/ucb-bar/chipyard☆21Apr 28, 2026Updated 4 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☆18Dec 14, 2025Updated 8 months ago
- Tranining Completion Project : : Verification of AXI Direct Memory Access (DMA) using UVM☆51Jul 11, 2025Updated last year
- AIA IP compliant with the RISC-V AIA spec☆47Jan 27, 2025Updated last year
- ☆22Sep 26, 2025Updated 11 months ago
- ☆27Jan 30, 2026Updated 7 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- OpenTitan FI formal verification framework☆16Aug 29, 2023Updated 3 years ago
- OpenTitan: Open source silicon root of trust☆3,615Updated 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 5 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 7 months ago
- Mojo-V: A RISC-V instruction set extension for privacy-oriented programming. Mojo-V allows programmers to write software that computes on…☆151Aug 12, 2026Updated 2 weeks ago
- A Customized ASIC framework for Retro Stuff☆31Updated this week
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆113Aug 19, 2026Updated last week
- RISC-V BSV Specification☆24Apr 28, 2026Updated 4 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.
- ☆18Aug 20, 2026Updated last week
- ☆47Updated 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
- RISC-V Security HC admin repo☆17Jan 7, 2025Updated last year
- LD linker script grammar for tree-sitter☆11Nov 19, 2023Updated 2 years ago