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
ox-c6.1-nla
A repo for Oxford Maths C6.1 NLA
ox-c6.5-tdl
ox-grl
A repo for Oxford CS GRL
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/ox-c6.1-nla
A repo for Oxford Maths C6.1 NLA
jupiterzw/ox-c6.5-tdl
jupiterzw/ox-grl
A repo for Oxford CS GRL
jupiterzw/ucl-math0011-projects
A repo for UCL MATH0011 Python projects
jupiterzw/ucl-math0058-computational-methods