Aidan Hamwood's repositories
signal-server
A simple WebRTC signalling server.
solitaire-2048
Solitaire puzzle game based on 2048
statetables
Autogenerate state tables with a chosen state encoding
abyme
Image feedback toy
agda-alpine
A docker image based on Alpine Linux for the Agda programming language.
ajhamwood.github.io
Aidan Hamwood Developer Portfolio
smooth
SmoothLife - the continuous domain cellular automaton simulation
books
Others' ideas.
citizen-guidance
Collection of guiding documents which apply to the Citizen project.
cyclotomic-polynomials
Cyclotomic polynomial calculator
death
If all non-external causes of death were eliminated, how long would you live for, and how would you die?
derham-explorer
Generates beautiful renderings of de Rham fractals.
diarie
A diary that you can unlock with a qr code.
elabzoo_js
Working through Andras Kovacs' elaboration zoo in Javascript
github
Mastodon redirect
idris-alpine
A docker image based on Alpine Linux for the Idris programming language.
katsuo
Dependently typed language being developed for the Citizen project
pitch-spectrum
Microtonal pitch-class spectrum visualiser.
reason
Experiments in dependent Javascript typing
spelling-elo
Makin' a spelling game
temperamental
Microtonal explorer
words
Word search game.