Popular repositories Loading

1. stoke stoke Public

   STOKE: A stochastic superoptimizer and program synthesizer

   C++ 781 79

2. x64asm x64asm Public

   x86-64 assembler library

   C++ 482 63

3. stoke-release stoke-release Public

   330 19

4. strata strata Public

   Automatic inference of a formal specification of the x86_64 instruction set

   Assembly 70 12

5. cpputil cpputil Public

   Miscellaneous utility code for c++ projects.

   C++ 18 5

6. strata-data strata-data Public

   Experimental results of the strata project

   Assembly 9 3