Sterrs

Alastair Horn's repositories

autoperm

A random cipher I came up with

Language:PythonGPL-3.02 10

leaning

Summer leaning

Language:Lean2 20

froup-fenerator

Fenerate froups

Language:PythonGPL-3.01 10

iabonus

Some bonus questions for part IA of the mathematical tripos

Language:TeX100

anki-sync-server

A personal Anki sync server (so you can sync against your own server rather than AnkiWeb)

Language:PythonAGPL-3.0000

blog

Assorted ramblings

Language:Ruby000

cardgames

A little website where I may or may not keep a list of card games I like.

010

cpython

The Python programming language

Language:PythonNOASSERTION010

crossword.js

Javascript module to visualize crosswords

Language:JavaScriptMIT000

CUSWPC

Stuff related to being treasurer of CUSWPC

Language:Python010

dendrite

Language:GoApache-2.0010

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

equations

Some equations you can try to solve

Language:TeXGPL-3.0010

IBAnki

Some Anki flashcards for IB maths, exported as JSON using CrowdAnki

CC0-1.0010

interview-question-generator

Click the button, get a random question

CC0-1.0000

manim

Animation engine for explanatory math videos

Language:PythonNOASSERTION010

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

neovim

Vim-fork focused on extensibility and usability

Language:Vim scriptNOASSERTION010

polycephaly

Many heads

AGPL-3.0000

sterrs.github.io

My website

Language:JavaScript000