Animation engine for explanatory math videos

Beautiful and accessible math in all browsers

Advanced mathematical types and functions for Swift

GeoGebra apps (mirror)

This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github…

A community-maintained Python framework for creating mathematical animations.

The fundamental package for scientific computing with Python.

Code for the manim-generated scenes used in 3blue1brown videos

A primitive computer algebra system

primal puts raw power into prime numbers.

OpenGL Mathematics (GLM)

Physical Symbolic Optimization

Mathematical Components

Metamath source file for logic and set theory

Metamath program - source code for the Metamath executable

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.

Lean 4 programming language and theorem prover

The math library of Lean 4

A curated list of great puzzles

A computer algebra system written in pure Python