Open-Source Math & AI Repositories

Python GPL-2.0-or-later

sagemath/SageMath

SageMath is a complete open-source mathematics environment. It unifies tools for algebra, calculus, number theory, combinatorics, graph theory and symbolic comp…

View repository 2400 872

C++ LGPL-3.0

casadi/casadi

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computationa…

View repository 2264 453

Java GPL-3.0

geogebra/GeoGebra

GeoGebra is an interactive mathematics platform combining dynamic geometry, algebra, graphing, spreadsheets, calculus and statistics. It is especially useful wh…

View repository 2100 1800

TypeScript MIT

mathigon/Mathigon Textbooks

Mathigon Textbooks is the open-source content behind interactive mathematics lessons. It focuses on learning by exploration: visual models, simulations, puzzles…

View repository 1900 300

Jupyter Notebook MIT

zslucky/awesome-AI-books

Some awesome AI related books and pdfs for learning and downloading, also apply some playground models for learning

View repository 1775 397

C NOASSERTION

lcn2/calc

C-style arbitrary precision calculator

View repository 450 65

C GPL-2.0

algebraic-solving/msolve

Library for Polynomial System Solving through Algebraic Methods

View repository 195 33

TeX NOASSERTION

Polaris-Aeterna/loom-notes

A gorgeous XeLaTeX class + Claude skill for fill-in study notes — read and fill, learn by active recall.

View repository 139 12

C# MIT

jyswjjgdwtdtj/CsGrafeq

A cross-platform geometry sketchpad and implicit function plotting tool, made by .NET Avalonia

View repository 61 5

Lean Apache-2.0

lean-dojo/LeanMillenniumPrizeProblems

Formalization of the Millennium Problems in Lean 4

View repository 59 11

C GPL-2.0

igraph/igraph

Library for the analysis of networks

View repository 1996 447

Python MIT

sepandhaghighi/pycm

Multi-class confusion matrix library in Python

View repository 1506 126