Popular repositories Loading

1. strata strata Public

   Forked from StanfordPL/strata

   Automatic inference of a formal specification of the x86_64 instruction set

   Assembly 1

2. opentitan opentitan Public

   Forked from lowRISC/opentitan

   OpenTitan: Open source silicon root of trust

   SystemVerilog 1

3. secbook secbook Public

   Forked from skyxsecurity/secbook

   信息安全从业者书单推荐

   1

4. CPU-spectre-meltdown CPU-spectre-meltdown Public

   CPU-spectre-meltdown

   C 2

5. sandsifter sandsifter Public

   Forked from xoreaxeaxeax/sandsifter

   The x86 processor fuzzer

   Python

6. sandsifter-tests sandsifter-tests Public

   Forked from rigred/sandsifter-tests

   A repository of result for runs of sandsifter on various x86 CPU's