mzhang
:speech_balloon: problem solver trying to figure out how to talk to computers | swe @twitter
Pinned Repositories
97.0FM
A discord bot that helps you out with figuring out what music to play!
amogus
Chesse
A bit more than Chess 🧀
cleanTimer
A Java cube timer that's nice and clean!
doxmytech
how much can a stranger find out about you?
Foole
A full-featured front end for George with various qualify-of-life features and workflow improvements
Gentzen
Automated proof checker for predicate logic
mzhang
read me!
mzhang.github.io
Published version of the private personal website repo
watNext
🐒 + 🐒 = 💪
mzhang's Repositories
mzhang/cleanTimer
A Java cube timer that's nice and clean!
mzhang/doxmytech
how much can a stranger find out about you?
mzhang/watNext
🐒 + 🐒 = 💪
mzhang/Gentzen
Automated proof checker for predicate logic
mzhang/mzhang
read me!
mzhang/mzhang.github.io
Published version of the private personal website repo
mzhang/97.0FM
A discord bot that helps you out with figuring out what music to play!
mzhang/amogus
mzhang/Chesse
A bit more than Chess 🧀
mzhang/Foole
A full-featured front end for George with various qualify-of-life features and workflow improvements
mzhang/overlapify
check for overlapping music taste!
mzhang/userChecker
This will check your username to see if it's taken on a list of websites!
mzhang/WSMAC
revolutionizing language learning!
mzhang/zenMachine
a discord bot for living, laughing and loving