47,133 repositories indexed
1–6 of 6 · Most stars
aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."
a cheat-sheet for mathematical notation in code form
Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.
A list of schools and researchers in computational neuroscience
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]