Popular repositories Loading

1. NOVA NOVA Public

   NOVA Microhypervisor

   C++ 20 3

2. coq-lens coq-lens Public

   Lenses in Coq

   Coq 19 7

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 12 3

4. tenjint-qemu tenjint-qemu Public

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

   C 3 4

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 3 4

6. vml vml Public

   Virtual Machine Libraries

   C++ 3 1