Alastair Horn's repositories
froup-fenerator
Fenerate froups
anki-sync-server
A personal Anki sync server (so you can sync against your own server rather than AnkiWeb)
Language:PythonAGPL-3.0000
crossword.js
Javascript module to visualize crosswords
Language:JavaScriptMIT000
Lean4ing
Leaning with a capital L. Not to be confused with the hit Lean 3 project leaning.
Language:LeanGPL-3.0000
diminishing-whist
A site I made to play diminishing whist against my terrible engines
Language:PythonGPL-3.0000
interview-question-generator
Click the button, get a random question
CC0-1.0000
mathlib
Lean mathematical components library
Language:LeanApache-2.0000
music
A personal repo for me to potentially put some stuff related to music
Language:LilyPondGPL-3.0000
polycephaly
Many heads
AGPL-3.0000
sterrs.github.io
My website
Language:JavaScript000