Open-Source Math & AI Repositories

Julia MIT

JuliaLang/Julia

Julia is a high-performance language built for technical and numerical computing. It combines an approachable, mathematical syntax with multiple dispatch and a …

View repository 50000 6200

Python MIT

ManimCommunity/Manim

Manim Community is a Python framework for programmatic mathematical animation. Instead of editing every frame manually, you describe objects, transformations an…

View repository 38700 2900

Python BSD-3-Clause

numpy/NumPy

NumPy is the core numerical-computing library for Python. Its ndarray object stores large, homogeneous arrays efficiently and enables vectorised operations, whi…

View repository 32100 12400

Jupyter Notebook MIT

dair-ai/Mathematics for Machine Learning

Mathematics for Machine Learning is a curated learning repository that connects the core mathematics behind modern machine learning: linear algebra, calculus, p…

View repository 19000 3400

Java MIT

williamfiset/algorithms

A collection of algorithms and data structures

View repository 18695 4510

Python BSD-3-Clause

networkx/NetworkX

NetworkX is a Python library for graph theory and network analysis. It represents entities as nodes and relationships as edges, then provides ready-to-use algor…

View repository 17000 3500

Python BSD-3-Clause

sympy/SymPy

SymPy is a computer algebra system written in Python. Unlike numerical tools that only return approximations, SymPy keeps expressions symbolic when possible. Yo…

View repository 15000 5300

Python BSD-3-Clause

scipy/SciPy

SciPy extends NumPy with mature scientific algorithms. It is the right layer when a project needs trustworthy routines for optimisation, integration, interpolat…

View repository 14700 5700

JavaScript Apache-2.0

mathjax/MathJax

Beautiful and accessible math in all browsers

View repository 10889 1194

TypeScript Apache-2.0

HenryNdubuaku/maths-cs-ai-compendium

Become a cracked AI/ML researcher/engineer with this unconventional textbook covering maths, computing, and ML with intuition.

View repository 7217 886

Lean Apache-2.0

leanprover-community/Mathlib

Mathlib is the main mathematics library for Lean 4, a proof assistant. In a proof assistant, each logical step is checked by the computer. Mathlib gives learner…

View repository 3300 1400

Julia MPL-2.0

jump-dev/JuMP

JuMP is a modelling language for mathematical optimisation in Julia. It lets you express variables, constraints and objectives in readable mathematical form, th…

View repository 2500 400