A local solve-verify workflow for rigorous mathematical research with LaTeX output.
☆88Mar 7, 2026Updated last month
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:
- Fixes the issue where Razer Synapse is unavailable on macOS, providing a simple menu bar utility to display Razer mouse battery level.☆118Oct 6, 2025Updated 6 months ago
- Routines-based, event-driven workflow orchestration for Python—compose complex data/AI pipelines and run concurrent workflows across dist…☆114Mar 1, 2026Updated last month
- ☆13Jan 14, 2026Updated 3 months ago
- [Arxiv 2025] Official Implementation for "A Novel Benchmark and Dataset for Efficient 3D Gaussian Splatting with Gaussian Point Cloud Com…☆51Feb 24, 2026Updated last month
- AI Agent Service Agreement☆791Feb 9, 2026Updated 2 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.
- 🔥🔥🔥100%开源的企业级商城系统源码下载，使用最新前沿技术栈，同时支持java、php版本，基于SpringBoot3+Vue3+Ts，支持H5、微信小程序、公众号、IOS、安卓、鸿蒙等多端，高性能高并发，极易二次开发。标准版支持PC/移动端页面装修、主题颜色一键切…☆5,918Mar 18, 2026Updated 3 weeks ago
- 🧠 dPro + Hyperliquid operational toolkit for spot, perp, and HIP-3 trading and onchain analytics, with market/account reads, readiness c…☆54Mar 11, 2026Updated last month
- Golang Backend Project [Golang + Postgres + Kubernetes]☆70Sep 13, 2024Updated last year
- A Music GenAI (ICASSP 2026 Paper, Accepted)☆114Mar 7, 2026Updated last month
- A comprehensive, free MCP server designed specifically for financial analysis and quantitative trading. This specialized platform offers …☆74Nov 19, 2025Updated 4 months ago
- Objective C Twitter engine complete with support for oAuth and the streaming API☆36Feb 5, 2011Updated 15 years ago
- AIFlowy is an enterprise-grade AI application development platform based on Java, comparable to products like Dify and Coze.☆1,466Updated this week
- CausalVLR: A Toolbox and Benchmark for Vision-Language Causal Reasoning (多模态因果推理开 源框架)☆1,446Oct 11, 2025Updated 6 months ago
- Tuya AI Skill Library for OpenClaw/TuyaClaw - An AI-driven skill set built for the development of Tuya's smart ecosystem (e.g., device co…☆798Apr 2, 2026Updated 2 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.
- image generation prompt engineering with scene graph based probabilistic circuits☆77Oct 10, 2025Updated 6 months ago
- Etnaviv is a project to build a FOSS driver for the Vivante GCxxx series of embedded GPUs - laanwj's personal fork - …☆39Sep 22, 2025Updated 6 months ago
- WildWorld: A Large-Scale Dataset for Dynamic World Modeling with Actions and Explicit State toward Generative ARPG☆369Mar 25, 2026Updated 3 weeks ago
- Schema‑Action‑Querying: An open‑source multi‑table Text‑to‑Action system for Excel/CSV files. Use small local 3B‑parameter language model…☆48Dec 8, 2025Updated 4 months ago
- 🍞 AI-Powered Interview Assistant - Your Confident Interview Companion | 智能面试助手，让每次面试都充满自信☆61Jan 16, 2026Updated 3 months ago
- T-Slot Frame for Tantillus 3D Printer☆34Jun 9, 2013Updated 12 years ago
- Tutorial for deep learning(AIGC)☆80Dec 1, 2025Updated 4 months ago
- Official implementation of ''Pixel-inconsistency modeling for image manipulation localization''☆376Oct 18, 2025Updated 5 months ago
- TOMs is a fully open-source, high-performance, systematic, plugin-oriented, and scenario-agnostic general-purpose development framework.☆696Dec 4, 2025Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Free vector font family (monospace: italic, bold, bold-italic; proportional) optimized for small display sizes (5x10 px)☆21Mar 6, 2024Updated 2 years ago
- 🚀 A curated list of awesome resources for Generative Engine Optimization (GEO) - optimizing content for AI search engines like ChatGPT, …☆181Apr 9, 2026Updated last week
- This repository contains the code related to the article "Latent Diffusion–Driven Inverse Design of Damping Microstructures with Multiaxi…☆60Dec 22, 2025Updated 3 months ago
- (eBook，PDFs Translation) A multilingual eBook processing tool supporting all eBook formats. Features online and offline translation while…☆1,488Sep 28, 2025Updated 6 months ago
- DeepBot 是一个系统级 AI 助手，满足个人桌面助手使用，同时会更多探索企业生产提效方向，一键安装、丝滑体验，飞书友好。☆1,242Updated this week
- Extension for NAS4Free/XigmaNAS (N4F/XNAS) servers to display and install all known available Extensions/Add-Ons directly inside the WebG…☆507Jul 20, 2025Updated 8 months ago
- Let's use AI to Earn!☆11,515Apr 2, 2026Updated 2 weeks ago
- OpenEmbodied☆245Dec 8, 2025Updated 4 months ago
- 面向 docker/kubernates 初学者的快速本地部署和测试 docker/k8s 各种功能特性...持续更新☆132Oct 15, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 1. 项目采用 Kotlin 语言编写，结合 Jetpack 相关控件，`Navigation`，`Lifecyle`，`DataBinding`，`LiveData`，`ViewModel`等搭建的 **MVVM** 架构模式； 2. 通过**组件化**，**模块化**拆…☆39Nov 14, 2024Updated last year
- KSP Router （Android端使用KSP实现的路由框架，ARouter可快速迁移到KSP Router）☆225Jul 17, 2025Updated 8 months ago
- HAGAMEAI is a training framework for AI game evolution.☆122Jul 7, 2025Updated 9 months ago
- Agent-ready RPA suite with out-of-the-box automation tools. Built for individuals and enterprises.☆6,201Updated this week
- A fast gigapixel processing system☆1,393Dec 10, 2024Updated last year
- 🌐 基于Vue的多模态AI服务平台 | 🚀集成30+文图音视频AI模型 | 💻云端GPU免部署 | 📲处理结果微信推送 | 🎓学术/自媒体全场景支持 | 💰每日免费算力配额☆47Mar 31, 2025Updated last year
- 遵循harness原则，长时运行agent任务的框架，集成pi-rs☆183Mar 4, 2026Updated last month