Here, I collect various notes and thoughts.

Automata Theory

• The Automata Zoo

Computational Group Theory

• The Schreier-Sims Algorithm -- A (very) Naive Implementation · Source Code