Community-curated record of math problems solved by AI - significance rankings, verification labels, CC BY 4.0 dataset
☆30Oct 15, 2026Updated last week
Alternatives and similar repositories for vibemathed
Users that are interested in vibemathed are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- In this repository, the LANA Project has published its July 2026 report “Project LANA Interim Report on IUT Theory.”☆18Jul 20, 2026Updated 3 months ago
- A differential geometry framework for Rust, providing abstractions for smooth manifolds, charts, Lie groups, and tangent bundles.☆36Sep 3, 2026Updated last month
- 谁不想用微信控制Agent干活呢？谁不想在微信上直接判断图 片真假呢？☆20Apr 28, 2026Updated 5 months ago
- New results and AI-powered research on the square packing problem☆42Updated this week
- Minimal agent harness in one Bash file. One-line quick start. Bootloader agent for bare-metal servers.☆23Sep 15, 2026Updated last month
- 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.
- Infinite Whiteboard☆16Apr 15, 2022Updated 4 years ago
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆50Oct 7, 2026Updated 2 weeks ago
- Validator for document-schema — JSON-Schema-style validation for markdown frontmatter and structure☆17Aug 30, 2026Updated last month
- A BitTorrent daemon☆19Jul 29, 2026Updated 2 months ago
- A VM-based interpreter for the Lox Programming Language.☆11Dec 5, 2025Updated 10 months ago
- ☆39Sep 27, 2026Updated 3 weeks ago
- Official Repository for paper "Ontology-Free General-Domain Knowledge Graph-to-Text Generation Dataset Synthesis using Large Language Mod…☆15Nov 25, 2024Updated last year
- ☆30Jun 24, 2026Updated 3 months ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆15Jul 6, 2023Updated 3 years ago
- 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.
- A very fast and scalable quantum circuit optimizer☆48Updated this week
- Integer multiplication below n log n: a conditional witness kappa = 6685733/10^10 (> 2^-11) for T(n) = O(n (log n)^(1-kappa)) in the mult…☆27Oct 11, 2026Updated last week
- A local MCP server for cross-repository semantic code intelligence in TypeScript and Go, backed by a persistent LadybugDB graph.☆22Updated this week
- Code and Data for PeerQA: A Scientific Question Answering Dataset from Peer Reviews, NAACL 2025 https://aclanthology.org/2025.naacl-long.…☆17Jun 1, 2026Updated 4 months ago
- Ensures that wikilinks in markdown notes in apps like logseq, obsidian, etc. point to existing pages, that pages are not duplicated, that…☆13Aug 19, 2026Updated 2 months ago
- StumbleBar by StumbleUpon☆13Jan 25, 2018Updated 8 years ago
- A Jupyter kernel for Logtalk☆15Aug 23, 2025Updated last year
- ☆27Apr 16, 2026Updated 6 months ago
- ☆12Jun 18, 2025Updated last year
- 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.
- A fungeoid language where bends in the chain determine the instructions☆15Nov 16, 2021Updated 4 years ago
- A curated list of software, services, and resources for SQLite☆18Oct 15, 2026Updated last week
- Detect and work around silently-corrupting VRAM on consumer GPUs. No ECC, no page retirement, no error - the driver just returns wrong da…☆19Aug 30, 2026Updated last month
- ☆22Sep 8, 2024Updated 2 years ago
- pr triage ui☆15Oct 3, 2026Updated 2 weeks ago
- ☆22Oct 1, 2026Updated 3 weeks ago
- Clustered Compositional Embeddings☆13Oct 25, 2023Updated 2 years ago
- A specification for tor's ContactInfo field.☆10Apr 4, 2026Updated 6 months ago
- Open-source MCP server for AI agents — index code repositories, research papers, and datasets. Runs fully local.☆24Sep 10, 2026Updated last month
- 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.
- Simple tool to synchronize the watched status from one Plex server to another☆12Aug 3, 2021Updated 5 years ago
- Formalization of IMO shortlist problems in Lean 4☆27Oct 14, 2026Updated last week
- source{d} MLonCode foundation - core algorithms and models.☆13Oct 17, 2019Updated 7 years ago
- Macro's fork of LibreOffice and automated builds of LibreOfficeKit for Windows/macOS/Linux☆10Jun 21, 2024Updated 2 years ago
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated last week
- the original bitcoin executable, rebuilt byte for byte☆106Updated this week
- shared aggregator chain that accepts transactions from many different "lazy" chains and post them on Celestia☆15Apr 17, 2023Updated 3 years ago