Popular repositories

1. stoke stoke Public

   STOKE: A stochastic superoptimizer and program synthesizer

   C++ 709 72

2. x64asm x64asm Public

   x86-64 assembler library

   C++ 466 59

3. stoke-release stoke-release Public

   332 19

4. strata strata Public

   Automatic inference of a formal specification of the x86_64 instruction set

   Assembly 65 12

5. cpputil cpputil Public

   Miscellaneous utility code for c++ projects.

   C++ 19 5

6. strata-data strata-data Public

   Experimental results of the strata project

   Assembly 9 3