Pinned Repositories
cpputil
Miscellaneous utility code for c++ projects.
stoke
STOKE: A stochastic superoptimizer and program synthesizer
stoke-release
strata
Automatic inference of a formal specification of the x86_64 instruction set
strata-data
Experimental results of the strata project
x64asm
x86-64 assembler library
Stanford Programming Languages Group's Repositories
StanfordPL/stoke
STOKE: A stochastic superoptimizer and program synthesizer
StanfordPL/x64asm
x86-64 assembler library
StanfordPL/stoke-release
StanfordPL/strata
Automatic inference of a formal specification of the x86_64 instruction set
StanfordPL/cpputil
Miscellaneous utility code for c++ projects.
StanfordPL/strata-data
Experimental results of the strata project