Pinned

1. acidanthera/OpenCorePkg Public

   OpenCore bootloader

   C 8k 1.4k

2. ISPRASOpen-SecurePE Public

   Conference material for the talk "Securing the EDK II Image Loader" at Ivannikov ISP RAS Open 2020.

   C 2 2

3. edk2 Public

   Forked from tianocore/edk2

   EDK II

4. AmdXnuSupportPkg Public

   Experimental AMD SVM-based type 0 hypervisor spoofing critical parts of an Intel CPU (e.g. CPUID, MSRs, MMIO) aimed to have a low footprint, and to make use of all relevant optimisation techniques …

   C 9 6

5. SimilarityChecker Public

   Code similarity checker based on editing distances with inbuilt profiles for the C Programming Language, Java and F#.

   C

6. NQJ-compiler Public

   Educational 'NotQuiteJava' compiler supporting Object-Oriented Programming paradigms.

   Java