George Kaye's starred repositories
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.
thesis-template
Template for a (PhD) thesis
AP-Downloader
Downloader for Armstrong Powerhouse Products
CycleLaneCounter
A twitter bot which posts daily updates from the A38 cycle counter