EvE is an open-source framework for co-evolving ensembles of coding agents. Wrap Codex into an evolutionary loop that co-evolves solvers and agent guidance.
☆62Aug 20, 2026Updated 2 months ago
Alternatives and similar repositories for eve
Users that are interested in eve are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆20Aug 17, 2026Updated 2 months ago
- ☆37Sep 8, 2026Updated last month
- This project is lead by Dr Wei Shao☆15Nov 19, 2024Updated last year
- ☆82Jul 25, 2026Updated 2 months ago
- Lean formalization of bounded gaps between primes☆44Aug 18, 2026Updated 2 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.
- Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)☆28Updated this week
- Portable sovereign AI appliance & ultra-compact compute cluster for local LLM inference.☆24Sep 28, 2026Updated 3 weeks ago
- Causal Discovery via Bayesian Optimization (DrBO) - ICLR 2025☆24Apr 13, 2025Updated last year
- An introduction to theorem proving in Lean for the impatient.☆19Apr 6, 2025Updated last year
- ☆22Sep 25, 2026Updated 3 weeks ago
- ☆13Aug 27, 2026Updated last month
- Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.☆41Sep 7, 2026Updated last month
- Functions and classes for doing Gaussian process models of proteins☆11Apr 13, 2018Updated 8 years ago
- ☆14Jul 14, 2026Updated 3 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.
- Causal Inference for Time Series Data (with CausalML Demo)☆14Jun 11, 2023Updated 3 years ago
- 200+ open problems in mathematics investigated by AI agents — proofs, disproofs, counterexamples, exact certificates, and AI-proposed con…☆19Sep 16, 2026Updated last month
- ☆12Dec 18, 2025Updated 10 months ago
- [EMNLP'26 Oral] HarnessForge☆30Sep 28, 2026Updated 3 weeks ago
- ☆10Jul 18, 2022Updated 4 years ago
- Ring-based access control for generic resources over iroh protocols.☆20Sep 25, 2026Updated 3 weeks ago
- ☆10Oct 19, 2023Updated 3 years ago
- You should use PySR to find scaling laws. Here's an example.☆33Sep 30, 2023Updated 3 years ago
- Smart anti-censorship proxy with ISP detection and auto bypass. One command install.☆20Sep 19, 2026Updated last month
- 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.
- A benchmark for scientific research agents, evaluating end-to-end paper reproduction across 12 research areas.☆40Oct 8, 2026Updated 2 weeks ago
- Reference implementation of Thin and Deep Gaussian Processes (NeurIPS 2023)☆15Nov 25, 2024Updated last year
- Python APIs for Open PermID☆17Jan 24, 2024Updated 2 years ago
- MCP server providing multimodal vision capabilities via OpenAI-compatible API (Qwen3-VL, GPT-4o, etc.)☆20Feb 9, 2026Updated 8 months ago
- Tool performing NLP on annual 10K filings using Spacy, Gensim etc.☆10May 23, 2023Updated 3 years ago
- A better Alpaca Model Trained with Less Data (only 9k instructions of the original set)☆25Jul 26, 2024Updated 2 years ago
- Deep Learning (PyTorch) Models Deployment using SQL databases☆10Jul 25, 2021Updated 5 years ago
- Official implementation of "Recursive Flow Matching"☆16May 13, 2026Updated 5 months ago
- Data from the M-competitions☆12May 4, 2026Updated 5 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.
- ☆31Apr 3, 2026Updated 6 months ago
- A CUDA accelerated utility for using HyperLogLog's for cardinality estimation☆19Dec 26, 2012Updated 13 years ago
- Dotted thought-orb loading indicators for AI & agent UIs — GPUI port of thinking-orbs☆17Aug 10, 2026Updated 2 months ago
- 1,017 system prompts from real AI products, audited span by span against the eight AISPA assurance dimensions☆37Oct 13, 2026Updated last week
- Probabilistic Finite Volume Method based on Affine Gaussian Process inference☆11Jun 10, 2024Updated 2 years ago
- 小猴偷米微信小程序☆12Mar 21, 2019Updated 7 years ago
- EPIDEMIC is an easy-to-run Matlab/Octave educational toolkit for epidemiological analysis.☆18Apr 4, 2025Updated last year