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…☆425Oct 10, 2026Updated 3 weeks ago
- 🔥🔥🔥100%开源的企业级商城系统源码下载，使用最新前沿技术栈，同时支持java、php版本，基于SpringBoot3+Vue3+Ts，支持H5、微信小程序、公众号、IOS、安卓、鸿蒙等多端，高性能高并发，极易二次开发。标准版支持PC/移动端页面装修、主题颜色一键切…☆2,523Updated this week
- 🍭 A modern React UI component library built with Tailwind CSS☆66Oct 16, 2025Updated last year
- A self-evolving multi-agent financial assistant powered by OpenClaw☆139Apr 1, 2026Updated 6 months ago
- Human-in-the-loop planning preset for DeepSeek Harness (DSH), adapted from prime-plans: researched Markdown plans in ./dsh-plans, reviewe…☆58Aug 17, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Vegas Sports Prediction Demo☆25Jun 19, 2025Updated last year
- 53AI Hub is an open-source AI portal and knowledge base for managing enterprise knowledge, AI agents, prompts, and AI tools, seamlessly i…☆4,335Oct 9, 2026Updated 3 weeks ago
- Templates for Cloudflare Workers☆203Mar 13, 2026Updated 7 months ago
- 🧠 dPro + Polymarket operational toolkit for market/account reads, YES/NO trading, order book access, readiness checks, and secure creden…☆23Mar 13, 2026Updated 7 months ago
- Tutorial to create a custom XBlock. It will allow to display a video in a course, using oEmbed, and record when the s…☆26Oct 2, 2025Updated last year
- China Unicom's Yuanjing Wanwu Agent Platform is an enterprise-grade, multi-tenant AI agent development platform. It helps users build app…☆2,381Oct 23, 2026Updated last week
- A fast gigapixel processing system☆1,250Dec 10, 2024Updated last year
- Chess Brain☆51Mar 28, 2026Updated 7 months ago
- ☆54Dec 26, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Universal memory layer for AI Agents. It provides scalable, extensible, and interoperable memory storage and retrieval to streamline AI a…☆3,078Updated this week
- (EACL'26 Main) Instructional Agents: Reducing Teaching Faculty Workload through Multi-Agent Instructional Design☆489Oct 15, 2026Updated 2 weeks ago
- CausalVLR: A Toolbox and Benchmark for Vision-Language Causal Reasoning (多模态因果推理开源框架)☆948Oct 11, 2025Updated last year
- element-ai-vue☆578Updated this week
- 全语言制品仓库，涵盖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 3 months ago
- ☆473Aug 20, 2025Updated last year
- Agent-ready RPA suite with out-of-the-box automation tools. Built for individuals and enterprises.☆5,281Updated this week
- Track how U.S. public companies implement complex accounting standards, using SEC EDGAR public data. 11 GAAP areas, enforcement actions, …☆84Aug 26, 2026Updated 2 months ago
- Syzygy-of-thoughts☆133Jan 7, 2026Updated 9 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 面向 Nacos 3.2.4 的 .NET 8/10 SDK，提供配置中心、服务注册与发现、ASP.NET Core 集成及 AI Registry（MCP、A2A、Prompt、Skill、AgentSpec）。☆99Oct 23, 2026Updated last week
- The Nano-X Window System☆227Jul 20, 2025Updated last year
- Implement popular LLM post-training algorithms (SFT, DFT, DPO, GRPO, etc.) in PyTorch with easy code!☆113Jun 11, 2026Updated 4 months ago
- KSP Router （Android端使用KSP实现的路由框架，ARouter可快速迁移到KSP Router）☆172May 22, 2026Updated 5 months ago
- [ICLR2025] The official implementation of Less is More: Masking Elements in Image Condition Features Avoids Content Leakages in Style Tr…☆39Jul 3, 2025Updated last year
- https://x.com/robodotai☆225Mar 29, 2025Updated last year
- ☆148Aug 7, 2026Updated 2 months ago
- BIP3D: Bridging 2D Images and 3D Perception for Embodied Intelligence☆182Jun 12, 2025Updated last year
- ☆160Mar 1, 2026Updated 7 months 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.
- MambaCoral-DiffDet code and Dataset☆82Sep 12, 2025Updated last year
- TradeOS MCP lets you connect TradeOS trading intelligence to MCP-compatible AI tools, so your assistant can analyze markets, search ticke…☆32Updated this week
- Open-source AI Employee Platform — Create AI employees that collaborate with your real team in WeCom, DingTalk, and Feishu, just like hir…☆390Oct 21, 2026Updated last week
- EPRecon: An Efficient Framework for Real-Time Panoptic 3D Reconstruction from Monocular Video (ICRA2025)☆168Dec 4, 2025Updated 10 months ago
- 把 Codex / Petdex 宠物包变成不依赖 Codex 的独立桌宠应用。☆45Jul 13, 2026Updated 3 months ago
- OpenEmbodied☆210Dec 8, 2025Updated 10 months ago
- Coherent Video Inpainting Using Optical Flow-Guided Efficient Diffusion☆199Jun 22, 2026Updated 4 months ago