- Mountain View, CA
- akashlevy.com
- https://orcid.org/0000-0002-1013-6257
- akashlevy
- in/akashlevy
- @akashlevy
- akashlevy
Stars
Official repository of the AWS EC2 FPGA Hardware and Software Development Kit
An open source CPU design and verification platform for academia
Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.
Copilot Chat extension for VS Code
Functional verification project for the CORE-V family of RISC-V cores.
wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.
All in one vscode plugin for HDL development
Klavis AI (YC X25): Open Source MCP integration for AI applications
Structural Netlist API (and more) for EDA post synthesis flow development
FPGA synthesis tool powered by equality saturation and program synthesis.
FPGA synthesis tool powered by program synthesis
Test suite designed to check compliance with the SystemVerilog standard.
This project aims to be a collaborative effort to collect under one roof all the memristor models published to date.
The official Python SDK for Model Context Protocol servers and clients
ABC: System for Sequential Logic Synthesis and Formal Verification
⏩ Create, share, and use custom AI code assistants with our open-source IDE extensions and hub of models, rules, prompts, docs, and other building blocks
The TypeScript AI agent framework. ⚡ Assistants, RAG, observability. Supports any LLM: GPT-4, Claude, Gemini, Llama.