Skip to content
@bedrocksystems

BedRock Systems, Inc.

Popular repositories Loading

  1. BRiCk BRiCk Public

    Formalization of C++ for verification purposes.

    Coq 69 10

  2. NOVA NOVA Public

    NOVA Microhypervisor

    C++ 18 1

  3. coq-lens coq-lens Public

    Lenses in Coq

    Coq 16 6

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

  5. tenjint-qemu tenjint-qemu Public

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

    C 2 3

  6. 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

Repositories

Showing 10 of 16 repositories
  • BRiCk Public

    Formalization of C++ for verification purposes.

    bedrocksystems/BRiCk’s past year of commit activity
    Coq 69 10 1 0 Updated Nov 30, 2024
  • linux-bhv-patches Public

    This repository contains patches for the Linux kernel required for compatibility with the BlueRock Ultra Security System component.

    bedrocksystems/linux-bhv-patches’s past year of commit activity
    0 GPL-2.0 1 0 0 Updated Nov 25, 2024
  • bochs Public
    bedrocksystems/bochs’s past year of commit activity
    C++ 0 LGPL-2.1 0 0 0 Updated Nov 11, 2024
  • vml Public

    Virtual Machine Libraries

    bedrocksystems/vml’s past year of commit activity
    C++ 2 0 0 0 Updated Nov 11, 2024
  • NOVA Public

    NOVA Microhypervisor

    bedrocksystems/NOVA’s past year of commit activity
    C++ 18 1 1 0 Updated Nov 5, 2024
  • fm-releases Public

    Formal Methods releases

    bedrocksystems/fm-releases’s past year of commit activity
    0 0 0 0 Updated Apr 25, 2024
  • tenjint-rekall Public

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

    bedrocksystems/tenjint-rekall’s past year of commit activity
    Python 2 GPL-2.0 3 0 2 Updated May 22, 2023
  • coq-lens Public

    Lenses in Coq

    bedrocksystems/coq-lens’s past year of commit activity
    Coq 16 6 6 2 Updated Oct 7, 2022
  • pm_imx8mq_drv Public
    bedrocksystems/pm_imx8mq_drv’s past year of commit activity
    C++ 0 0 0 0 Updated Jul 13, 2022
  • pebble Public
    bedrocksystems/pebble’s past year of commit activity
    C++ 0 0 0 0 Updated Jul 13, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…