Popular repositories Loading

1. ibex-fork ibex-fork Public

   Forked from lowRISC/ibex

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

   SystemVerilog

2. VGen-fork VGen-fork Public

   Forked from shailja-thakur/VGen

   Jupyter Notebook

3. llama-agentic-system llama-agentic-system Public

   Forked from meta-llama/llama-stack-apps

   Agentic components of the Llama Stack APIs

   Python

4. svunit svunit Public

   Forked from svunit/svunit

   SystemVerilog

5. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

6. verilator verilator Public

   Forked from verilator/verilator

   Verilator open-source SystemVerilog simulator and lint system

   C++