Ming Yean Lim's repositories
grid-pathfinding
Implementation of Dijkstra's algorithm and A* search algorithm on a grid in Python
MATH40002-lean
Analysis I in Lean
kattis-tool
Test Kattis Solutions Locally
purely-functional-data-structure
Some data structures from "Purely Functional Data Structures" by Chris Okasaki implemented in Agda
agda-extras
Extra stuff (mostly math) for Agda.
game-of-life-hs
Conway's Game of Life in Haskell, animated using Gloss
wordle-solver
Solve Wordle under 5 guesses
MATH40004-notes
MATH40004 Calculus Notes
MATH50004-notes
MATH50004 Multivariable Calculus Notes
Language:TypeScript000
part-iii-algebraic-number-theory
Lecture notes for Part III Algebraic Number Theory
Language:TeX000
part-iii-elliptic-curves
Lecture notes for Part III Elliptic Curves
part-iii-local-fields
Lecture notes for Part III Local Fields
xmonad-config
My xmonad configuration