ManimCommunity / manim
A community-maintained Python framework for creating mathematical animations.
ManimCommunity / manim
proffitteoy / Mathematician-Humanizer
An evidence-based AI writing skill for clearer, more human mathematical prose, built from stylometry and reference-style analysis
ceyyy427 / finathink
Finathink — Financial Research Optimizer for auditable, point-in-time research, mathematical learning, and constrained portfolio analysis.
pymc-devs / pytensor
PyTensor allows you to define, optimize, and efficiently evaluate mathematical expressions involving multi-dimensional arrays.
Pyomo / pyomo
An object-oriented algebraic modeling language in Python for structured optimization problems.
neonwatty / machine-learning-refined
Master the fundamentals of machine learning, deep learning, and mathematical optimization by building key concepts and models from scratch using Python.
python-adaptive / adaptive
:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical functions
Mathics3 / mathics-core
An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator to execute them.
FloatingPragma / observer-patch-holography
Observer Patch Holography: finite observer consensus, machine-checked mathematics and reproducible models for reconstructing physical structure.
usail-hkust / LLM-MM-Agent
🔥🔥🔥 [NeurIPS2025] MM-Agent: LLM as Agents for Real-world Mathematical Modeling Problem
Lucasuiii / modeling-workbench
Contest-native, evidence-focused math modeling workflow for Codex and Claude Code
paradigma-inc / limite-violetto
A model for high-frequency mathematical intelligence.
Nopon-Knowledge / huawei-cup-modeling-skill
论文去 AI 味 · AI 痕迹检测 · 学术润色｜面向华为杯中国研究生数学建模竞赛的 Codex Skill，支持逐句诊断、去模板化改写、图表优化、规则核验与提交审计，保留研究事实与引文。
JiahaoLiu2005 / Mathematical_Contest_in_Modeling
全国大学生数学建模竞赛与美国大学生数学建模竞赛的竞赛资料（大数据方向赛题），包括代码、论文模板、比赛经验等
zhou2030109-glitch / Remit
数模Agent（数模 Agent）/ 数学建模 AI 助手：多智能体协作完成题意分析、文献检索、建模、代码执行与论文写作，支持人工审核和断点恢复。Local-first multi-agent workbench for mathematical modeling.
yjz211 / HaJiMi-Math-Model-Agent
Local desktop agent for end-to-end mathematical modeling, plotting, LaTeX papers, and submission packages.
Odyphus / MathModel-Copilot
面向国赛 CUMCM、美赛 MCM/ICM 的数学建模 AI 助手与 Agent Skill：审题、模型比较、Python 运行、结果核验、论文辅助和团队协作。Mathematical modeling AI copilot for CUMCM and MCM/ICM, with reproducible workflows and a local workbench.
pmocz / noether
Automatically prove mathematical statements about your jax code in lean
anticipate218 / math-modeling-skill
面向 AI 助手的数学建模竞赛技能：覆盖国赛 CUMCM / 研赛华为杯 / 美赛 MCM-ICM 的选题、建模、检验与论文写作自检
yan315598-design / mathmodel-studio
数学建模竞赛 AI Skill：审题、数据分析、模型与算法研究、实验验证、科研绘图及论文整理，支持 Codex、Claude Code 和 ZCode。
li2396803 / cumcm2026
2026 高教社杯全国大学生数学建模竞赛 A/B/C 三题合集：完整建模、求解、多方法检验与一键复现（含三份 PDF 说明文档、全部源码/结果与复现脚本）
mantou6666 / Math-Modeling-Agent-Flow
Math Modeling AI Agent Flow | 数学建模全流程 AI 助手（国赛 CUMCM / 美赛 MCM-ICM）。四阶段流水线 Solver→Paper→Finalizer→Growth：解题认证、论文写作、提交终检、赛后复盘。防 AI 幻觉、防版本冲突，可安装到 Claude Code / Codex。
zhu-hailin / cumcm-modeling-analyst
CUMCM 数学建模 AI Skill｜支持 Codex、Claude Code｜深度读题、EDA 探索性分析、逐问建模、方案评分、文献与数据核验、Python 求解验证、优化/预测/仿真与完整竞赛交付