George Kaye's repositories
itinerary-generator
Generating html documents for trip itineraries
latex-packager
Some latex scripts (they've probably been done before)
talkstools
Making running Birmingham seminars easier
thesis-template
Template for a (PhD) thesis
vscode-cricket
VS Code extension for following cricket matches
blanket-viz
Web app for showing the progress of the temperature blanket
cookiebreaks
Tools for managing cookie breaks
georgejkaye.github.io
My website
thesis-tracker
Web app showing the progress of my thesis
agda-github-action
A GitHub action for typechecking Agda code.
circuits-abstract
Extended abstract for the circuits work
cv
CV
fscd2023-slides
Slides for my talk at FSCD 2023, 'Rewriting modulo traced comonoid structure'
latex-stats-uploader
Upload stats about latex documents to the stats database
newyear-tootgen
Generator for toots heralding the new year
playlist-control
Tool for partygoers to contribute to the playlist
smls5
Slides for my SMLS5 talk, 'A Fully Compositional Theory of Sequential Digital Circuits'
synchron2023
Slides for SYNCHRON 2023
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
ucl-seminar
Slides for my UCL talk