A local solve-verify workflow for rigorous mathematical research with LaTeX output.
☆68Mar 7, 2026Updated 2 weeks 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
Sorting:
- ☆22Jan 14, 2026Updated 2 months ago
- 🧠 dPro + Hyperliquid operational toolkit for spot, perp, and HIP-3 trading and onchain analytics, with market/account reads, readiness c…☆77Mar 11, 2026Updated last week
- Polymarket || Polymarket Bot || Polymarket Copy Bot || Polymarket Copy Trading Bot || Polymarket Copy Trading Bot New Version☆824Updated this week
- image generation prompt engineering with scene graph based probabilistic circuits☆84Oct 10, 2025Updated 5 months ago
- ☆22Feb 9, 2025Updated last year
- Etnaviv is a project to build a FOSS driver for the Vivante GCxxx series of embedded GPUs - laanwj's personal fork - …☆47Sep 22, 2025Updated 6 months ago
- T-Slot Frame for Tantillus 3D Printer☆37Jun 9, 2013Updated 12 years ago
- FinalShellDecodePass 加密解密☆83Dec 1, 2021Updated 4 years ago
- AI Agent Service Agreement☆1,264Feb 9, 2026Updated last month
- Tutorial for deep learning(AIGC)☆110Dec 1, 2025Updated 3 months ago
- Fixes the issue where Razer Synapse is unavailable on macOS, providing a simple menu bar utility to display Razer mouse battery level.☆152Oct 6, 2025Updated 5 months ago
- Computational Design of High-level Interlocking Puzzles (Siggraph 2022 Journal Track Paper)☆88Aug 18, 2025Updated 7 months ago
- 树莓派飞控模块（遥控输入，PWM输出，编译配置文件，启动配置文件）☆60Jun 19, 2017Updated 8 years ago
- This repository contains the code related to the article "Latent Diffusion–Driven Inverse Design of Damping Microstructures with Multiaxi…☆86Dec 22, 2025Updated 3 months ago
- 🔥🔥🔥100%开源的企业级商城系统源码下载，使用最新前沿技术栈，同时支持java、php版本，基于SpringBoot3+Vue3+Ts，支持H5、微信小程序、公众号、IOS、安卓、鸿蒙等多端，高性能高并发，极易二次开发。标准版支持PC/移动端页面装修、主题颜色一键切…☆7,201Updated this week
- Routines-based, event-driven workflow orchestration for Python—compose complex data/AI pipelines and run concurrent workflows across dist…☆168Mar 1, 2026Updated 3 weeks ago
- Extension for NAS4Free/XigmaNAS (N4F/XNAS) servers to display and install all known available Extensions/Add-Ons directly inside the WebG…☆808Jul 20, 2025Updated 8 months ago
- OpenEmbodied☆345Dec 8, 2025Updated 3 months ago
- 1. 项目采用 Kotlin 语言编写，结合 Jetpack 相关控件，`Navigation`，`Lifecyle`，`DataBinding`，`LiveData`，`ViewModel`等搭建的 **MVVM** 架构模式； 2. 通过**组件化**，**模块化**拆…☆46Nov 14, 2024Updated last year
- HAGAMEAI is a training framework for AI game evolution.☆179Jul 7, 2025Updated 8 months ago
- 遵循harness原则，长时运行agent任务的框架，集成pi-rs☆194Mar 4, 2026Updated 2 weeks ago
- 🌐 基于Vue的多模态AI服务平台 | 🚀集成30+文图音视频AI模型 | 💻云端GPU免部署 | 📲处理结果微信推送 | 🎓学术/自媒体全场景支持 | 💰每日免费算力配额☆54Mar 31, 2025Updated 11 months ago
- TOMs is a fully open-source, high-performance, systematic, plugin-oriented, and scenario-agnostic general-purpose development framework.☆1,062Dec 4, 2025Updated 3 months ago
- accelerate stream proxy using ebpf☆51Jan 13, 2025Updated last year
- The fast Continuous Wavelet Transform (fCWT) is a library for fast calculation of CWT.☆88Mar 13, 2026Updated last week
- BitBit - A comprehensive social activity platform for young people☆137Nov 14, 2025Updated 4 months ago
- Self-hosted, open-source agent skill registry for enterprises. Publish & version skill packages, govern with RBAC and audit logs, deploy …☆444Updated this week
- HTTP/2 module for Apache httpd☆52Feb 2, 2022Updated 4 years ago
- Let's use AI to Earn!☆11,749Updated this week
- ionic2激光推送的封装基于 jpush-phonegap-plugin☆57Nov 14, 2017Updated 8 years ago
- The Nano-X Window System☆379Jul 20, 2025Updated 8 months ago
- [ICLR 2026]🔥🔥🔥MOSAIC: Multi-Subject Personalized Generation via Correspondence-Aware Alignment and Disentanglement☆396Mar 9, 2026Updated last week
- Microchip's MCP23xxx GPIO expander device driver to work with periph☆439Jun 16, 2025Updated 9 months ago
- The official implementation for paper: False Negative/Positive Control for SAM on Noisy Medical Images☆69Oct 23, 2023Updated 2 years ago
- Oriented Bounding Box (OBB) -based Instance Segmentation (MIR 2025)☆83Dec 3, 2024Updated last year
- Golang Backend Project [Golang + Postgres + Kubernetes]☆80Sep 13, 2024Updated last year
- Task Management iOS APP with Core Data CRUD☆77Sep 22, 2023Updated 2 years ago
- CausalVLR: A Toolbox and Benchmark for Vision-Language Causal Reasoning (多模态因果推理开源框架)☆1,092Oct 11, 2025Updated 5 months ago
- unity解决方案UnityFramework☆116Aug 12, 2025Updated 7 months ago