All repos — GH Trending Explorer

中小学知识图谱 + 前置诊断：数学（一–九年级、高中必修与选择性必修）+ 小学英语，课标对齐、人教版，999 知识点、4143 题、自适应诊断

One-sided verification under limited expert review: audited review of solutions and papers (mathematics for now).

Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.

zhanwen / MathModel

研究生数学建模，本科生数学建模、数学建模竞赛优秀论文，数学建模算法，LaTeX论文模板，算法思维导图，参考书籍，Matlab软件教程，PPT

penrose / penrose

Create beautiful diagrams just by typing notation in plain text.

cantaro86 / Financial-Models-Numerical-Methods

Collection of notebooks about quantitative finance, with interactive python code.

stdlib-js / stdlib

✨ The fundamental numerical library for JavaScript and TypeScript. ✨ ⭐️ Star to support our work!

root-project / root

The official repository for ROOT: analyzing, storing and visualizing big data, scientifically

geogebra / geogebra

GeoGebra apps (mirror)

casadi / casadi

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python, Matlab/Octave, Julia or Javascript

igraph / igraph

Library for the analysis of networks

apple / swift-numerics

Advanced mathematical types and functions for Swift

avhz / RustQuant

Rust library for quantitative finance.

MartinThoma / LaTeX-examples

Examples for the usage of LaTeX

DrTimothyAldenDavis / SuiteSparse

The official SuiteSparse library: a suite of sparse matrix algorithms authored or co-authored by Tim Davis, Texas A&M University.

JuliaSymbolics / Symbolics.jl

Symbolic programming for the next generation of numerical software

sepandhaghighi / pycm

Multi-class confusion matrix library in Python

jsxgraph / jsxgraph

JSXGraph is a cross-browser library for interactive geometry, function plotting, charting, and data visualization in a web browser.

igraph / python-igraph

Python interface for igraph

davideberly / GeometricTools

A collection of source code for computing in the fields of mathematics, geometry, graphics, image analysis and physics.

lean-dojo / LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

google-deepmind / formal-conjectures

A collection of formalized statements of conjectures in Lean.

ilmoi / MML-Book

Code / solutions for Mathematics for Machine Learning (MML Book)

antoniolupetti / algebrica

Algebrica is free and open a mathematical knowledge base dedicated to clarity, structure, and conceptual coherence.

SakuraMathcraft / LaTeXSnipper

Formula Recognition & Office Editing | Handwriting & PDF to LaTeX/Markdown | Secure API Integrations.

UniMath / UniMath

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

gap-system / gap

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

symbolica-dev / symbolica

Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.

aniketpotabatti / Data-Science-EBooks

A curated collection of eBooks on Data Science, Machine Learning, and AI to help you learn and grow.

JuliaDynamics / DynamicalSystems.jl

Award winning software library for nonlinear dynamics and nonlinear timeseries analysis

mariuszgromada / MathParser.org-mXparser

Math Parser: Java, C#, C++, Kotlin, Android, and all .NET platforms (Nuget, Maven, CMake). Supports .NET Framework, .NET Core, .NET Standard, Xamarin, and more. Features: rich built-in library of math functions, operators, constants. Flexible in user-defined arguments, functions. Expressions provided as plain text. Easy to use. Well documented.

d0r1h / ML-University

Machine Learning Open Source University

ad-si / Woxi

Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)

Axelrod-Python / Axelrod

A research tool for the Iterated Prisoner's Dilemma

wx-chevalier / AI-Notes

FloatingPragma / observer-patch-holography

Observer Patch Holography: finite observer consensus, machine-checked mathematics and reproducible models for reconstructing physical structure.

SciProgCentre / kmath

Kotlin mathematics extensions library

CindyJS / CindyJS

A JavaScript framework for interactive (mathematical) content.

dfki-ric / pytransform3d

3D transformations for Python.

texmacs / texmacs

Mirror of the GNU TeXmacs SVN

igraph / rigraph

igraph R package

leanprover-community / mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

MoganLab / mogan

Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!

TienNHM / ebooks

Tổng hợp các ebooks hay

ManimCommunity / awesome-manim

A database with many Manim users and content creators

oscar-system / Oscar.jl

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.

morluto / jacobian

Composable mathematics tools for agents

lotchuazzz-crypto / papergraph-mcp

PaperGraph MCP turns math papers into evidence-grounded reading maps for AI agents: extract results, trace proof evidence, plan reading order, and review external dependencies without guessing.

1105216375-alt / resimind

Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.

openai / ten-proofs

Lean certificates accompanying ten proofs in mathematics and theoretical computer science

RipperdocNiladri / ASCII-Art

A collection of real-time ASCII rendering experiments built with Python, mathematics, and terminal graphics.

liyingze07-svg / EffectiveAutoResearch-EAR-

An open research workbench for idea discovery, autonomous mathematics, and evidence-grounded rebuttals.

Math-for-AI-Safety / MAIS

Open problems, research agendas, and papers in Math for AI Safety — public from draft stage onward

Staatsgeheim / MathKernel

Evidence-aware multi-engine mathematics runtime for LLMs: exact, symbolic, formal, certified-interval and numeric computation with typed MathIR, trust labels, and full provenance

jarabb-biosfer / fifth-band-coin-flip

Fifth Card Flip 2026: Best Open Source Poker Chip Allocator for Card Game Strategy

heldercorreia / speedcrunch

Official home for the SpeedCrunch scientific calculator

haojing8312 / cn-k12-math-knowledge-graph

Open prerequisite graph and interactive 3D explorer for China K12 mathematics

nasqret / labyrinth-exploration

An agent skill for Codex, Claude Code and other clients: open-ended research as the exploration of a labyrinth, with a map of what is proved, refuted, conjectured and still dark, proof tiers, independent referees and campaigns of agents.

ChongCyrus / Vibe-Mathematics

Vibe Mathematics —— 多代理数学问题求解与形式化验证框架

amelieloher / math-paper-skills

Agent skills for writing research mathematics in LaTeX and building audited visual companion websites for papers.