Name: George Kaye
Type: User
Company: University of Birmingham
Bio: Computer science PhD student at the University of Birmingham.
Twitter: thegeorgejkaye
Location: Birmingham, United Kingdom
Iām George, a PhD student at the University of Birmingham, under the supervision of Dan Ghica and Miriam Backens! I am a member of the Theory Group.
My research involves combinatorial diagrammatic languages for monoidal categories using hypergraphs, in order to use them as an operational semantics using graph rewrites.
I also make silly discord bots and train related things.
act2021
act2022-abstract
Extended abstract for my submission to ACT2022
act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
agda-github-action
A GitHub action for typechecking Agda code.
bctcs2024.github.io
betterstreets
birmingham-theory
The web page for the Birmingham theoretical computer science research group
blanket-viz
Web app for showing the progress of the temperature blanket
bruno_advent_of_code_2023
brunorochapaiva.github.io
canvas-grader
catcircs
Making life easier with the categorical circuits stuff
circuit-streams
Translating periodic stream functions into mealy machines
circuit-visualiser
A visualiser for circuits represented as hypergraphs
circuits-abstract
Extended abstract for the circuits work
circuits-layered
Notes on how to apply 'string diagrams for layered explanations' to our circuits framework
clearooms-app
App for interacting with the Clearooms API
cookiebreaks
Tools for managing cookie breaks
cssuob.github.io
The Computer Science Society at the University of Birmingham.
cv
CV
cyclelanecounter
A twitter bot which posts daily updates from the A38 cycle counter
darkreader
Dark Reader Chrome and Firefox extension
discord-bots
Discord bots
figures
fscd2023
Submission to FSCD 2023, 'Rewriting modulo traced comonoid structure'
fscd2023-slides
Slides for my talk at FSCD 2023, 'Rewriting modulo traced comonoid structure'
georgejkaye
georgejkaye.github.io
My website
github-pages-agda
Template repo demonstrating Literate Agda Markdown with Github Pages (/Jekyll)
hack-the-midlands
HackTheMidlands project: a bullet hell shooter featuring UoB characters!
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
š Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ššš
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ā¤ļø Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
