☆80Jul 25, 2026Updated 2 months ago
Alternatives and similar repositories for qmd-prover
Users that are interested in qmd-prover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆50Oct 7, 2026Updated last week
- ☆20Aug 17, 2026Updated 2 months ago
- ☆40Aug 19, 2026Updated 2 months ago
- ☆31Apr 3, 2026Updated 6 months ago
- Lean formalization of bounded gaps between primes☆45Aug 18, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆306Oct 6, 2026Updated last week
- A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard to…☆86Aug 30, 2026Updated last month
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- ⚡A curated list of awesome resources related to the Optimism ecosystem ⛓☆11Jul 9, 2024Updated 2 years ago
- 斧子演示(AxeSlide)网页演示端☆13Jan 8, 2019Updated 7 years ago
- Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)☆28Oct 7, 2026Updated last week
- A full implementation of Ethers as an AI tool for the model context protocol☆14Aug 28, 2025Updated last year
- Hypergraph tools☆12Jul 3, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and …☆45Sep 26, 2026Updated 3 weeks ago
- Official Freerouting Client Library for Python☆14Oct 5, 2026Updated 2 weeks ago
- ☆63Aug 7, 2026Updated 2 months ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆28Sep 15, 2025Updated last year
- 1,017 system prompts from real AI products, audited span by span against the eight AISPA assurance dimensions☆37Updated this week
- MCP server providing multimodal vision capabilities via OpenAI-compatible API (Qwen3-VL, GPT-4o, etc.)☆20Feb 9, 2026Updated 8 months ago
- Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.☆41Sep 7, 2026Updated last month
- Cangjie bindings for Dear ImGui☆14Mar 11, 2025Updated last year
- 使用大模型时，隐藏你的密码、token 等敏感信息。适配市面上各种工具，一键安装即可用。 / Hide passwords, tokens and secrets from the model. Works with everyday tools — one-click i…☆35Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆13Aug 27, 2026Updated last month
- Dynamic Hashed Blocks (DHB) data structure for dynamic graphs☆13Sep 23, 2026Updated 3 weeks ago
- ☆93Updated this week
- 2D physics JavaScript demos using Matter.js.☆13Oct 1, 2020Updated 6 years ago
- ☆20Jun 8, 2026Updated 4 months ago
- ☆14Feb 26, 2024Updated 2 years ago
- ☆17Feb 7, 2026Updated 8 months ago
- Research draft of a candidate proof of Crouzeix's conjecture☆535Aug 16, 2026Updated 2 months ago
- Repository to verify contributions to the AZTEC Ignition ceremony☆23Mar 31, 2023Updated 3 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.
- Flexible, round-optimized threshold signature library for BIP340 taproot.☆15Jan 22, 2026Updated 8 months ago
- ☆11Mar 28, 2022Updated 4 years ago
- dblp Knowledge Graph☆18Sep 3, 2026Updated last month
- DS Input — an LLM whole-sentence pinyin input method (macOS + Windows): toneless pinyin → Chinese inline, no candidate window. Rust core …☆54Jun 25, 2026Updated 3 months ago
- ☆356Oct 6, 2026Updated 2 weeks ago
- Add live comments to any website.☆57Oct 10, 2026Updated last week
- A Python library encapsulating best practices for rubric-based evaluation of LLM/VLM outputs using AI judges such as LLMs and decision mo…☆62Sep 27, 2026Updated 3 weeks ago