CTSRD-CHERI / TooobaView external linksLinks
RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT
☆34Feb 7, 2026Updated last week
Alternatives and similar repositories for Toooba
Users that are interested in Toooba are comparing it to the libraries listed below
Sorting:
- CHERI ISA Specification☆26Jan 22, 2026Updated 3 weeks ago
- ForSyDe's Haskell-embedded Domain Specific Language☆12Apr 10, 2024Updated last year
- ☆12Jan 7, 2023Updated 3 years ago
- QEMU with support for CHERI☆64Feb 9, 2026Updated last week
- ☆17Mar 17, 2022Updated 3 years ago
- Bazel build rules for compiling Verilog☆21Mar 4, 2024Updated last year
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- Synthesisable SIMT-style RISC-V GPGPU☆48Jul 7, 2025Updated 7 months ago
- Testing processors with Random Instruction Generation☆55Jan 13, 2026Updated last month
- wasi-parallel is a proposal to add a parallel for construct to WASI.☆26Dec 2, 2025Updated 2 months ago
- Research repository for distributed GPU based zkSNARKs prover☆23Oct 11, 2018Updated 7 years ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆184May 8, 2025Updated 9 months ago
- Verilog development and verification project for HOL4☆28Apr 25, 2025Updated 9 months ago
- FastPath_MP: An FPGA-based multi-path architecture for direct access from FPGA to NVMe SSD☆36Apr 20, 2021Updated 4 years ago
- A PS4 port of musl for the OpenOrbis PS4 Toolchain.☆35Oct 6, 2025Updated 4 months ago
- FUSION is an open-source project aimed at revolutionizing networking through the simulation of advanced SD-EONs and AI-enhanced networks,…☆13Updated this week
- Sail code model of the CHERIoT ISA☆48Feb 3, 2026Updated last week
- A framework for FPGA emulation of mixed-signal systems☆39Jul 28, 2021Updated 4 years ago
- A collection of reverse-engineered documentation for the instruction sets for various generations of Mali GPU's.☆38Mar 10, 2018Updated 7 years ago
- FirmWire has replaced ShannonEE. OLD: A dynamic analysis environment for Samsung's Shannon baseband.☆43Mar 14, 2022Updated 3 years ago
- ☆42Aug 5, 2021Updated 4 years ago
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Feb 4, 2026Updated last week
- ☆11Sep 8, 2022Updated 3 years ago
- GIAnT, the Generic Implementation ANalysis Toolkit☆11Jul 4, 2018Updated 7 years ago
- ☆13Nov 29, 2025Updated 2 months ago
- Training Language Model Agents to Find Vulnerabilities with CTF-Dojo☆32Jan 10, 2026Updated last month
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 7 months ago
- ☆10Oct 3, 2018Updated 7 years ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- ☆13Mar 26, 2024Updated last year
- A curated list of resources for the æternity blockchain☆14Aug 12, 2024Updated last year
- A DDS core written in VHDL.☆11Jan 5, 2019Updated 7 years ago
- NAPALM Driver for Dell EMC OS10 Enterprise☆11Nov 11, 2021Updated 4 years ago
- The Unified TileLink Memory Subsystem Tester for XiangShan☆12Jan 7, 2026Updated last month
- ☆20May 8, 2012Updated 13 years ago
- A copy from of ARM Benchmark tools souce code: lmbench dhrystone fhourstones Linpack whetstone.☆39Feb 25, 2014Updated 11 years ago
- PolarFire SoC hart software services☆50Jan 23, 2026Updated 3 weeks ago
- IO expansion board compatible with Digilent Arty A7☆11Aug 7, 2023Updated 2 years ago
- Schematic and troubleshooting guide for the Toshiba T1600 Power Supply board (PSU)☆12Apr 14, 2022Updated 3 years ago