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.
☆66Aug 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:
- ☆18May 24, 2026Updated 5 months ago
- Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.☆41Sep 7, 2026Updated 2 months ago
- ☆15May 3, 2026Updated 6 months ago
- LLM-driven proof search on Erdős problems (2 solutions accepted on erdosproblems.com)☆17Apr 21, 2026Updated 6 months ago
- A ChatGPT powered Clippy to help with chatbots☆13Feb 5, 2023Updated 3 years 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.
- ☆14Nov 18, 2025Updated 11 months ago
- ☆64Jul 21, 2025Updated last year
- Accompanying data for my book Mixed Models: Theory and Applications with R☆12Oct 29, 2019Updated 7 years ago
- ☆37Sep 8, 2026Updated 2 months ago
- The Senseiver: attention-based global field reconstruction from sparse observations☆38Nov 21, 2024Updated last year
- ☆18Oct 14, 2026Updated last month
- Desktop pet inspired from MS Clippy with ChatGPT support☆20Mar 17, 2023Updated 3 years ago
- AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.☆232Aug 17, 2026Updated 2 months ago
- This project is lead by Dr Wei Shao☆15Nov 19, 2024Updated 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.
- Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs☆35Nov 1, 2025Updated last year
- ☆41Dec 2, 2024Updated last year
- ☆20Aug 17, 2026Updated 2 months ago
- ☆42Sep 26, 2026Updated last month
- Supporting codes for the numerical implementations in the paper "Operator inference for non-intrusive model reduction with quadratic mani…☆11Aug 18, 2022Updated 4 years ago
- 本项目支持小红书 / Rednote 总浏览量、点赞量、收藏量、评论数、转发数一键查询。忽略小红书创作服务平台半年限制，支持所有笔记数据的导出，支持展示个人主页历史浏览量 Top 10 笔记。 登录创作服务平台并打开笔记管理页面后，扩展会读取当前账号的全部笔记，在浏览器本…☆23Oct 10, 2026Updated last month
- ☆13Feb 28, 2025Updated last year
- ☆77Aug 4, 2026Updated 3 months ago
- ☆10Apr 19, 2026Updated 6 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.
- B-PINN - Jax - HMC tutorial☆22Mar 31, 2023Updated 3 years ago
- 🏔️ PINNACLE: PINN Adaptive ColLocation and Experimental points selection☆30Jul 26, 2024Updated 2 years ago
- Ten Thousand Tsumego App☆45Oct 2, 2024Updated 2 years ago
- ☆33Sep 9, 2026Updated 2 months ago
- ☆42Jun 5, 2026Updated 5 months ago
- The formal proof of the Odd Order Theorem☆37Aug 20, 2026Updated 2 months ago
- A self-hosted workspace where people and AI agents share one memory: chat, wiki, knowledge bases, an accounting book and a code repositor…☆13Nov 7, 2026Updated last week
- Physics-informed neural networks in JAX — multi-GPU training, advanced PINN algorithms, and 16 benchmark examples☆35Aug 12, 2026Updated 3 months ago
- ☆12Oct 28, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)☆29Nov 2, 2026Updated last week
- Amgix (a-MAG-ix) is a modular distributed hybrid search system☆11Oct 24, 2026Updated 3 weeks ago
- ☆291Jul 8, 2026Updated 4 months ago
- Official implementation of Score-based Data Assimilation☆93Jan 12, 2024Updated 2 years ago
- A flexible system for managing various types of sources (papers, books, webpages, etc.) and integrating them with knowledge graphs.☆19Mar 9, 2026Updated 8 months ago
- Lean4 Code Editor☆19Oct 9, 2026Updated last month
- A curated list of mathematical proofs generated by artificial intelligent systems, verified by automated theorem prover, and a list of su…☆15Oct 17, 2026Updated 3 weeks ago
Are these results useful?