- ๐ Hi, Iโm @madaomax
- ๐ Iโm interested in Software Development, Computer Security, gaming (OW2 hehe)
- ๐ฑ Iโm currently learning how to ace my internship and game dev.
- ๐๏ธ Iโm looking to collaborate on mobile app / web dev / game dev / anything!
- ๐ซ How to reach me: [email protected]
madaomax / metalift Goto Github PK
View Code? Open in Web Editor NEWThis project forked from metalift/metalift
A program synthesis framework for verified lifting applications
Home Page: https://metalift.pages.dev