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 31 2 Updated Jun 12, 2026

Modular hardware build system

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

A fuzzer for ML compilers

Rust 39 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 13, 2026

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

Verilog 2,750 919 Updated Jun 12, 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 13, 2026

ASIC implementation flow infrastructure, successor to OpenLane

Python 433 73 Updated Jun 10, 2026

Digital HDL Design Full-stack Agents

Python 149 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,186 2,821 Updated Jun 13, 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,841 12,901 Updated Jun 13, 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,034 200 Updated Jun 11, 2026

A fast VHDL language server and analysis library written in Rust

Rust 493 76 Updated Jun 13, 2026

The open source coding agent.

TypeScript 174,022 20,994 Updated Jun 13, 2026

MCP Server for Ghidra

Java 9,207 936 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,708 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 44 6 Updated Jun 13, 2026

LLM-Assisted Hardware Formal Verification Tool

Rust 108 24 Updated Jun 10, 2026

HDL libraries and projects

Verilog 1,945 1,662 Updated Jun 12, 2026

A Verilog synthesis flow for Minecraft redstone circuits

SystemVerilog 1,559 34 Updated Nov 25, 2020
Next