Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.
☆41Sep 7, 2026Updated last month
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:
- ☆82Jul 25, 2026Updated 3 months ago
- Math reasoning & proof-assist stack: GVR loop, citation checks via TheoremSearch, streaming API + web UI.☆37Jun 2, 2026Updated 4 months ago
- ☆360Oct 6, 2026Updated 2 weeks ago
- Vibe Mathematics —— 多代理数学问题求解与形式化验证框架☆43Updated this week
- Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations.☆22Sep 6, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆207Sep 22, 2026Updated last month
- ☆49Oct 31, 2025Updated 11 months ago
- 一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿数学研究中的潜在能力。☆33Mar 19, 2026Updated 7 months ago
- ☆18Jul 30, 2026Updated 2 months ago
- ☆15Oct 21, 2020Updated 6 years ago
- EvE is an open-source framework for co-evolving ensembles of coding agents. Wrap Codex into an evolutionary loop that co-evolves solvers …☆62Aug 20, 2026Updated 2 months ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.☆227Aug 17, 2026Updated 2 months ago
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆22Jun 27, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆20Aug 17, 2026Updated 2 months ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆19Oct 22, 2023Updated 3 years ago
- ☆40Sep 26, 2026Updated last month
- Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs☆33Nov 1, 2025Updated 11 months ago
- 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
- ☆37Sep 8, 2026Updated last month
- ☆24Mar 16, 2026Updated 7 months ago
- ☆27Apr 16, 2026Updated 6 months ago
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Oct 3, 2026Updated 3 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Riemann Hypothesis in Lean☆47Mar 3, 2021Updated 5 years ago
- Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)☆28Updated this week
- DyLean, a framework for the symbolic analysis of cryptographic protocols☆22Oct 15, 2026Updated last week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Jul 29, 2026Updated 2 months ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- A Systematic Verification and Structured Revision of Humanity’s Last Exam☆16Feb 27, 2026Updated 7 months ago
- 在线图书借阅系统 - 2017 THU OOP课大作业☆14Jul 1, 2018Updated 8 years ago
- ☆13Aug 27, 2026Updated last month
- Repository of experiment for the paper☆10Feb 5, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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
- List of awesome works that use AI for mathematical discoveries.☆97Oct 12, 2026Updated last week
- An encoding of Zermelo-Fraenkel Set Theory in Coq☆30Dec 17, 2022Updated 3 years ago
- A LaTeX template for academic posters with Tsinghua University logo☆15Nov 18, 2022Updated 3 years ago
- [work-in-progress] Java parser written in Rust☆19May 19, 2022Updated 4 years ago
- A plugin for Abaqus CAE 2018 to apply arbitrary stress fields more easily☆12Oct 10, 2023Updated 3 years ago