Skip to content
View akashlevy's full-sized avatar
😄
😄

Block or report akashlevy

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

[WIP] Open-source DFT flow

Python 38 1 Updated May 9, 2026

V-Mate is a RISC V core processor developed by Hu-mind.AI VLSI Teammates tool.

C 2 Updated May 30, 2026

SystemVerilog (IEEE 1800-2017) Simulator

Rust 30 2 Updated Jun 9, 2026

Modular hardware build system

Python 1,165 127 Updated Jun 12, 2026
SystemVerilog 9 1 Updated Apr 29, 2026

A fuzzer for ML compilers

Rust 40 4 Updated Jun 12, 2026
SystemVerilog 265 63 Updated Dec 22, 2022

The Zylin ZPU

VHDL 251 34 Updated Apr 21, 2015

HARC: verification language compiler, sister to ARCH

Rust 11 1 Updated Jun 11, 2026

OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/

Verilog 2,744 918 Updated Jun 11, 2026

Condor Computing's fork of Spike with STF and BBV support, Spike-STF

C++ 4 2 Updated May 8, 2026

Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation

C++ 238 58 Updated Jun 11, 2026

ASIC implementation flow infrastructure, successor to OpenLane

Python 430 73 Updated Jun 10, 2026

Digital HDL Design Full-stack Agents

Python 147 42 Updated Jun 10, 2026

Alliance VLSI CAD Tools (LIP6)

C 23 5 Updated Dec 11, 2025

open source hardware synthesis. SystemVerilog, VHDL and ABEL-HDL to gate-level netlists

C 39 3 Updated Jun 4, 2026

Run agents like Hermes and OpenClaw more securely inside NVIDIA OpenShell with managed inference

TypeScript 21,133 2,813 Updated Jun 12, 2026

A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…

TypeScript 29,812 12,912 Updated Jun 11, 2026

SystemVerilog file list pruner

C++ 19 1 Updated Mar 2, 2026

Natural Language Exploration of Hardware Designs and Libraries (ICLAD'25) -- Best Paper Award

Python 17 1 Updated Jul 14, 2025

The SBOM tool is a highly scalable and enterprise ready tool to create SPDX 2.2 compatible SBOMs for any variety of artifacts.

C# 2,035 200 Updated Jun 11, 2026

A fast VHDL language server and analysis library written in Rust

Rust 492 76 Updated Jun 9, 2026

The open source coding agent.

TypeScript 173,235 20,838 Updated Jun 12, 2026

MCP Server for Ghidra

Java 9,194 933 Updated Jun 23, 2025

Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.

Rust 2,703 232 Updated Feb 5, 2026

Use graph neural network to predict power, timing and area of a digital system.

SystemVerilog 4 1 Updated Dec 8, 2025

LEC - Logic Equivalence Checking - Formal Verification

Verilog 43 6 Updated Jun 11, 2026

LLM-Assisted Hardware Formal Verification Tool

Rust 108 24 Updated Jun 10, 2026

HDL libraries and projects

Verilog 1,944 1,661 Updated Jun 11, 2026

A Verilog synthesis flow for Minecraft redstone circuits

SystemVerilog 1,558 34 Updated Nov 25, 2020
Next