Jupyter Notebooks that include practical applications of machine-learning, data analysis, and simulations.
Lean 4 formalisations of several problems and solutions from the book 102 Combinatorial Problems.
Projects on fractal generation using root finding methods and numerical experiments on random matrix theory.