Mike He

icon indicating a website link https://www.cs.princeton.edu/~dh7120/ icon indicating an email [email protected]

icon company @PrincetonUniversity @aws icon location Santa Clara, CA icon location Ph.D. student @PrincetonUniversity Applied Scientist Intern @aws; Working on formal methods for distributed systems

Results 3 repositories owned by Mike He

nanakagura-rainbow-fart

22
Stars
3
Forks
Watchers

カグラナナ（神乐七奈）Rainbow Fart语音包

verified publisher icon AD1024

SMS2Email

30
Stars
8
Forks
Watchers

A solution for receiving verification code sending to your phone while you are away from home. (no longer being maintained)

verified publisher icon AD1024

veripy

25
Stars
0
Forks
Watchers

Python3 auto-active verification library (migrated to an Intel project)

verified publisher icon AD1024