Verilog Generation with Reinforcement Learning
☆12Jul 15, 2025Updated last year
Alternatives and similar repositories for VeriPrefer
Users that are interested in VeriPrefer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Nov 20, 2024Updated last year
- [DATE 2025] haven: hallucination-mitigated llm for verilog code generation aligned with hdl engineers☆44Jul 9, 2025Updated last year
- ☆16May 24, 2025Updated last year
- LLM4HWDesign Starting Toolkit☆20Oct 4, 2024Updated 2 years ago
- This repository includes the data and scripts utilized in the study titled "Improving LLM-based Verilog Code Generation with Data Augment…☆14Mar 24, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The first large scale formally verified reasoning dataset for Verilog☆25May 16, 2025Updated last year
- ☆18Jul 26, 2026Updated 3 months ago
- Standard HyperRAM core for ECP5 written in Litex/Migen☆14Dec 6, 2019Updated 6 years ago
- PRO-V: An Efficient Program Generation Multi-Agent System for Automatic RTL Verification☆36Dec 11, 2025Updated 10 months ago
- Data is all you need: Finetuning LLMs for Chip Design via an Automated design-data augmentation framework (DAC 2024)☆62Dec 17, 2024Updated last year
- This is the Github Repo for the paper: VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generati…☆29Sep 25, 2025Updated last year
- ☆59Jan 6, 2026Updated 9 months ago
- ☆64Mar 10, 2025Updated last year
- Offical implementation of our paper "Exploring the Potential of Diffusion Large Language Models in Code Generation".☆23Sep 26, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- [NeurIPS 2026] Official implementaion for Flash-dLLM: IO-Aware KV Caching and Parallel Decoding for Fast, Memory-Efficient Diffusion LLMs☆18Oct 7, 2026Updated 3 weeks ago
- HRM-MoE: Efficient Sparse Pretraining with Hierarchical Reasoning☆11Jun 17, 2026Updated 4 months ago
- Transforms raw text into interconnected knowledge graphs and autonomously generates insights through advanced pattern detection. It combi…☆11Jul 29, 2026Updated 2 months ago
- Massachusetts Road extraction by u-net using fastaiv1☆13Apr 7, 2020Updated 6 years ago
- Small footprint and configurable HyperBus core☆14Jul 6, 2022Updated 4 years ago
- EVE Online Market MCP Server - A Model Context Protocol server for accessing EVE Online market data through ESI API☆10Jul 25, 2025Updated last year
- ☆14Aug 2, 2026Updated 2 months ago
- Enhanced MCP server for Bloomberg Terminal — BDP/BDH/BDS/BQL/TA with 18 tools, caching, and dynamic screening. Based on tallinn102/bloomb…☆23Apr 19, 2026Updated 6 months ago
- turn qwen 3.6 27B-> AR -> diffusion (opendllm + d3llm)☆15Jun 11, 2026Updated 4 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A cross-platform printer AI MCP server that supports Windows, macOS, and Linux systems, providing printer management, status queries, and…☆14Mar 10, 2026Updated 7 months ago
- ☆14May 29, 2026Updated 5 months ago
- Implementation of ExCut: Explainable Embedding-based Clustering over Knowledge Graphs☆12Jul 7, 2021Updated 5 years ago
- Code and data release for FEABench: Evaluating Language Models on Multiphysics Reasoning Ability. [MATH-AI workshop, NeurIPS 2024]☆14May 7, 2025Updated last year
- A Model Context Protocol (MCP) server which allows MCP Clients (such as Claude) to connect to Twitch Chat.☆11Jan 20, 2025Updated last year
- Solid Edge MCP server for AI-assisted CAD design - create, analyze, modify, and export models☆30Sep 20, 2026Updated last month
- Language Models for Code Completion: a Practical Evaluation☆13Jan 19, 2024Updated 2 years ago
- A general framework for optimizing DNN dataflow on systolic array☆40Jan 2, 2021Updated 5 years ago
- ☆20Aug 8, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 📧 MCP server for Gmail☆12Updated this week
- ☆18Jan 11, 2026Updated 9 months ago
- Synthesized models for PHOG to make the results reproducible by the research community☆11Jan 23, 2020Updated 6 years ago
- Bluetooth Low Energy (BLE) MCP server for Claude Code and other MCP-compatible agents.☆18Mar 30, 2026Updated 6 months ago
- an MCP for querying the EVM☆12Apr 1, 2025Updated last year
- [EMNLP'26 Findings] Triplet-Block Diffusion RWKV☆15May 26, 2026Updated 5 months ago
- An experimental edge key-value database built on top of FoundationDB.☆11Jan 9, 2025Updated last year