Discover @georgejkaye Open Source projects

George Kaye (@georgejkaye)

georgejkaye

Stars
33
Global Rank 458,219 (Top 16 %)
Followers 26
Following 28
Registered over 10 years ago
Most used languages

Python
45.5 %

TypeScript
18.2 %

TeX
18.2 %

JavaScript
9.1 %

Java
9.1 %
Location 🇬🇧 United Kingdom
Country Total Rank 18,534
Country Ranking

TeX
316

Java
3,954

TypeScript
4,704

JavaScript
5,658

Python
9,409

lamviz-js

A visualiser for lambda terms as rooted maps.

act2022-slides

Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'

theorem-prover

A simple theorem prover made for a university programming assignment

syco8-abstract

Extended abstract for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'

latex-packager

Some latex scripts (they've probably been done before)

ner-tagger

A Named Entity Recognition tagger working on a Wall Street Journal corpora.

vscode-cricket

VS Code extension for following cricket matches

talkstools

Making running Birmingham seminars easier

discord-bots

itinerary-generator

Generating html documents for trip itineraries

delay-repay

Tool to calculate Delay Repay refunds