- ๐ Hi, Iโm @Eladkay
- ๐ Iโm interested in programming language theory, synthesis of software and compilation.
- ๐ฑ Iโm currently studying for my MSc. in Computer Science at Technion - IIT.
- ๐๏ธ Iโm also the TA in Charge of Introduction to Systems Programming and Reverse Engineering.
- ๐ซ You can reach me at elad (at) eladkay.com.
eladkay / py2smt Goto Github PK
View Code? Open in Web Editor NEWTranslating compiler between Python and representations for SMT
License: GNU Lesser General Public License v2.1