CodeEvolve is an open-source evolutionary coding agent for algorithm discovery and optimization.
☆144Apr 8, 2026Updated 4 months ago
Alternatives and similar repositories for science-codeevolve
Users that are interested in science-codeevolve are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ThetaEvolve: Test-time Learning on Open Problems, enabling RL training on AlphaEvolve/OpenEvolve and emphasizing scaling test-time comput…☆176Feb 27, 2026Updated 6 months ago
- DeepEvolve is a research and coding agent for new algorithm discovery in different science domains with Deep Research and AlphaEvolve.☆141Oct 11, 2025Updated 10 months ago
- Open-source implementation of AlphaEvolve☆7,285Jul 18, 2026Updated last month
- ShinkaEvolve: Towards Open-Ended and Sample-Efficient Program Evolution 🧬☆1,359Aug 21, 2026Updated last week
- [ICLR'26] CALM: Co-evolution of Algorithms and Language Model for Automatic Heuristic Design☆21Jun 16, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- OR-R1: Automating Modeling and Solving of Operations Research Optimization Problem via Test-Time Reinforcement Learning☆17Nov 12, 2025Updated 9 months ago
- A mini-app to solve the heat conduction equation☆15Jul 1, 2020Updated 6 years ago
- AI-Driven Scientific, Algorithmic, and Systems Discovery☆626Updated this week
- [AAAI 2026] Benchmarking Language Model Agents in Algorithm Search for Combinatorial Optimization☆56May 17, 2026Updated 3 months ago
- Evolutionary algorithm that uses Large Language Models (LLMs) to automatically improve programs through iterative mutation and selection☆127Aug 17, 2026Updated last week
- [AAAI-26] MPaGE: Pareto-Grid-Guided Large Language Models for Fast and High-Quality Heuristics Design in Multi-Objective Combinatorial Op…☆31Mar 10, 2026Updated 5 months ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- Code for [ICML2025]``Monte Carlo Tree Search for Comprehensive Exploration in LLM-Based Automatic Heuristic Design``.☆85May 23, 2025Updated last year
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- [NeurIPS 2024] ReEvo: Large Language Models as Hyper-Heuristics with Reflective Evolution☆294Jan 24, 2026Updated 7 months ago
- ☆15Dec 6, 2023Updated 2 years ago
- ☆301Jan 5, 2026Updated 7 months ago
- Open-source autoresearch powered by autonomous coding agents. Run Claude Code, OpenCode, and Codex with grading, shared knowledge, and mu…☆936Aug 23, 2026Updated last week
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆31Jun 23, 2025Updated last year
- A low-cost and high-performance evolutionary engine for code and prompt optimization☆43Jun 22, 2026Updated 2 months ago
- FPGA 2025 SAT Accel: A modern SAT Solver on FPGA Repository☆14Mar 13, 2025Updated last year
- A framework for discovering, compiling, and validating reusable skills for scientific agents.☆37Apr 26, 2026Updated 4 months ago
- TAIDL: Tensor Accelerator ISA Definition Language☆19Apr 28, 2026Updated 4 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆15Jun 18, 2024Updated 2 years ago
- Agent ADA is a comprehensive evaluation and data analytics framework focused on insights generation and skills assessment.☆15Aug 19, 2025Updated last year
- Evaluation repository of wikipedia index with Dria☆10Mar 14, 2024Updated 2 years ago
- Digital logic benchmark suite☆84Aug 17, 2026Updated last week
- General neural tactic for Lean 4☆43Aug 6, 2026Updated 3 weeks ago
- ANSI-C benchmarks generated from Verilog RTL circuits with safety assertions. Used for Formal Property Verification.☆17Dec 1, 2018Updated 7 years ago
- Towards Foundation Models for Mixed Integer Linear Programming☆17Feb 3, 2025Updated last year
- Evolutionary algorithm that uses Large Language Models (LLMs) to automatically improve programs through iterative mutation and selection☆24Nov 18, 2025Updated 9 months ago
- ☆13Apr 15, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆40Jan 8, 2025Updated last year
- All-in-one environment to use Dria, the collective knowledge for AI.☆14Mar 15, 2024Updated 2 years ago
- ☆632May 24, 2026Updated 3 months ago
- Meta-Reinforcement Learning with Self-Reflection☆34Mar 26, 2026Updated 5 months ago
- A high-efficiency hybrid solving CEC algorithm☆14May 25, 2023Updated 3 years ago
- Efficiently discovering algorithms via LLMs with evolutionary search and reinforcement learning.☆142Nov 18, 2025Updated 9 months ago
- SCoRe: Training Language Models to Self-Correct via Reinforcement Learning☆16May 14, 2026Updated 3 months ago