Discover @mlyean Open Source projects

Ming Yean Lim (@mlyean)

mlyean

Stars
22
Global Rank 603,566 (Top 21 %)
Followers 5
Following 2
Registered almost 10 years ago
Most used languages

Agda 25.0 %

Python
25.0 %

Haskell
25.0 %

Lean 12.5 %

C++
12.5 %
Location 🇺🇸 United States
Country Total Rank 118,919
Country Ranking

Agda 41

Lean 66

Haskell
1,395

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

game-of-life-hs

Conway's Game of Life in Haskell, animated using Gloss

wordle-solver

Solve Wordle under 5 guesses

agda-extras

Extra stuff (mostly math) for Agda.

clipboard-translate