-
📫 How to reach me:
-
QQ: 913150678
-
TEL: +8615952265117
-
E-mail: [email protected]
-
I'm interested in Programming languages theory / type theory / category theory / logic / interpreters / funtional programming / quantum computation / static analysis, verification, optimization
sugarsbn / stoke Goto Github PK
View Code? Open in Web Editor NEWThis project forked from stanfordpl/stoke
STOKE: A stochastic superoptimizer and program synthesizer
Home Page: http://stoke.stanford.edu
License: Apache License 2.0