Pinned Repositories
binary-classification-nn-from-scratch
infinitude_of_primes
UCL Year 1 Lean Project -- Proof of infinitude of primes using Lean3
it-cert-automation-practice
Google IT Automation with Python Professional Certificate - Practice files
jupiterzw
jupiterzw.github.io
Jekyll-based personal website featuring maths, stats, and ml.
lean-shannon-lovasz
A project to formalise a proof that the Shannon capacity of the 5-cycle is √5
Snake-AI
ucl-math0058-computational-methods
ucl_math0011_projects
A repo for UCL MATH0011 Python projects
jupiterzw's Repositories
jupiterzw/binary-classification-nn-from-scratch
jupiterzw/infinitude_of_primes
UCL Year 1 Lean Project -- Proof of infinitude of primes using Lean3
jupiterzw/it-cert-automation-practice
Google IT Automation with Python Professional Certificate - Practice files
jupiterzw/jupiterzw
jupiterzw/jupiterzw.github.io
Jekyll-based personal website featuring maths, stats, and ml.
jupiterzw/lean-shannon-lovasz
A project to formalise a proof that the Shannon capacity of the 5-cycle is √5
jupiterzw/Snake-AI
jupiterzw/ucl-math0058-computational-methods
jupiterzw/ucl_math0011_projects
A repo for UCL MATH0011 Python projects