George Kaye's repositories
georgejkaye.github.io
My website
transport-tracker
Get the details of transport you've been on
belnap-tools
Tools for experimenting with Belnap logic
act2024-slides
Slides for my ACT 2024 talk, 'Fully Compositional Semantics for Digital Circuits'
latex-stats-uploader
Upload stats about latex documents to the stats database
circuit-cj
A hardware description language based on operational semantics
cv
CV
lamviz-rust
A remake of my lambda visualiser in Rust.
delay-repay
Tool to calculate Delay Repay refunds
tea-labels
Labels for my tins of tea
catcircs
Making life easier with the categorical circuits stuff
latex-packager
Some latex scripts (they've probably been done before)
playlist-control
Tool for partygoers to contribute to the playlist
cookiebreaks
Tools for managing cookie breaks
syco12
Source for the SYCO 12 webpage
thesis-tracker
Web app showing the progress of my thesis
ucl-seminar
Slides for my UCL talk
smls5
Slides for my SMLS5 talk, 'A Fully Compositional Theory of Sequential Digital Circuits'
circuits-abstract
Extended abstract for the circuits work
blanket-viz
Web app for showing the progress of the temperature blanket
talkstools
Making running Birmingham seminars easier
thesis-template
Template for a (PhD) thesis
newyear-tootgen
Generator for toots heralding the new year
synchron2023
Slides for SYNCHRON 2023