Pinned Loading

1. OS-formal-ibex OS-formal-ibex Public

   Forked from lowRISC/ibex

   Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.

   SystemVerilog 1

2. rdcp rdcp Public

   Rust decompiler

   Rust 5

3. microsoft/cheriot-ibex microsoft/cheriot-ibex Public

   cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.

   SystemVerilog 129 24

4. lowRISC/ibex lowRISC/ibex Public

   Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.

   SystemVerilog 1.9k 731