matt-dees

matt-dees's Stars

• Bareflank/hypervisor

  lightweight hypervisor SDK written in C++ with support for Windows, Linux and UEFI

  Language:C++1.4k68341213

• s3team/AutoGrader

  Language:C++5321

• GaloisInc/pirate

  Main repository for the Galois/Two Six Pirate Project for DARPA GAPS

  Language:C++455