stuart-presnell

Pinned Repositories

Electoral-College-2020-cartogram
A cartogram of the US with states sized by their number of Electoral College votes in the 2020 general election
Language:TeX10
Advent-of-Code-2019
Language:Python00
Advent2023
My solutions to the 2023 Advent of Code
Language:Python00
Christmas_Rows_Garden_Crossword
A Festive Rows Garden Puzzle
00
first-test-repo
Just a sandbox for the purposes of experimentation
00
Hello-World
00
HTT-Primer
The LaTeX files for the HTT Primer document
Language:TeX00
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS00
stuart-presnell.github.io
Language:PHP00

stuart-presnell's Repositories

stuart-presnell/Advent2023
My solutions to the 2023 Advent of Code
Language:Python
stuart-presnell/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
stuart-presnell/Christmas_Rows_Garden_Crossword
A Festive Rows Garden Puzzle
stuart-presnell/Electoral-College-2020-cartogram
A cartogram of the US with states sized by their number of Electoral College votes in the 2020 general election
Language:TeX1
stuart-presnell/Advent-of-Code-2019
Language:Python
stuart-presnell/stuart-presnell.github.io
Language:PHP
stuart-presnell/HTT-Primer
The LaTeX files for the HTT Primer document
Language:TeX
stuart-presnell/testrepo
Another test
stuart-presnell/Hello-World
stuart-presnell/first-test-repo
Just a sandbox for the purposes of experimentation