# [Math]Libraries & Tools & Books Collections

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`