Dun Ma's repositories
puzzleEnum
BSM REU 2021 Puzzles
ambystoma
Find ambystoma!
BuildingNim
A program to compute the Grundy Value of a specific state in the game of Building Nim
chocopy-wasm-compiler-A
CSE231 Project - Compiler from ChocoPy to WASM in TS
enumerative_egg
Program verification by bottom-up enumeration with observational equivalence using egg.
huarong-haskell
Huarong Lane in haskell. CSE 230 Final Project
ModellingLaneMerging
my 2015 HiMCM Project
CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
cs196-lookingfor
project for cs196fa17
Discord-Bilibili-Bot
A discord music bot that supports playing songs from Bilibili.
egg
egg is a flexible, high-performance e-graph library
gradle
CS125 custom grading tasks.
IGL-Automatic-Theorem-Proving
IGL UIUC
national-airspace-capacity
Nation Airspace Capacity Modeling Using Edmond Karp's Max Flow Algorithm
PrairieLearn
Online problem-driving learning system
queue
A microservice queue for holding open office hours
YABBA
Yet Another Better Barrel Attempt Mod