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

ASIC implementation flow infrastructure, successor to OpenLane

Python 379 66 Updated Apr 23, 2026

Digital HDL Design Full-stack Agents

Python 81 14 Updated Apr 19, 2026

Alliance VLSI CAD Tools (LIP6)

C 22 4 Updated Dec 11, 2025

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

C 34 3 Updated Apr 8, 2026

Run OpenClaw more securely inside NVIDIA OpenShell with managed inference

TypeScript 19,703 2,468 Updated Apr 23, 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 27,806 12,608 Updated Apr 23, 2026

SystemVerilog file list pruner

C++ 18 1 Updated Mar 2, 2026

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

Python 16 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,015 197 Updated Apr 23, 2026

A fast VHDL language server and analysis library written in Rust

Rust 476 72 Updated Apr 23, 2026

The open source coding agent.

TypeScript 148,353 16,985 Updated Apr 23, 2026

MCP Server for Ghidra

Java 8,596 844 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,641 222 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 38 6 Updated Apr 23, 2026

LLM-Assisted Hardware Formal Verification Tool

Rust 101 22 Updated Apr 23, 2026

HDL libraries and projects

Verilog 1,903 1,651 Updated Apr 23, 2026

A Verilog synthesis flow for Minecraft redstone circuits

SystemVerilog 1,546 32 Updated Nov 25, 2020

A machine learning accelerator core designed for energy-efficient AI at the edge.

Emacs Lisp 2,233 268 Updated Apr 22, 2026

RTLMeter benchmark suite

Verilog 31 11 Updated Apr 14, 2026

CRCat: Complex Rational Catalog of all Possible RLC Networks of up to and Including Five Elements

MATLAB 35 3 Updated Nov 22, 2025

Manage headless displays with Xvfb (X virtual framebuffer)

Python 348 56 Updated Apr 4, 2026

RTL logic synthesis

C++ 132 5 Updated Apr 17, 2026

Universal Memory Interface (UMI)

Verilog 158 17 Updated Apr 16, 2026

TuRTLe: A Unified Evaluation of LLMs for RTL Generation 🐢 (MLCAD 2025)

Python 42 8 Updated Feb 23, 2026

A SystemVerilog language server based on the Slang library.

C++ 205 34 Updated Apr 23, 2026

TensorZero is an open-source LLMOps platform that unifies an LLM gateway, observability, evaluation, optimization, and experimentation.

Rust 11,270 820 Updated Apr 23, 2026

An open-source resistive random access memory (RRAM) compiler based on OpenRAM.

Python 9 Updated Nov 21, 2020

Evaluating accuracy on quantized DNNs using RRAM as weight storage

Jupyter Notebook 6 1 Updated Aug 26, 2022
Next