Tools for writing good AI generated papers
☆15Sep 2, 2026Updated last month
Alternatives and similar repositories for paperforge
Users that are interested in paperforge are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Proétale cohomology in Lean☆16Sep 29, 2026Updated 3 weeks ago
- End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆23Jul 27, 2026Updated 2 months ago
- Community-curated record of math problems solved by AI - significance rankings, verification labels, CC BY 4.0 dataset☆30Oct 15, 2026Updated last week
- Semantic Search Over 9 million Mathematical Theorems☆23Oct 3, 2026Updated 3 weeks ago
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆31Aug 13, 2026Updated 2 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.
- Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations.☆22Sep 6, 2026Updated last month
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆22Jun 27, 2026Updated 3 months ago
- OpenClaw-style theorem proving☆29Aug 21, 2026Updated 2 months ago
- Lean formalization of bounded gaps between primes☆45Aug 18, 2026Updated 2 months ago
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆246Updated this week
- ☆35Sep 2, 2026Updated last month
- ☆40Sep 27, 2026Updated 3 weeks ago
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆53Oct 7, 2026Updated 2 weeks ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆42Updated this week
- Agent skills for writing research mathematics in LaTeX and building audited visual companion websites for papers.☆38Oct 6, 2026Updated 2 weeks ago
- ☆38Jul 3, 2026Updated 3 months ago
- ☆141Updated this week
- ❯ Lightweight, beautiful and user-friendly interactive prompts — forked for the Graphite CLI☆12Dec 16, 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
- The harness of Open Math OS, infrastructure for Math 2.0. Built for everyday math research.☆175Updated this week
- ☆21May 5, 2026Updated 5 months ago
- ☆18Updated this week
- 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.
- Collection of Jane Street Puzzles that I have gone back to solve☆13Mar 1, 2026Updated 7 months ago
- Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards☆36Updated this week
- Repository for score-based transport modeling.☆11Jul 22, 2023Updated 3 years ago
- A recursive, reflective POETRY algorithm variant using Goedel-Prover-V2☆35Mar 9, 2026Updated 7 months ago
- A powerful AI-integrated Terminal Shell powered by the Ollama LLM interface.☆15Sep 3, 2026Updated last month
- A number guessing game with a p-adic twist.☆13Oct 13, 2023Updated 3 years ago
- Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics☆14Jan 16, 2022Updated 4 years ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆28Sep 15, 2025Updated last year
- In this repository, the LANA Project has published its July 2026 report “Project LANA Interim Report on IUT Theory.”☆19Jul 20, 2026Updated 3 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.
- Write UTF-8 math with Latex syntax☆20Feb 25, 2026Updated 7 months ago
- ☆12Jun 30, 2022Updated 4 years ago
- A backup of learnrussian.rt.com, with working audio☆12Feb 26, 2021Updated 5 years ago
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated last year
- A playable 3D voxel game built in Lean 4.☆23Jul 12, 2026Updated 3 months ago
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated 2 weeks ago
- End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion …☆77Sep 9, 2026Updated last month