Pinned Loading

1. msym msym Public

   Modular symbols for Gamma0(N)

   Jupyter Notebook

2. lean-coxeter lean-coxeter Public

   Coxeter groups in Lean 4

   Lean 1 1

3. symchar symchar Public

   Characters of the symmetric group in Haskell

   Haskell

4. wordle-solver wordle-solver Public

   Solve Wordle under 5 guesses

   C++ 1

5. kattis-tool kattis-tool Public

   Test Kattis Solutions Locally

   Haskell 3

6. agda-extras agda-extras Public

   Extra stuff (mostly math) for Agda.

   Agda