CodeEvolve is an open-source evolutionary coding agent for algorithm discovery and optimization.
☆136Apr 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:
- DeepEvolve is a research and coding agent for new algorithm discovery in different science domains with Deep Research and AlphaEvolve.☆140Oct 11, 2025Updated 9 months ago
- Open-source implementation of AlphaEvolve☆6,878Jul 18, 2026Updated 3 weeks ago
- ShinkaEvolve: Towards Open-Ended and Sample-Efficient Program Evolution 🧬☆1,325Jul 31, 2026Updated last week
- [ICLR'26] CALM: Co-evolution of Algorithms and Language Model for Automatic Heuristic Design☆20Jun 16, 2026Updated last month
- OR-R1: Automating Modeling and Solving of Operations Research Optimization Problem via Test-Time Reinforcement Learning☆17Nov 12, 2025Updated 8 months 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.
- [ICLR 2026] HiFo-Prompt: Prompting with Hindsight and Foresight for LLM-based Automatic Heuristic Design☆16Feb 7, 2026Updated 6 months ago
- AI-Driven Scientific and Algorithmic Discovery☆595Jun 14, 2026Updated last month
- Evolutionary algorithm that uses Large Language Models (LLMs) to automatically improve programs through iterative mutation and selection☆125May 26, 2026Updated 2 months ago
- a method for efficient large integer arithmetic in cryptography☆16Sep 16, 2025Updated 10 months ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆16Aug 13, 2022Updated 3 years ago
- [NeurIPS 2024] ReEvo: Large Language Models as Hyper-Heuristics with Reflective Evolution☆290Jan 24, 2026Updated 6 months ago
- Benchmarking script for MindtPy solvers in the pyomo framework solving MINLP instance. This was created as part of my bachelor thesis dur…☆12Aug 13, 2020Updated 5 years ago
- ☆298Jan 5, 2026Updated 7 months ago
- 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.
- MLLM, DeepResearch, Agentic AI☆19Jun 1, 2026Updated 2 months ago
- ☆18Dec 21, 2025Updated 7 months ago
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆30Jun 23, 2025Updated last year
- 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.☆36Apr 26, 2026Updated 3 months ago
- Open-source autoresearch powered by autonomous coding agents. Run Claude Code, OpenCode, and Codex with grading, shared memory, and multi…☆880Updated this week
- This repo is for our EMNLP2023 short paper (Findings): InstOptima: Evolutionary Multi-objective Instruction Optimization via Large Langua…☆14Jan 11, 2024Updated 2 years ago
- A forward McCormick operator library☆18Jun 23, 2026Updated last month
- [ICLR 2026] Towards Efficient Constraint Handling in Neural Solvers for Routing Problems☆15Feb 20, 2026Updated 5 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.
- Code for An Inductive Bias for Distances: Neural Nets that Respect the Triangle Inequality (ICLR 2020)☆11Mar 24, 2023Updated 3 years ago
- ☆14Jan 17, 2026Updated 6 months ago
- The model for edge classification by transforming edges to nodes.☆15Dec 22, 2020Updated 5 years ago
- Agent ADA is a comprehensive evaluation and data analytics framework focused on insights generation and skills assessment.☆15Aug 19, 2025Updated 11 months ago
- Digital logic benchmark suite☆81Aug 3, 2026Updated last week
- General neural tactic for Lean 4☆42Updated this week
- Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimization (ICLR'26)☆93Apr 25, 2026Updated 3 months ago
- Evolutionary algorithm that uses Large Language Models (LLMs) to automatically improve programs through iterative mutation and selection☆24Nov 18, 2025Updated 8 months ago
- ☆39Jan 8, 2025Updated last year
- 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.
- All-in-one environment to use Dria, the collective knowledge for AI.☆14Mar 15, 2024Updated 2 years ago
- Implementation of Google Dremel's storage engine in a custom in-memory DB with query compilation.☆14Oct 10, 2020Updated 5 years ago
- ☆614May 24, 2026Updated 2 months ago
- Meta-Reinforcement Learning with Self-Reflection☆33Mar 26, 2026Updated 4 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 8 months ago
- SCoRe: Training Language Models to Self-Correct via Reinforcement Learning☆16May 14, 2026Updated 2 months ago