Geek Repo
Github PK Tool:Github PK Tool
STOKE: A stochastic superoptimizer and program synthesizer
x86-64 assembler library
Automatic inference of a formal specification of the x86_64 instruction set
Miscellaneous utility code for c++ projects.
Experimental results of the strata project