Pinned Repositories
agda-extras
Extra stuff (mostly math) for Agda.
clipboard-translate
game-of-life-hs
Conway's Game of Life in Haskell, animated using Gloss
grid-pathfinding
Implementation of Dijkstra's algorithm and A* search algorithm on a grid in Python
kattis-tool
Test Kattis Solutions Locally
MATH40002-lean
Analysis I in Lean
msym
Modular symbols for Gamma0(N)
purely-functional-data-structure
Some data structures from "Purely Functional Data Structures" by Chris Okasaki implemented in Agda
symchar
Characters of the symmetric group in Haskell
wordle-solver
Solve Wordle under 5 guesses
mlyean's Repositories
mlyean/grid-pathfinding
Implementation of Dijkstra's algorithm and A* search algorithm on a grid in Python
mlyean/MATH40002-lean
Analysis I in Lean
mlyean/kattis-tool
Test Kattis Solutions Locally
mlyean/purely-functional-data-structure
Some data structures from "Purely Functional Data Structures" by Chris Okasaki implemented in Agda
mlyean/agda-extras
Extra stuff (mostly math) for Agda.
mlyean/clipboard-translate
mlyean/game-of-life-hs
Conway's Game of Life in Haskell, animated using Gloss
mlyean/wordle-solver
Solve Wordle under 5 guesses
mlyean/msym
Modular symbols for Gamma0(N)
mlyean/symchar
Characters of the symmetric group in Haskell
mlyean/MATH40004-notes
MATH40004 Calculus Notes
mlyean/MATH50004-notes
MATH50004 Multivariable Calculus Notes
mlyean/nextjs-dashboard
mlyean/part-iii-algebraic-number-theory
Lecture notes for Part III Algebraic Number Theory
mlyean/part-iii-elliptic-curves
Lecture notes for Part III Elliptic Curves
mlyean/part-iii-local-fields
Lecture notes for Part III Local Fields
mlyean/xmonad-config
My xmonad configuration