☆20Aug 17, 2026Updated 2 months ago
Alternatives and similar repositories for MathForm
Users that are interested in MathForm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Dec 17, 2024Updated last year
- ☆70Aug 4, 2026Updated 2 months ago
- ☆80Jul 25, 2026Updated 2 months ago
- SGLang is a fast serving framework for large language models and vision language models.☆16Mar 31, 2026Updated 6 months ago
- ☆16May 28, 2026Updated 4 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Lean formalization of bounded gaps between primes☆45Aug 18, 2026Updated 2 months ago
- ☆93Updated this week
- ☆35Sep 2, 2026Updated last month
- Blog on formalizing key transformer invariants.☆25Sep 15, 2026Updated last month
- This is the code repo for our paper "Learning More Effective Representations for Dense Retrieval through Deliberate Thinking Before Searc…☆28Mar 2, 2025Updated last year
- Formalization of IMO shortlist problems in Lean 4☆27Updated this week
- [ICML 2026 Oral] Code for "Skip a Layer or Loop It? Learning Program-of-Layers in LLMs"☆47Sep 28, 2026Updated 3 weeks ago
- Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)☆28Oct 7, 2026Updated last week
- ☆110Aug 17, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- dots3 note preview☆145Aug 14, 2026Updated 2 months ago
- The Best Open Source LLM Code Interpreter☆17Sep 2, 2023Updated 3 years ago
- ☆32Jul 16, 2025Updated last year
- 1,017 system prompts from real AI products, audited span by span against the eight AISPA assurance dimensions☆37Updated this week
- ☆14Jul 15, 2025Updated last year
- Memory is a long-term memory module for AI agents, providing capabilities for memory extraction, storage, retrieval, and migration for ag…☆70Oct 12, 2026Updated last 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
- LangGraph Multi-Agent Handoffs, Clearly Explained☆13Dec 12, 2025Updated 10 months 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.
- ☆13Aug 27, 2026Updated last month
- ☆11Jan 22, 2025Updated last year
- ☆14Jan 17, 2026Updated 9 months ago
- Examind Community (formerly known as Constellation-SDI) is an open source platform dedicated to geographic data infrastructures developme…☆11Updated this week
- Lean4 Code Editor☆19Oct 9, 2026Updated last week
- Proof search with a diversity-balanced symbolic frontier, bounded future atlas, and optional language-model guidance.☆23Oct 3, 2026Updated 2 weeks ago
- TaskWeaver Plugins☆12Jan 28, 2024Updated 2 years ago
- Jev-style decision-model training reproduction on MiniCPM5-2B (stage 1: single-letter Choice classification)☆21Oct 12, 2026Updated last week
- Use DevEco Code (Huawei HarmonyOS GLM models) from standard opencode, logging in with your Huawei account.☆35Sep 27, 2026Updated 3 weeks 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.
- A web console for running many parallel coding-agent sessions. tmux keeps the processes alive; the browser owns organisation, naming, sta…☆54Updated this week
- A self-evolving multi-agent system for autonomous research, operating 24/7 to explore, learn, and improve.☆325Updated this week
- [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python☆15Jun 27, 2025Updated last year
- Research draft of a candidate proof of Crouzeix's conjecture☆535Aug 16, 2026Updated 2 months ago
- ☆10Apr 20, 2024Updated 2 years ago
- [ACL '26] This is the code repo for our ACL '26 Findings paper "MetaMem: Evolving Meta-Memory for Knowledge Utilization through Self-Refl…☆48Jul 2, 2026Updated 3 months ago
- ☆14Sep 20, 2024Updated 2 years ago