keywords: Math, Libraries & Tools Collection

Math

Linear Algebra

Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms.
https://github.com/eigenteam/eigen-git-mirror

Pure C math library for 2D and 3D programming. [[ Currently working on a major update (20 Jul 2019) ]]
https://github.com/felselva/mathc

MathGL (Golang)
https://github.com/go-gl/mathgl

Handmade Math
https://github.com/HandmadeMath/Handmade-Math

Realtime Math
https://github.com/nfrechette/rtm

D Extended Set (DES) Math (Dlang)
https://github.com/dexset/desmath

Boost Quaternions, Vectors, Matrices library
https://github.com/boostorg/qvm

C++17 GLSL-like vector and matrix math lib
https://github.com/valentingalea/vml

a lean linear math library, aimed at graphics programming. Supports vec3, vec4, mat4x4 and quaternions.
https://github.com/datenwolf/linmath.h

C++ math library for 2D/3D/4D vector, matrix, quaternion, and geometric algebra.
https://github.com/EricLengyel/Terathon-Math-Library

Physics

Bounce
https://github.com/irlanrobson/bounce

Permuted Congruential Generator

PCG — C++ Implementation
https://github.com/imneme/pcg-cpp

log and exp functions

fast log and exp functions for x86/x64 SSE
https://github.com/herumi/fmath

Books

Linear Algebra

Linear Algebra
https://leanpub.com/lin-alg/c/LeanpubWeeklySale2021May12

Category Theory

An Invitation to Applied Category Theory: Seven Sketches in Compositionality 1st Edition (August 29, 2019)
https://www.amazon.com/Invitation-Applied-Category-Theory-Compositionality-dp-1108482295/dp/1108482295/

Books for Teens

Cambridge IGCSE Mathematics Core and Extended Coursebook with CD-ROM (Cambridge International IGCSE) Revised Edition
https://www.amazon.com/Cambridge-Mathematics-Extended-Coursebook-International/dp/1316605639

Computer Programming

Art of Computer Programming, The, Volumes 1-4B, Boxed Set (Art of Computer Programming, 1-4)
https://www.amazon.com/Computer-Programming-Volumes-1-4B-Boxed/dp/0137935102/

Tools

Learning

mathematical / computer programming
https://projecteuler.net/

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.
https://brilliant.org/

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.
https://github.com/coq/coq/

We’re on a mission to help every student learn math and love learning math.
https://www.desmos.com/


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