Projects in Awesome Lists by georgejkaye
A curated list of projects in awesome lists by georgejkaye .
https://github.com/georgejkaye/lamviz-js
A visualiser for lambda terms as rooted maps.
combinatorics generator graphs lambda-calculus maps visualiser
Last synced: 12 Apr 2025
https://github.com/georgejkaye/act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
act2022 applied-category-theory digital-circuits monoidal-categories string-diagrams
Last synced: 12 Apr 2025
https://github.com/georgejkaye/theorem-prover
A simple theorem prover made for a university programming assignment
clause-normal-form dimacs dpll propositional-logic propositional-resolution reasoning resolution-calculus theorem theorem-prover theorem-proving
Last synced: 12 Apr 2025
https://github.com/georgejkaye/syco8-abstract
Extended abstract for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'
applied-category-theory category-theory digital-circuits extended-abstract mealy-machines streams syco syco8
Last synced: 12 Apr 2025
https://github.com/georgejkaye/thesis
My thesis, 'A compositional theory of digital circuits'
Last synced: 12 Apr 2025
https://github.com/georgejkaye/transport-tracker
Get the details of transport you've been on
Last synced: 12 Apr 2025
https://github.com/georgejkaye/vscode-cricket
VS Code extension for following cricket matches
Last synced: 12 Apr 2025
https://github.com/georgejkaye/blanket-viz
Web app for showing the progress of the temperature blanket
blanket fastapi nextjs react temperature-blanket
Last synced: 12 Apr 2025
https://github.com/georgejkaye/latex-packager
Some latex scripts (they've probably been done before)
Last synced: 12 Apr 2025
https://github.com/georgejkaye/delay-repay
Tool to calculate Delay Repay refunds
Last synced: 12 Apr 2025
https://github.com/georgejkaye/talkstools
Making running Birmingham seminars easier
Last synced: 12 Apr 2025
https://github.com/georgejkaye/circuit-cj
A hardware description language based on operational semantics
Last synced: 12 Apr 2025
https://github.com/georgejkaye/ner-tagger
A Named Entity Recognition tagger working on a Wall Street Journal corpora.
Last synced: 12 Apr 2025
https://github.com/georgejkaye/itinerary-generator
Generating html documents for trip itineraries
Last synced: 12 Apr 2025
https://github.com/georgejkaye/lfcs-seminar
Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
applied-category-theory digital-circuits mealy-machines monoidal-categories string-diagrams
Last synced: 12 Apr 2025
https://github.com/georgejkaye/clearooms-app
App for interacting with the Clearooms API
Last synced: 12 Apr 2025
https://github.com/georgejkaye/trainsim-latex
A script to make latex readmes for train simulator scenarios
Last synced: 12 Apr 2025
https://github.com/georgejkaye/syco8-slides
Slides for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'
applied-category-theory category-theory digital-circuits mealy-machines slides syco syco8
Last synced: 12 Apr 2025
https://github.com/georgejkaye/lightning-talk
Slides for a lightning talk on 'diagrammatic semantics for digital circuits'
Last synced: 12 Apr 2025
https://github.com/georgejkaye/http-server
An HTTP server to serve files from a system
Last synced: 12 Apr 2025
https://github.com/georgejkaye/smls5
Slides for my SMLS5 talk, 'A Fully Compositional Theory of Sequential Digital Circuits'
Last synced: 12 Apr 2025
https://github.com/georgejkaye/mgs2023-slides
Slides for my short talk at MGS 2023, 'A compositional theory for digital circuits'
Last synced: 12 Apr 2025
https://github.com/georgejkaye/fscd2023
Submission to FSCD 2023, 'Rewriting modulo traced comonoid structure'
Last synced: 12 Apr 2025
https://github.com/georgejkaye/circuits-abstract
Extended abstract for the circuits work
Last synced: 12 Apr 2025
https://github.com/georgejkaye/circuit-streams
Translating periodic stream functions into mealy machines
Last synced: 12 Apr 2025
https://github.com/georgejkaye/hack-the-midlands
HackTheMidlands project: a bullet hell shooter featuring UoB characters!
Last synced: 12 Apr 2025
https://github.com/georgejkaye/fscd2023-slides
Slides for my talk at FSCD 2023, 'Rewriting modulo traced comonoid structure'
Last synced: 12 Apr 2025
https://github.com/georgejkaye/playlist-control
Tool for partygoers to contribute to the playlist
Last synced: 12 Apr 2025
https://github.com/georgejkaye/catcircs
Making life easier with the categorical circuits stuff
Last synced: 12 Apr 2025
https://github.com/georgejkaye/thesis-tracker
Web app showing the progress of my thesis
Last synced: 12 Apr 2025
https://github.com/georgejkaye/circuits-layered
Notes on how to apply 'string diagrams for layered explanations' to our circuits framework
Last synced: 12 Apr 2025
https://github.com/georgejkaye/circuit-visualiser
A visualiser for circuits represented as hypergraphs
category-theory circuits hypergraphs string-diagrams
Last synced: 12 Apr 2025
https://github.com/georgejkaye/act2022-abstract
Extended abstract for my submission to ACT2022
Last synced: 12 Apr 2025
https://github.com/georgejkaye/latex-stats-uploader
Upload stats about latex documents to the stats database
Last synced: 12 Apr 2025
https://github.com/georgejkaye/newyear-tootgen
Generator for toots heralding the new year
Last synced: 12 Apr 2025
https://github.com/georgejkaye/lamviz-rust
A remake of my lambda visualiser in Rust.
Last synced: 12 Apr 2025
https://github.com/georgejkaye/belnap-tools
Tools for experimenting with Belnap logic
Last synced: 12 Apr 2025
https://github.com/georgejkaye/act2024-slides
Slides for my ACT 2024 talk, 'Fully Compositional Semantics for Digital Circuits'
Last synced: 12 Apr 2025
https://github.com/georgejkaye/cookiebreaks
Tools for managing cookie breaks
Last synced: 12 Apr 2025
https://github.com/georgejkaye/team-project
A second-year university team project: a multiplayer arena game
Last synced: 12 Apr 2025