Drench yourself in Deep Learning, Reinforcement Learning, Machine Learning, Computer Vision, and NLP by learning from these exciting lectures!!
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
Powerful modern math library for PHP: Features descriptive statistics and regressions; Continuous and discrete probability distributions; Linear algebra with matrices and vectors, Numerical analysis; special mathematical functions; Algebra
:orange_book: The probability and statistics cookbook
Algorithm is a library of tools that is used to create intelligent applications.
A C++ header-only library of statistical distribution functions.
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
Verified hash-based AMQ structures in Coq
A Rocq formalization of information theory and linear error-correcting codes
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]