Pinned Repositories
Data-Analysis-Phys431-2
Neural-Nets-for-Physics
SoundToy
A simple SwiftUI app for playing tones based on a user's finger position.
formalising-mathematics-2022
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
Lean-Projects
skrf_tests
Verification of noisy scikit-rf microwave circuit simulation.
Swift-Projects
zacharybanken.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
XLL
Codebase for the Experimental Lean Lab
LLL
zacharybanken's Repositories
zacharybanken/Lean-Projects
zacharybanken/formalising-mathematics-2022
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
zacharybanken/Data-Analysis-Phys431-2
zacharybanken/SoundToy
A simple SwiftUI app for playing tones based on a user's finger position.
zacharybanken/Neural-Nets-for-Physics
zacharybanken/Swift-Projects
zacharybanken/zacharybanken.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
zacharybanken/skrf_tests
Verification of noisy scikit-rf microwave circuit simulation.