Math
Mathematics: proofs, geometry, calculus, linear algebra, probability, statistics, and math explained visually.
-
Bayesian Methods for Hackers github.com
by Cameron Davidson-Pilon. Introduction to Bayesian methods and probabilistic graphical models using tensorflow-probability (and, alternatively PyMC2/3).
-
GLM github.com
Header-only C++ math library that matches and inter-operates with OpenGL's GLSL math. [MIT] website
-
H2O github.com
statistical, machine learning and math runtime with Hadoop. R and Python.
-
NSQ (⭐25k) github.com
Realtime distributed messaging platform designed to operate at scale, handling billions of messages per day with decentralized topology.
-
libigl github.com
Simple C++ geometry processing library. [MPL2]
-
Math as code github.com
-
mathjs github.com
An extensive math library.
-
Z3 github.com
A theorem prover from Microsoft Research.
-
Proof of concept for loading Caffe models in TensorFlow github.com
Convert Caffe models to TensorFlow format
-
OSSU Math github.com
Free, prerequisite-ordered self-study curriculum modeled on the mathematics requirements of an undergraduate degree.
-
gonum github.com
Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more.
-
-
S2 geometry github.com
S2 geometry library in Go.
-
git-quick-stats github.com
Git quick statistics is a simple and efficient way to access various statistics in git repository.
-
geiger github.com
A program that list statistics related to usage of unsafe code in a crate and all its dependencies
-
Practical_RL github.com
-
Elementary Algorithms github.com
-
bheisler/criterion.rs github.com
Statistics-driven benchmarking library
-
dataframe-go github.com
Dataframes for machine-learning and statistics (similar to pandas).
-
AlphaGeometry github.com
Open research implementation combining learned guidance with symbolic deduction for olympiad geometry problems.
-
dimforge/nalgebra github.com
low-dimensional linear algebra library
-
mathlib github.com
Community-maintained mathematical library for Lean 4, with formalized theories, proof tactics, programming infrastructure, and generated documentation.
-
geometry github.com
A minimal ZSH theme where any function can be added to the left prompt or (async) right prompt on the fly.
-
FCaptcha github.com
Self-hosted CAPTCHA server and Go client that detects bots, AI agents, and headless browsers through behavioral analysis and proof of work.
-
Math.NET Numerics github.com
Methods and algorithms for numerical computations in science, engineering and every day use. F# specific bindings available.
-
statsviz github.com
Live visualization of your Go application runtime statistics.
-
Mathematics Roadmap github.com
-
simple-statistics github.com
-
Algorithm github.com
Algorithm is a collection of data structures that are empowered by a probability toolset.
-
stats github.com
Statistics package with common functions missing from the Golang standard library.
- next page of items loading…
