Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.
☆41Sep 7, 2026Updated 2 months ago
Alternatives and similar repositories for Moonshine
Users that are interested in Moonshine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- EvE is an open-source framework for co-evolving ensembles of coding agents. Wrap Codex into an evolutionary loop that co-evolves solvers …☆66Aug 20, 2026Updated 2 months ago
- 一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿数学研究中的潜在能力。☆33Mar 19, 2026Updated 7 months ago
- Math reasoning & proof-assist stack: GVR loop, citation checks via TheoremSearch, streaming API + web UI.☆38Jun 2, 2026Updated 5 months ago
- ☆365Oct 6, 2026Updated last month
- ☆88Jul 25, 2026Updated 3 months 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.
- AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.☆232Aug 17, 2026Updated 2 months ago
- Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations.☆22Sep 6, 2026Updated 2 months ago
- ☆209Sep 22, 2026Updated last month
- ☆50Oct 31, 2025Updated last year
- ☆15Oct 21, 2020Updated 6 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- ☆18Jul 30, 2026Updated 3 months ago
- The second version of AIM with a special focus on interaction and generalizability.☆15Sep 2, 2026Updated 2 months ago
- Lean formalization of CFSG☆21Oct 28, 2026Updated 2 weeks 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.
- The Megalodon interactive theorem prover and proof checker☆16Apr 14, 2024Updated 2 years ago
- A 3D dependency graph visualizer for Lean 4 projects☆13Mar 30, 2026Updated 7 months ago
- A mathematical research workflow built on Pi Durable☆42Updated this week
- Vibe Mathematics —— 多代理数学问题求解与形式化验证框架☆46Updated this week
- A formal proof of an exponentially better upper bound on Ramsey numbers☆20Oct 22, 2023Updated 3 years ago
- ☆20Aug 17, 2026Updated 2 months ago
- [ICML2026] The official code of "Beyond Gemini-3-Pro: Revisiting LLM Routing and Aggregation at Scale"☆16Jun 3, 2026Updated 5 months ago
- ☆42Sep 26, 2026Updated last month
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆21Jun 27, 2026Updated 4 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.
- Evolved math problems and prompt templates from Code2Math project☆12Jul 3, 2026Updated 4 months ago
- ☆24Mar 16, 2026Updated 7 months ago
- ☆28Apr 16, 2026Updated 6 months ago
- Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs☆35Nov 1, 2025Updated last year
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 3 years ago
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Updated this week
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago
- How-to for working with COMSOL for Crystal Plasticity☆10Aug 10, 2020Updated 6 years ago
- ☆15Nov 4, 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.
- Dislocation dynamics codes☆12Nov 3, 2017Updated 9 years ago
- Official implementation of Continual Harness (arxiv.org/abs/2605.09998) on ARC-AGI-3☆42Jul 3, 2026Updated 4 months ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)☆29Nov 2, 2026Updated last week
- Repository of experiment for the paper☆10Feb 5, 2024Updated 2 years ago
- This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algor…☆12Jan 10, 2025Updated last year
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
Are these results useful?