Discover @HMPerson1 Open Source projects

Michael Zhang (@HMPerson1)

HMPerson1

Stars
7
Global Rank 1,193,538 (Top 42 %)
Followers 13
Following 5
Registered about 12 years ago
Most used languages

Java
40.0 %

C++
20.0 %

Haskell
20.0 %

Coq 20.0 %
Location 🇺🇸 United States
Country Total Rank 187,513
Country Ranking

Coq 179

Haskell
3,111

android-font-library

A library for getting a list of fonts on an Android device

soiie

A compiler for a really simple toy language

OmniwrenchMod

Source code for the Omniwrench 9000 Minecraft mod. Idea by Combine_Kegan.

ctf-writeups

My writeups from CTFs

formal-crypto

Some proofs about cryptography