probability topic
infotheo
A Coq formalization of information theory and linear error-correcting codes
math-php
Powerful modern math library for PHP: Features descriptive statistics and regressions; Continuous and discrete probability distributions; Linear algebra with matrices and vectors, Numerical analysis;...
www.mlcompendium.com
The Machine Learning & Deep Learning Compendium was a list of references in my private & single document, which I curated in order to expand my knowledge, it is now an open knowledge-sharing project c...
stats
A C++ header-only library of statistical distribution functions.
Ultimate-Notes-Books-Resources-for-NCIT
Curated list of notes, books and other resources for the student of Nepal College of Information and Technology(NCIT) - Pokhara University, Nepal
ML-foundations
Machine Learning Foundations: Linear Algebra, Calculus, Statistics & Computer Science
stanford-cme-106-probability-and-statistics
VIP cheatsheets for Stanford's CME 106 Probability and Statistics for Engineers
flex
Probabilistic deep learning for data streams.
ceramist
Verified hash-based AMQ structures in Coq
awesome-conformal-prediction
A professionally curated list of awesome Conformal Prediction videos, tutorials, books, papers, PhD and MSc theses, articles and open-source libraries.