Pinned Loading

1. lean-coxeter lean-coxeter Public

   Coxeter groups in Lean 4

   Lean 2 2

2. wordle-solver wordle-solver Public

   Solve Wordle under 5 guesses

   C++ 1

3. kattis-tool kattis-tool Public

   Test Kattis Solutions Locally

   Haskell 3

4. agda-extras agda-extras Public

   Extra stuff (mostly math) for Agda.

   Agda

5. symchar symchar Public

   Characters of the symmetric group in Haskell

   Haskell

6. msym msym Public

   Modular symbols for Gamma0(N)

   Jupyter Notebook