ManimCommunity / manim
A community-maintained Python framework for creating mathematical animations.
ManimCommunity / manim
MathFoundationRL / Book-Mathematical-Foundation-of-Reinforcement-Learning
This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."
proffitteoy / Mathematician-Humanizer
An evidence-based AI writing skill for clearer, more human mathematical prose, built from stylometry and reference-style analysis
jihe520 / MathModelAgent
🤖📐专为数学建模设计的 Agent & skills ,自动完成数学建模，生成一份完整的可以直接提交的论文。 An Agent Designed for Mathematical Modeling ,Automatically complete mathmodel and generate a complete paper ready for submission.
GargantuaX / gemini-watermark-remover
A high-performance, 100% client-side tool for removing Gemini AI image & video watermarks. Built with pure JavaScript using mathematically precise Reverse Alpha Blending. / 基于 JavaScript 的纯浏览器端 Gemini AI 图像和视频无损去水印工具，使用数学精确的反向 Alpha 混合算法
ceyyy427 / finathink
Finathink — Financial Research Optimizer for auditable, point-in-time research, mathematical learning, and constrained portfolio analysis.
rocq-prover / rocq
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
pymc-devs / pytensor
PyTensor allows you to define, optimize, and efficiently evaluate mathematical expressions involving multi-dimensional arrays.
ailev / FPF
FPF (First Principles Framework) Library: a library of methods and pattern languages for engineering, research, management and human development, used by people and AI agents. Includes FPF Core, domain frameworks (DPFs) and Suites.
ishara-madu / gemini-watermark-remover
Free, 100% client-side tool to remove Google Gemini and Veo 3 AI watermarks from images and videos using mathematical alpha unblending with zero quality loss.
grqz / aes
Mathematical AES: The slowest (but constant-time) AES implementation you can find. Here, SBOX takes 80 nanoseconds.
cvxpy / cvxpy
A Python-embedded modeling language for convex optimization problems.
dpilger26 / NumCpp
C++ implementation of the Python Numpy library
xtensor-stack / xsimd
C++ wrappers for SIMD intrinsics and parallelized, optimized mathematical functions (SSE, AVX, AVX512, NEON, SVE, WebAssembly, VSX, RISC-V))
Pyomo / pyomo
An object-oriented algebraic modeling language in Python for structured optimization problems.
jump-dev / JuMP.jl
Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)
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.
apple / swift-numerics
Advanced mathematical types and functions for Swift
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.
ncalc / ncalc
NCalc is a fast and lightweight expression evaluator library for .NET, designed for flexibility and high performance. It supports a wide range of mathematical and logical operations.
ezylang / EvalEx
EvalEx is a handy expression evaluator for Java, that allows to evaluate simple mathematical and boolean expressions.
scipopt / PySCIPOpt
Python interface for the SCIP Optimization Suite
ad-si / Woxi
Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)
SciML / Optimization.jl
Mathematical Optimization in Julia. Local, global, gradient-based and derivative-free. Linear, Quadratic, Convex, Mixed-Integer, and Nonlinear Optimization in one simple, fast, and differentiable interface.
FloatingPragma / observer-patch-holography
Observer Patch Holography: finite observer consensus, machine-checked mathematics and reproducible models for reconstructing physical structure.
ebrahimpichka / awesome-optimization
A curated list of mathematical optimization courses, lectures, books, notes, libraries, frameworks and software.
math-ai-org / mathcode
MathCode: A Frontier Mathematical Coding Agent
ForNeVeR / xaml-math
A collection of .NET libraries for rendering mathematical formulae using the LaTeX typesetting style, for the WPF and Avalonia XAML-based frameworks
CindyJS / CindyJS
A JavaScript framework for interactive (mathematical) content.
math-comp / math-comp
Mathematical Components
usail-hkust / LLM-MM-Agent
🔥🔥🔥 [NeurIPS2025] MM-Agent: LLM as Agents for Real-world Mathematical Modeling Problem
litexlang / golitex
Litex: a formal language which lets machines and humans speak the same mathematical language
WLJSTeam / wljs-notebook
An open-source, web-native notebook interface for Wolfram Language / Wolfram Engine
JuliaMolSim / DFTK.jl
Density-functional toolkit
cvanaret / Uno
With Uno, finally take full control of your SQP/barrier solver for nonlinearly constrained optimization
optimatika / ojAlgo
Pure Java LP, QP and MIP solvers plus fast linear algebra. Zero dependencies, MIT licensed. Mathematical optimization and linear algebra for the JVM.
jump-dev / MathOptInterface.jl
A data structure for mathematical optimization problems
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.
1SPECOO / Huawei_Cup_2026_Mathematical_Modeling_latex
2026"华为杯"第二十三届中国研究生数学建模竞赛 LaTeX 模板、与官网Word要求一致
yjz211 / HaJiMi-Math-Model-Agent
Local desktop agent for end-to-end mathematical modeling, plotting, LaTeX papers, and submission packages.
tjayze / olympiad-problem-forge
Best Open-Source Math Olympiad Problem Generator 2026
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.
princechhimpachhimpasaab-lang / omega-epsilon-problem-forge
Olympiad Problem Generator 2026: Create Infinite Spanish Math Olympiad-Style Challenges
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 说明文档、全部源码/结果与复现脚本）
MColbrook / AIM
AI for Mathematical Problems: An Invitation for Mathematicians
jayxin / cumcm
中国大学生数学建模竞赛LaTeX模板(LaTeX Template for China Undergraduate Mathematical Contest in Modeling)
chaoxu / xean
A mathematical research workflow built on Pi Durable
jirouvan / GMCM2026-LaTeX
2026年华为杯研究生数学建模竞赛LaTeX论文模板，完整字体与版式配置。
bydtesla1609 / cumcm-taste
A cross-agent, reality-first workflow for mathematical modeling
ColinBundschu / mass-gap
The mass gap over the compact simple groups
hamza01055 / ml-from-scratch
Machine learning from scratch with Python and NumPy. Explore 12 chapters covering regression, neural networks, trees, clustering, SVMs, and autodiff with mathematical derivations, interactive notebooks, gradient verification, and 59 automated tests. No scikit-learn or PyTorch.
mantou6666 / Math-Modeling-Agent-Flow
Math Modeling AI Agent Flow | 数学建模全流程 AI 助手（国赛 CUMCM / 美赛 MCM-ICM）。四阶段流水线 Solver→Paper→Finalizer→Growth：解题认证、论文写作、提交终检、赛后复盘。防 AI 幻觉、防版本冲突，可安装到 Claude Code / Codex。