The harness of Open Math OS, infrastructure for Math 2.0. Built for everyday math research.
☆175Oct 23, 2026Updated this week
Alternatives and similar repositories for open-math-harness
Users that are interested in open-math-harness are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tools for writing good AI generated papers☆15Sep 2, 2026Updated last month
- ☆16Aug 26, 2026Updated last month
- Flow Map Speculative Decoding☆34Updated this week
- Community-curated record of math problems solved by AI - significance rankings, verification labels, CC BY 4.0 dataset☆30Oct 15, 2026Updated last week
- MoJev: typed, calibrated decisions in one forward pass.☆30Sep 23, 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 Lean 4 library for formal linguistics.☆28Updated this week
- A high performance development and dispatch library for high-performance machine learning kernels.☆38Aug 15, 2026Updated 2 months ago
- ❯ Lightweight, beautiful and user-friendly interactive prompts — forked for the Graphite CLI☆12Dec 16, 2025Updated 10 months ago
- ☆141Updated this week
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆42Updated this week
- 15k open math problems, linked to their sources.☆28Updated this week
- Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them☆136Updated this week
- ☆18Jul 30, 2026Updated 2 months ago
- MCP Server for AI agents to interact with our Lean infrastructure☆37Sep 16, 2026Updated last month
- 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.
- [Version 0.5.0][Registered Package][Functional] (max,+) and (min,+) algebra toolbox for Julia from Scilab toolbox☆10Sep 28, 2026Updated 3 weeks ago
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (cl…☆16Nov 21, 2022Updated 3 years ago
- repository for the collaborative formalization seminar in Analysis in Bonn☆12May 1, 2026Updated 5 months ago
- Legacy Complexitylib V1; development continues at cslib-community/complexitylib.☆29Updated this week
- i18n library for Lean.☆14Updated this week
- Sample implementation accompanying the NeurIPS 2019 paper 'Powerset Convolutional Neural Networks' by Chris Wendler, Dan Alistarh, and Ma…☆10Oct 26, 2020Updated 5 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- IDNI's parser library☆10Updated this week
- 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.
- Running Aristotle from Harmonic on Putnam 2025 problems☆15Dec 10, 2025Updated 10 months ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- ☆18Updated this week
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆88Oct 17, 2026Updated last week
- dataset, environment, and other resources for mrCAD paper☆25Sep 19, 2025Updated last year
- ☆27Apr 16, 2026Updated 6 months ago
- Implements a compositional algorithm for computing shortest paths on weighted graphs☆13Sep 1, 2023Updated 3 years ago
- Quick online tool for chess with features for composing problems and APIs.☆16Updated this week
- ☆38Jul 3, 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.
- Codes for the Numerical Results of the paper "Tangent Bundle Neural Networks: from Manifolds to Celullar Sheaves and Back"☆11Oct 13, 2026Updated last week
- Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)☆28Updated this week
- Benchmarking LLMs on Real-World Software Verification in Lean 4☆15Oct 13, 2026Updated last week
- Discontinued placeholder – see paulwilke/smalltalk-live-cli (CLI) or mumez/pharo-smalltalk-interop-mcp-server (MCP)☆15Oct 9, 2026Updated 2 weeks ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆49Aug 27, 2026Updated last month
- Scholar-Wendao (学者问道) — open-source Claude Skill framework for distilling scholar perspectives into runnable analytical lenses. Generate …☆20May 19, 2026Updated 5 months ago
- ☆11Dec 1, 2025Updated 10 months ago