George Kaye's starred repositories
github-trends
🚀 Level up your GitHub profile readme with customizable cards including LOC statistics!
lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
homotopy-rs
A Rust/WASM implementation of homotopy.io
agda-github-action
A GitHub action for typechecking Agda code.
AP-Downloader
Downloader for Armstrong Powerhouse Products
thesis-template
Template for a (PhD) thesis
sd-visualiser
String diagram visualiser
CycleLaneCounter
A twitter bot which posts daily updates from the A38 cycle counter