Toolboxes for parameter continuation and bifurcation analysis.
Python Calculator on Number Theory, three-birds-one learning material
A textbook on informal homotopy type theory
Statistical Rethinking course and book package
chinese remainder theorem - progressive solving, n-soln, extras