☆16May 6, 2026Updated 2 months ago
Alternatives and similar repositories for VeriRAG
Users that are interested in VeriRAG are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆24May 8, 2025Updated last year
- RTLMeter benchmark suite☆31Updated this week
- This repository presents ASIC design flow for UART utilizing RTL to GDS implementation This has been simulated on VCS and has been impl…☆30Apr 29, 2024Updated 2 years ago
- ☆16Mar 23, 2026Updated 3 months ago
- ConFuzz is an advanced FPGA configuration engine fuzzing and rapid prototyping framework based on boofuzz and OpenOCD.☆16Apr 1, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- LlamaIndex Powered RAG for PDF, TXT and DOCX files with Tesseract OCR support, Semantic chunking, Document citations with direct page dis…☆15Dec 7, 2025Updated 7 months ago
- ☆18Sep 25, 2025Updated 9 months ago
- The code about TC-Bench and CircuitMind☆17Jun 7, 2025Updated last year
- [ICCV 2025] Implementation of the paper: "StochasticSplats: Stochastic Rasterization for Sorting-Free 3D Gaussian Splatting"☆54Dec 5, 2025Updated 7 months ago
- ICRTL Benchmark: Industrial-level RTL design challenges for evaluating PPA optimization, code generation, and LLM applications in EDA.☆25Jul 3, 2026Updated last week
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆28Jun 23, 2025Updated last year
- Parse FSDB waveform files☆23Apr 13, 2026Updated 3 months ago
- ☆15Jun 24, 2025Updated last year
- A self-evolving personal AI assistant.☆39Mar 13, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆17Apr 19, 2026Updated 2 months ago
- Morphle Logic V1.0, an open hardware asynchronous runtime reconfigurable array ARRA or PPL,FPGA,CPLD☆26Feb 12, 2023Updated 3 years ago
- 3D Gaussian Splatting and Diffusion Guided Optimization☆38Oct 21, 2025Updated 8 months ago
- Loam system models☆16Dec 30, 2019Updated 6 years ago
- 玄学资料库☆52Aug 17, 2021Updated 4 years ago
- Learning Coccinelle☆11Nov 2, 2017Updated 8 years ago
- GL0AM GPU Accelerated Gate Level Logic Simulator☆30Feb 11, 2026Updated 5 months ago
- A fully open source low cost FPGA board for makers , hobbyist and student for endless possibility.☆43Dec 13, 2025Updated 7 months ago
- 开源免费的 婚礼邀请函 小程序☆13Nov 13, 2021Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Spring Boot Content Management System.(CMS)using Sping Boot,Hibernate,Lucene,quartz.☆10Mar 14, 2019Updated 7 years ago
- pyslang-mcp is a read-only Model Context Protocol server for compiler-backed Verilog and SystemVerilog analysis. It uses pyslang to parse…☆19Jun 14, 2026Updated last month
- Digital HDL Design Full-stack Agents☆165Updated this week
- ☆28Mar 13, 2026Updated 4 months ago
- Fast Symbolic Repair of Hardware Design Code☆39Jan 20, 2025Updated last year
- A RISC-V RV32I ISA Single Cycle CPU☆26May 22, 2025Updated last year
- Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs☆64Oct 28, 2024Updated last year
- 高考填报志愿平台，模拟测试☆28May 30, 2025Updated last year
- An LLVM pass that can generate CDFG and map the target loops onto a parameterizable CGRA.☆81Jan 6, 2026Updated 6 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- AI-Powered Hardware Design & Verification Copilot - Plugin for your CLI☆22Updated this week
- The PE for the second generation CGRA (garnet).☆18Feb 22, 2026Updated 4 months ago
- Signal SNR, periodicity, despike, and time registration accommodating N time series☆12Jun 21, 2017Updated 9 years ago
- ☆13Nov 18, 2025Updated 7 months ago
- This project is primarily aimed at showcasing an EDA toolchain based on the OpenClaw framework, in which our own research work is also de…☆59Apr 2, 2026Updated 3 months ago
- Provides a simple dashboard for viewing system stats, and an API for retrieving said stats programmatically.☆15Jun 20, 2021Updated 5 years ago
- 数据仓库KETTLE ETL资源库☆14Jun 11, 2015Updated 11 years ago