☆34Oct 8, 2026Updated 2 weeks ago
Alternatives and similar repositories for Pharos
Users that are interested in Pharos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A classification theorem in Lean of solvable Lie algebras of dimension zero to three☆11May 18, 2025Updated last year
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory☆490Aug 27, 2026Updated 2 months ago
- General neural tactic for Lean 4☆48Oct 14, 2026Updated last week
- AI Agentic Research System for Computational Mathematics☆61Aug 9, 2026Updated 2 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.
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆36Oct 15, 2026Updated last week
- Lean 4 formalization (work in progress) of O(n log n · log^(-ε) n) integer multiplication on a multitape Turing machine☆28Updated this week
- Proétale cohomology in Lean☆17Sep 29, 2026Updated 3 weeks ago
- Tools for writing good AI generated papers☆15Sep 2, 2026Updated last month
- 週刊IM@Study☆15Dec 8, 2022Updated 3 years ago
- repository for the collaborative formalization seminar in Analysis in Bonn☆12May 1, 2026Updated 5 months ago
- ☆16Sep 6, 2023Updated 3 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆59Oct 25, 2023Updated 3 years ago
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated 2 weeks 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.
- 用于将EPUB格式的漫画，转换为可以在iReader阅读器上完全全屏显示的格式，还可以对EPUB小说进行简繁互转、引号转换等等☆18May 25, 2021Updated 5 years ago
- End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆24Jul 27, 2026Updated 3 months ago
- ☆14Jan 15, 2026Updated 9 months ago
- Legacy Complexitylib V1; development continues at cslib-community/complexitylib.☆29Updated this week
- A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard to…☆87Aug 30, 2026Updated last month
- Official code implementation of ICML 2025 paper: Reward-free World Models for Online Imitation Learning☆12Jun 21, 2025Updated last year
- i18n library for Lean.☆14Updated this week
- ☆18Jul 28, 2026Updated 2 months ago
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…☆29May 21, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Oct 29, 2021Updated 4 years ago
- How to say it using Mathlib.☆21Oct 13, 2026Updated 2 weeks ago
- ☆33Jul 18, 2026Updated 3 months ago
- Learn Lean and topology☆28Apr 28, 2023Updated 3 years ago
- Conservative floating point interval arithmetic in Lean☆29Oct 14, 2026Updated last week
- ☆41Aug 19, 2026Updated 2 months ago
- ☆16Jul 29, 2025Updated last year
- Formalization of the Millennium Problems in Lean 4☆71Sep 14, 2026Updated last month
- Bonn Lean course for winter 24/25☆45Jul 1, 2026Updated 3 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.
- ☆40Sep 27, 2026Updated last month
- ☆72Updated this week
- A favicon-unread-count plugin for tt-rss☆11Jan 7, 2021Updated 5 years ago
- ☆22Nov 23, 2023Updated 2 years ago
- PyQt5 GUI for DeepCreamPy☆12Nov 5, 2018Updated 7 years ago
- Some Cryptids and Lean proofs☆66Updated this week
- ☆25Dec 10, 2021Updated 4 years ago