Popular repositories Loading

1. NOVA NOVA Public

   NOVA Microhypervisor

   C++ 18 2

2. coq-lens coq-lens Public

   Lenses in Coq

   Coq 16 6

3. tenjint tenjint Public

   tenjint is a Python 3-based platform for virtual machine introspection (VMI) on x86 and ARM. This is main Python 3 tenjint library.

   Python 11 2

4. tenjint-qemu tenjint-qemu Public

   This is the tenjint fork of Qemu. It exposes all VMI functionality through an internal api.

   C 2 3

5. tenjint-rekall tenjint-rekall Public

   This is the tenjint fork of Rekall. It adds a physical address space for tenjint and some ARM64 improvements.

   Python 2 3

6. vml vml Public

   Virtual Machine Libraries

   C++ 2