The ecosystem reshaping mathematics.
☆11Apr 29, 2026Updated 6 months ago
Alternatives and similar repositories for awesome-ai4math
Users that are interested in awesome-ai4math are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean 4 formalization of De Giorgi-Nash-Moser theory☆43Apr 8, 2026Updated 6 months ago
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 5 months ago
- Lean formalization of bounded gaps between primes☆45Aug 18, 2026Updated 2 months ago
- ☆31Apr 3, 2026Updated 6 months ago
- Formally Verified Float Implementation with lean4☆24Sep 12, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆14Oct 23, 2026Updated last week
- A fork of openai/miniF2F adapted to Lean 4, with corrections to formalizations and informal descriptions. for human readers.☆15Apr 23, 2026Updated 6 months ago
- ☆23Jun 12, 2026Updated 4 months ago
- Formalization of de Rham cohomologies of a smooth manifold☆11Jun 4, 2025Updated last year
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.☆73Apr 7, 2026Updated 6 months ago
- Plugin adding multi-binary project support to IDA Pro (WIP)☆30Sep 13, 2016Updated 10 years ago
- A mathematical research workflow built on Pi Durable☆38Updated this week
- Formalization of Iwasawa Theory in LꓱꓯN (tentative)☆12Jul 30, 2026Updated 3 months ago
- Legacy Complexitylib V1; development continues at cslib-community/complexitylib.☆29Oct 22, 2026Updated last 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.
- Quasar Factor Analysis – An Unsupervised and Probabilistic Quasar Continuum Prediction Algorithm with Latent Factor Analysis☆12Aug 18, 2023Updated 3 years ago
- A Docker-first, non-preemptive multi-agent coordination runtime☆17Aug 6, 2026Updated 2 months ago
- A 3D dependency graph visualizer for Lean 4 projects☆13Mar 30, 2026Updated 7 months ago
- The Lean Financial Mathematics Library☆47Updated this week
- Cactus AI framework plugin for UE5 to run local LLMs at runtime. https://github.com/cactus-compute/cactus☆17Aug 22, 2025Updated last year
- ☆21Aug 21, 2026Updated 2 months ago
- An interactive learning playground to learn mechanical engines developed using claude fable 5☆25Jun 12, 2026Updated 4 months ago
- SubSpace client☆21Mar 25, 2026Updated 7 months ago
- 大角几何画板 SDK，支持加载内嵌的动态几何画板和一系列数据通信☆16Oct 21, 2026Updated last week
- 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.
- Code for MICCAI 2026 paper "Efficient Flow Matching for Sparse-View CT Reconstruction"☆16Aug 26, 2026Updated 2 months ago
- Proving polynomial inequalities with sum-of-squares certificates☆30Apr 4, 2026Updated 6 months ago
- AER continuum model for water vapor and other gases.☆21May 8, 2024Updated 2 years ago
- ICDM19 - Anomaly Detection / Outlier Detection for Mixed data☆14Dec 6, 2020Updated 5 years ago
- Lean 4 library and knowledge base for computational economics☆42Oct 14, 2026Updated 2 weeks ago
- harvard-cs-2881-classroom-hw0-c2881-hw0 created by GitHub Classroom☆18Jul 26, 2025Updated last year
- ☆13Sep 15, 2025Updated last year
- Unsupervised Feature Selection based on Adaptive Similarity Learning and Subspace Clustering☆14Jun 10, 2026Updated 4 months ago
- Paper published in NeurIPS'25☆13May 11, 2026Updated 5 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.
- ☆29Apr 2, 2026Updated 6 months ago
- A spiritual and technical successor the infamous 2d space mmo Subspace☆26Aug 30, 2026Updated 2 months ago
- Source code and additional results for GLOD issues☆12Jan 19, 2023Updated 3 years ago
- ☆11Oct 1, 2025Updated last year
- ☆15Mar 2, 2023Updated 3 years ago
- ☆20May 12, 2026Updated 5 months ago
- Non-IID Transfer Learning on Graphs☆13Jul 4, 2023Updated 3 years ago