georgejkaye
Computer science PhD student at the University of Birmingham.
University of BirminghamBirmingham, United Kingdom
Pinned Repositories
act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
blanket-viz
Web app for showing the progress of the temperature blanket
cookiebreaks
Tools for managing cookie breaks
delay-repay
Tool to calculate Delay Repay refunds
georgejkaye.github.io
My website
lamviz-js
A visualiser for lambda terms as rooted maps.
syco8-abstract
Extended abstract for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'
talkstools
Making running Birmingham seminars easier
theorem-prover
A simple theorem prover made for a university programming assignment
thesis-tracker
Web app showing the progress of my thesis
georgejkaye's Repositories
georgejkaye/delay-repay
Tool to calculate Delay Repay refunds
georgejkaye/itinerary-generator
Generating html documents for trip itineraries
georgejkaye/latex-packager
Some latex scripts (they've probably been done before)
georgejkaye/talkstools
Making running Birmingham seminars easier
georgejkaye/thesis-template
Template for a (PhD) thesis
georgejkaye/vscode-cricket
VS Code extension for following cricket matches
georgejkaye/blanket-viz
Web app for showing the progress of the temperature blanket
georgejkaye/cookiebreaks
Tools for managing cookie breaks
georgejkaye/georgejkaye.github.io
My website
georgejkaye/thesis-tracker
Web app showing the progress of my thesis
georgejkaye/bctcs2024.github.io
georgejkaye/bruno_advent_of_code_2023
georgejkaye/brunorochapaiva.github.io
georgejkaye/catcircs
Making life easier with the categorical circuits stuff
georgejkaye/circuits-abstract
Extended abstract for the circuits work
georgejkaye/cv
CV
georgejkaye/figures
georgejkaye/lamviz-rust
A remake of my lambda visualiser in Rust.
georgejkaye/latex-stats-uploader
Upload stats about latex documents to the stats database
georgejkaye/macros
georgejkaye/newyear-tootgen
Generator for toots heralding the new year
georgejkaye/pgr-induction
georgejkaye/playlist-control
Tool for partygoers to contribute to the playlist
georgejkaye/refs
georgejkaye/smls5
Slides for my SMLS5 talk, 'A Fully Compositional Theory of Sequential Digital Circuits'
georgejkaye/syco12
Source for the SYCO 12 webpage
georgejkaye/synchron2023
Slides for SYNCHRON 2023
georgejkaye/tea-labels
Labels for my tins of tea
georgejkaye/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
georgejkaye/ucl-seminar
Slides for my UCL talk