A local solve-verify workflow for rigorous mathematical research with LaTeX output.
☆43Mar 7, 2026Updated 7 months ago
Alternatives and similar repositories for research-math-assistant
Users that are interested in research-math-assistant are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ai-rules is a governance framework designed to solve "Architectural Decay" in AI-driven development. It forces AI Agents (Cursor, Windsur…☆426Jun 2, 2026Updated 4 months ago
- The agent that remembers and learns.☆1,941Jul 18, 2026Updated 2 months ago
- An easy SQL database engine in Rust.☆20Mar 2, 2026Updated 7 months ago
- 🔥🔥🔥100%开源的企业级商城系统源码下载，使用最新前沿技术栈，同时支持java、php版本，基于SpringBoot3+Vue3+Ts，支持H5、微信小程序、公众号、IOS、安卓、鸿蒙等多端，高性能高并发，极易二次开发。标准版支持PC/移动端页面装修、主题颜色一键切…☆2,511Sep 18, 2026Updated 3 weeks ago
- China Unicom's Yuanjing Wanwu Agent Platform is an enterprise-grade, multi-tenant AI agent development platform. It helps users build app…☆2,362Sep 25, 2026Updated 2 weeks 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.
- Universal memory layer for AI Agents. It provides scalable, extensible, and interoperable memory storage and retrieval to streamline AI a…☆3,061Updated this week
- An Open-Source Algorithm Library of Just Noticeable Difference☆229Jun 20, 2026Updated 3 months ago
- Agent-ready RPA suite with out-of-the-box automation tools. Built for individuals and enterprises.☆5,260Updated this week
- An open-source, PyTorch-like runtime for dynamic multi-agent and multi-session workflows.☆961Sep 28, 2026Updated last week
- CausalVLR: A Toolbox and Benchmark for Vision-Language Causal Reasoning (多模态因果推理开源框架)☆947Oct 11, 2025Updated 11 months ago
- A self-evolving multi-agent financial assistant powered by OpenClaw☆138Apr 1, 2026Updated 6 months ago
- element-ai-vue☆578Sep 21, 2026Updated 2 weeks ago
- The Nano-X Window System☆227Jul 20, 2025Updated last year
- Templates for Cloudflare Workers☆203Mar 13, 2026Updated 6 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.
- (eBook，PDFs Translation) A multilingual eBook processing tool supporting all eBook formats. Features online and offline translation while…☆1,324Sep 28, 2025Updated last year
- (EACL'26 Main) Instructional Agents: Reducing Teaching Faculty Workload through Multi-Agent Instructional Design☆488Sep 24, 2026Updated 2 weeks ago
- 把 Codex / Petdex 宠物包变成不依赖 Codex 的独立桌宠应用。☆46Jul 13, 2026Updated 2 months ago
- Open-source AI Employee Platform — Create AI employees that collaborate with your real team in WeCom, DingTalk, and Feishu, just like hir…☆382Apr 27, 2026Updated 5 months ago
- 53AI Hub is an open-source AI portal and knowledge base for managing enterprise knowledge, AI agents, prompts, and AI tools, seamlessly i…☆4,327Updated this week
- A fast gigapixel processing system☆1,333Dec 10, 2024Updated last year
- AI-native software testing platform — one YAML test language covering API, Web, mobile, messaging, data, and LLM scenarios. Self-hostable…☆1,772Sep 26, 2026Updated 2 weeks ago
- Fixes the issue where Razer Synapse is unavailable on macOS, providing a simple menu bar utility to display Razer mouse battery level.☆50Oct 6, 2025Updated last year
- ☆160Mar 1, 2026Updated 7 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.
- 🍭 A modern React UI component library built with Tailwind CSS☆66Oct 16, 2025Updated 11 months ago
- Let's use AI to Earn!☆26,416Sep 18, 2026Updated 3 weeks ago
- bnb four meme | bnb four meme | bnb four meme | bnb four meme | bnb four meme | bnb four meme | bnb four meme | bnb four meme | bnb four …☆159Jul 14, 2026Updated 2 months ago
- OpenEmbodied☆208Dec 8, 2025Updated 10 months ago
- solana trading bot | solana trading bot | solana trading bot | solana trading bot | solana trading bot | solana trading bot | solana trad…☆166Updated this week
- Enterprise-grade, commercial-friendly agentic workflow platform for building next-generation SuperAgents.☆8,889Updated this week
- ☆22Mar 5, 2026Updated 7 months ago
- ☆149Aug 7, 2026Updated 2 months ago
- ☆54Dec 26, 2025Updated 9 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Evidence-driven Agent Skills for design award research, evaluation, award matching, entry writing, and submission readiness.☆712Aug 24, 2026Updated last month
- 🧠 dPro + Polymarket operational toolkit for market/account reads, YES/NO trading, order book access, readiness checks, and secure creden…☆23Mar 13, 2026Updated 6 months ago
- Rank-gap statistics for exploring high-dimensional overlap☆359Jan 6, 2026Updated 9 months ago
- 全语言制品仓库，涵盖npm、Maven、PyPi、Docker、Gradle、SBT、Cocoapods、Swift、RPM、Debian、PHP、Go、Pub、Ivy、NuGet、Conda、Cargo、Conan、Yarn、GitLFS、Helm、OHPM等主流工具,涵…☆2,063Jul 30, 2026Updated 2 months ago
- A multilingual collection of Seedance 2.5 video generation prompts with thumbnail previews and playable examples.☆49Jun 24, 2026Updated 3 months ago
- DeepBot is a system-level AI assistant built for both personal productivity and enterprise workflows — one-click setup, seamless experien…☆2,273May 23, 2026Updated 4 months ago
- Implement popular LLM post-training algorithms (SFT, DFT, DPO, GRPO, etc.) in PyTorch with easy code!☆112Jun 11, 2026Updated 3 months ago