A local solve-verify workflow for rigorous mathematical research with LaTeX output.
☆50Mar 7, 2026Updated 5 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…☆517Jun 2, 2026Updated 2 months ago
- The agent that remembers and learns.☆1,726Jul 18, 2026Updated last month
- An easy SQL database engine in Rust.☆19Mar 2, 2026Updated 5 months ago
- 🔥🔥🔥100%开源的企业级商城系统源码下载，使用最新前沿技术栈，同时支持java、php版本，基于SpringBoot3+Vue3+Ts，支持H5、微信小程序、公众号、IOS、安卓、鸿蒙等多端，高性能高并发，极易二次开发。标准版支持PC/移动端页面装修、主题颜色一键切…☆2,820Mar 18, 2026Updated 5 months ago
- China Unicom's Yuanjing Wanwu Agent Platform is an enterprise-grade, multi-tenant AI agent development platform. It helps users build app…☆2,451Jul 31, 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.
- Universal memory layer for AI Agents. It provides scalable, extensible, and interoperable memory storage and retrieval to streamline AI a…☆3,201Updated this week
- An Open-Source Algorithm Library of Just Noticeable Difference☆272Jun 20, 2026Updated 2 months ago
- Agent-ready RPA suite with out-of-the-box automation tools. Built for individuals and enterprises.☆5,517Aug 19, 2026Updated last week
- An open-source, PyTorch-like runtime for dynamic multi-agent and multi-session workflows.☆1,111Jul 31, 2026Updated last month
- CausalVLR: A Toolbox and Benchmark for Vision-Language Causal Reasoning (多模态因果推理开源框架)☆985Oct 11, 2025Updated 10 months ago
- A self-evolving multi-agent financial assistant powered by OpenClaw☆163Apr 1, 2026Updated 4 months ago
- element-ai-vue☆665Aug 24, 2026Updated last week
- motion detection and lock & unlock door via telegram bot and raspberry☆268Jun 4, 2025Updated last year
- The Nano-X Window System☆263Jul 20, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Templates for Cloudflare Workers☆234Mar 13, 2026Updated 5 months ago
- (eBook，PDFs Translation) A multilingual eBook processing tool supporting all eBook formats. Features online and offline translation while…☆1,319Sep 28, 2025Updated 11 months ago
- (EACL'26 Main) Instructional Agents: Reducing Teaching Faculty Workload through Multi-Agent Instructional Design☆518Jun 18, 2026Updated 2 months ago
- 把 Codex / Petdex 宠物包变成不依赖 Codex 的独立桌宠应用。☆64Jul 13, 2026Updated last month
- Open-source AI Employee Platform — Create AI employees that collaborate with your real team in WeCom, DingTalk, and Feishu, just like hir…☆423Apr 27, 2026Updated 4 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,634Aug 20, 2026Updated last week
- A fast gigapixel processing system☆1,334Dec 10, 2024Updated last year
- PHP backdoor detector is a Python toolkit that helps you find malicious hidden suspicious PHP scripts and shells in your site files.☆196Jan 4, 2026Updated 7 months ago
- 🔥 An agile development and testing platform designed to empower small and medium-sized enterprises to build their own R&D systems, strea…☆1,807Mar 25, 2026Updated 5 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.
- Fixes the issue where Razer Synapse is unavailable on macOS, providing a simple menu bar utility to display Razer mouse battery level.☆56Oct 6, 2025Updated 10 months ago
- ☆180Mar 1, 2026Updated 5 months ago
- 🍭 A modern React UI component library built with Tailwind CSS☆66Oct 16, 2025Updated 10 months ago
- Let's use AI to Earn!☆25,524Aug 15, 2026Updated 2 weeks ago
- An open project to list all publicly known cloud vulnerabilities and CSP security issues☆349Aug 13, 2025Updated last year
- 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 …☆225Jul 14, 2026Updated last month
- OpenEmbodied☆205Dec 8, 2025Updated 8 months ago
- polymarket polymarket polymarket polymarket polymarket polymarket polymarket polymarket polymarket polymarket polymarket polymarket polym…☆272Updated this week
- solana trading bot | solana trading bot | solana trading bot | solana trading bot | solana trading bot | solana trading bot | solana trad…☆206Aug 15, 2026Updated 2 weeks 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.
- Enterprise-grade, commercial-friendly agentic workflow platform for building next-generation SuperAgents.☆8,892Updated this week
- ☆26Mar 5, 2026Updated 5 months ago
- ethereum flashloan ethereum flashloan ethereum flashloan ethereum flashloan ethereum flashloan ethereum flashloan ethereum flashloan ethe…☆249Jul 14, 2026Updated last month
- ☆171Aug 7, 2026Updated 3 weeks ago
- Rank-gap statistics for exploring high-dimensional overlap☆363Jan 6, 2026Updated 7 months ago
- ☆57Dec 26, 2025Updated 8 months ago
- 🧠 dPro + Polymarket operational toolkit for market/account reads, YES/NO trading, order book access, readiness checks, and secure creden…☆26Mar 13, 2026Updated 5 months ago