jjcrawford

Honours in Mathematical Sciences at the ANU.

Pinned Repositories

anutimetable
Intuitive timetable builder for the Australian National University.
Language:JavaScript58 4 11335
anutimetable
Intuitive timetable builder for the Australian National University.
Language:JavaScript00
jjcrawford.github.io
Miscellaneous notes & toys
Language:HTML00
lean-gaussian-elimination
Implementation of Gaussian Elimination in Lean with associated proofs
Language:Lean00
based.cooking
A simple culinary website.
Language:CSS2.2k 25 156543
pylance-release
Documentation and issues for Pylance
Language:Python1.7k 45 5.2k768

jjcrawford's Repositories

jjcrawford/anutimetable
Intuitive timetable builder for the Australian National University.
Language:JavaScript00
jjcrawford/jjcrawford.github.io
Miscellaneous notes & toys
Language:HTML00
jjcrawford/lean-gaussian-elimination
Implementation of Gaussian Elimination in Lean with associated proofs
Language:Lean00