BedRock Systems, Inc.

BedRock Systems, Inc.'s repositories

Formalization of C++ for verification purposes.

Language:CoqNOASSERTION64 4 1

Lenses in Coq

Language:CoqNOASSERTION17 3 12

NOVA Microhypervisor

Language:C++NOASSERTION15 3 1

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

Language:PythonGPL-2.010 80

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

Language:CNOASSERTION2 50

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

Language:PythonGPL-2.02 50

Virtual Machine Libraries

Language:C++NOASSERTION2 4 1

This is the tenjint fork of the Linux kernel. It contains all VMI related changes in KVM.

Language:CNOASSERTION1 40

A collection of tools for writing technical documents that mix Coq code and prose.

Language:HTMLMIT000

Language:C++010

Coq Enhancement Proposals

000

This repository contains patches for the Linux kernel required for compatibility with the BedRock Active Security System component.

GPL-2.0010

Language:C++NOASSERTION020

Formal Methods releases

000

Language:C++NOASSERTION030

Language:C++NOASSERTION030