keywords: Math, Libraries & Tools Collection


Linear Algebra

Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms.

Pure C math library for 2D and 3D programming. [[ Currently working on a major update (20 Jul 2019) ]]

MathGL (Golang)

Handmade Math

Realtime Math

D Extended Set (DES) Math (Dlang)

Boost Quaternions, Vectors, Matrices library

C++17 GLSL-like vector and matrix math lib

a lean linear math library, aimed at graphics programming. Supports vec3, vec4, mat4x4 and quaternions.

C++ math library for 2D/3D/4D vector, matrix, quaternion, and geometric algebra.



Permuted Congruential Generator

PCG — C++ Implementation

log and exp functions

fast log and exp functions for x86/x64 SSE


Linear Algebra

Linear Algebra

Category Theory

An Invitation to Applied Category Theory: Seven Sketches in Compositionality 1st Edition (August 29, 2019)

Books for Teens

Cambridge IGCSE Mathematics Core and Extended Coursebook with CD-ROM (Cambridge International IGCSE) Revised Edition

Computer Programming

Art of Computer Programming, The, Volumes 1-4B, Boxed Set (Art of Computer Programming, 1-4)



mathematical / computer programming

For lifelong learners of any age, Brilliant replaces lecture videos with hands-on, interactive problem solving. It’s a better (and more fun) way to learn.

Formal Proof

Coq is a formal proof management system. 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.

We’re on a mission to help every student learn math and love learning math.

...a hero is a man who does what he can. The others do not do it. ― Romain Rolland