Pinned Repositories
anki-sync-server
A personal Anki sync server (so you can sync against your own server rather than AnkiWeb)
autoperm
A random cipher I came up with
blog
Assorted ramblings
cardgames
A little website where I may or may not keep a list of card games I like.
cpython
The Python programming language
crossword.js
Javascript module to visualize crosswords
froup-fenerator
Fenerate froups
iabonus
Some bonus questions for part IA of the mathematical tripos
Lean4ing
Leaning with a capital L. Not to be confused with the hit Lean 3 project leaning.
leaning
Summer leaning
Sterrs's Repositories
Sterrs/autoperm
A random cipher I came up with
Sterrs/leaning
Summer leaning
Sterrs/froup-fenerator
Fenerate froups
Sterrs/iabonus
Some bonus questions for part IA of the mathematical tripos
Sterrs/anki-sync-server
A personal Anki sync server (so you can sync against your own server rather than AnkiWeb)
Sterrs/blog
Assorted ramblings
Sterrs/cardgames
A little website where I may or may not keep a list of card games I like.
Sterrs/cpython
The Python programming language
Sterrs/crossword.js
Javascript module to visualize crosswords
Sterrs/CUSWPC
Stuff related to being treasurer of CUSWPC
Sterrs/dendrite
Sterrs/Lean4ing
Leaning with a capital L. Not to be confused with the hit Lean 3 project leaning.
Sterrs/diminishing-whist
A site I made to play diminishing whist against my terrible engines
Sterrs/equations
Some equations you can try to solve
Sterrs/IBAnki
Some Anki flashcards for IB maths, exported as JSON using CrowdAnki
Sterrs/interview-question-generator
Click the button, get a random question
Sterrs/manim
Animation engine for explanatory math videos
Sterrs/mathlib
Lean mathematical components library
Sterrs/music
A personal repo for me to potentially put some stuff related to music
Sterrs/neovim
Vim-fork focused on extensibility and usability
Sterrs/polycephaly
Many heads
Sterrs/sterrs.github.io
My website