A local solve-verify workflow for rigorous mathematical research with LaTeX output.
☆57Mar 7, 2026Updated 4 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…☆591Jun 2, 2026Updated last month
- The agent that remembers and learns.☆1,438Jul 18, 2026Updated last week
- An easy SQL database engine in Rust.☆19Mar 2, 2026Updated 4 months ago
- 🔥🔥🔥100%开源的企业级商城系统源码下载，使用最新前沿技术栈，同时支持java、php版本，基于SpringBoot3+Vue3+Ts，支持H5、微信小程序、公众号、IOS、安卓、鸿蒙等多端，高性能高并发，极易二次开发。标准版支持PC/移动端页面装修、主题颜色一键切…☆3,116Mar 18, 2026Updated 4 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,566Updated this week
- 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.
- Universal memory layer for AI Agents. It provides scalable, extensible, and interoperable memory storage and retrieval to streamline AI a…☆3,340Updated this week
- An Open-Source Algorithm Library of Just Noticeable Difference☆324Jun 20, 2026Updated last month
- Agent-ready RPA suite with out-of-the-box automation tools. Built for individuals and enterprises.☆6,019Updated this week
- My portfolio inspired by FB Messenger. Built in React with Hooks and Context API.☆278Jan 5, 2026Updated 6 months ago
- An open-source, PyTorch-like runtime for dynamic multi-agent and multi-session workflows.☆1,098Updated this week
- CausalVLR: A Toolbox and Benchmark for Vision-Language Causal Reasoning (多模态因果推理开源框架)☆1,052Oct 11, 2025Updated 9 months ago
- A self-evolving multi-agent financial assistant powered by OpenClaw☆180Apr 1, 2026Updated 3 months ago
- element-ai-vue☆735Apr 1, 2026Updated 3 months ago
- motion detection and lock & unlock door via telegram bot and raspberry☆300Jun 4, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The Nano-X Window System☆302Jul 20, 2025Updated last year
- (eBook，PDFs Translation) A multilingual eBook processing tool supporting all eBook formats. Features online and offline translation while…☆1,312Sep 28, 2025Updated 10 months ago
- Templates for Cloudflare Workers☆253Mar 13, 2026Updated 4 months ago
- (EACL'26 Main) Instructional Agents: Reducing Teaching Faculty Workload through Multi-Agent Instructional Design☆609Jun 18, 2026Updated last month
- Library and tools to access the BitLocker Drive Encryption (BDE) encrypted volumes☆225Aug 13, 2025Updated 11 months ago
- A fast gigapixel processing system☆1,337Dec 10, 2024Updated last year
- 把 Codex / Petdex 宠物包变成不依赖 Codex 的独立桌宠应用。☆71Jul 13, 2026Updated 2 weeks ago
- Open-source AI Employee Platform — Create AI employees that collaborate with your real team in WeCom, DingTalk, and Feishu, just like hir…☆455Apr 27, 2026Updated 3 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,946Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A more advanced free and open .NET obfuscator using dnlib.☆355Jun 30, 2026Updated 3 weeks ago
- PHP backdoor detector is a Python toolkit that helps you find malicious hidden suspicious PHP scripts and shells in your site files.☆173Jan 4, 2026Updated 6 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,885Mar 25, 2026Updated 4 months ago
- Fixes the issue where Razer Synapse is unavailable on macOS, providing a simple menu bar utility to display Razer mouse battery level.☆66Oct 6, 2025Updated 9 months ago
- 🍭 A modern React UI component library built with Tailwind CSS☆66Oct 16, 2025Updated 9 months ago
- ☆210Mar 1, 2026Updated 4 months ago
- Let's use AI to Earn!☆24,395Updated this week
- An open project to list all publicly known cloud vulnerabilities and CSP security issues☆224Aug 13, 2025Updated 11 months ago
- OpenEmbodied☆204Dec 8, 2025Updated 7 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- MNE-BIDS is a Python package that allows you to read and write BIDS-compatible datasets with the help of MNE-Python.☆228Aug 13, 2025Updated 11 months 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 …☆334Jul 14, 2026Updated 2 weeks ago
- pelican-svbhack is a responsive theme for Pelican and it is my hack of a svbtle-like theme☆229Feb 10, 2026Updated 5 months ago
- Enterprise-grade, commercial-friendly agentic workflow platform for building next-generation SuperAgents.☆9,388Updated this week
- snippets for power users☆245Jan 4, 2026Updated 6 months ago
- ☆33Mar 5, 2026Updated 4 months ago
- ethereum flashloan ethereum flashloan ethereum flashloan ethereum flashloan ethereum flashloan ethereum flashloan ethereum flashloan ethe…☆347Jul 14, 2026Updated 2 weeks ago