Pinned Repositories
ambystoma
Find ambystoma!
backbeat
BuildingNim
A program to compute the Grundy Value of a specific state in the game of Building Nim
enumerative_egg
Program verification by bottom-up enumeration with observational equivalence using egg.
General-Ostrowski
huarong-haskell
Huarong Lane in haskell. CSE 230 Final Project
ModellingLaneMerging
my 2015 HiMCM Project
puzzleEnum
BSM REU 2021 Puzzles
Pecan
An automated theorem prover that uses Büchi automata.
cs196-lookingfor
project for cs196fa17
madun1999's Repositories
madun1999/puzzleEnum
BSM REU 2021 Puzzles
madun1999/ambystoma
Find ambystoma!
madun1999/backbeat
madun1999/BuildingNim
A program to compute the Grundy Value of a specific state in the game of Building Nim
madun1999/chocopy-wasm-compiler-A
CSE231 Project - Compiler from ChocoPy to WASM in TS
madun1999/enumerative_egg
Program verification by bottom-up enumeration with observational equivalence using egg.
madun1999/General-Ostrowski
madun1999/huarong-haskell
Huarong Lane in haskell. CSE 230 Final Project
madun1999/ModellingLaneMerging
my 2015 HiMCM Project
madun1999/codewar
CodeWar implementation
madun1999/compprog
madun1999/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
madun1999/cs196-lookingfor
project for cs196fa17
madun1999/cs320-lab2-datasets
madun1999/CSE240A
Initial framework source code for CSE240A branch predictor project
madun1999/Discord-Bilibili-Bot
A discord music bot that supports playing songs from Bilibili.
madun1999/egg
egg is a flexible, high-performance e-graph library
madun1999/EvolveLog
madun1999/fuzzyjava
Java fuzzer for generating code reading questions.
madun1999/gradle
CS125 custom grading tasks.
madun1999/IGL-Automatic-Theorem-Proving
IGL UIUC
madun1999/national-airspace-capacity
Nation Airspace Capacity Modeling Using Edmond Karp's Max Flow Algorithm
madun1999/nimGame
Our CS125 Final Project
madun1999/PrairieLearn
Online problem-driving learning system
madun1999/queue
A microservice queue for holding open office hours
madun1999/uiuc-course-scheduler
madun1999/YABBA
Yet Another Better Barrel Attempt Mod