Skip to content

@bedrocksystems BedRock Systems, Inc.

Change the repository type filter

All

    Repositories list

    16 repositories

    • BRiCk

      Public
      Formalization of C++ for verification purposes.
      cpluspluscoq-formalizationcplusplus-14cplusplus-11coq-librarycplusplus-17coq
      Coq
      •
      Other
      •10•69•1•0•Updated Nov 23, 2024Nov 23, 2024

    • bochs

      Public
      C++
      •
      GNU Lesser General Public License v2.1
      •0•0•0•0•Updated Nov 11, 2024Nov 11, 2024

    • vml

      Public
      Virtual Machine Libraries
      C++
      •
      Other
      •0•2•0•0•Updated Nov 11, 2024Nov 11, 2024

    • linux-bhv-patches

      Public
      This repository contains patches for the Linux kernel required for compatibility with the BlueRock Ultra Security System component.
      GNU General Public License v2.0
      •0•0•0•0•Updated Nov 6, 2024Nov 6, 2024

    • NOVA

      Public
      NOVA Microhypervisor
      securityperformancekernelcplusplusx86-64virtualizationhypervisoraarch64microkernelmicrohypervisor
      C++
      •
      Other
      •1•18•1•0•Updated Nov 5, 2024Nov 5, 2024

    • fm-releases

      Public
      Formal Methods releases
      0•0•0•0•Updated Apr 25, 2024Apr 25, 2024

    • tenjint-rekall

      Public
      This is the tenjint fork of Rekall. It adds a physical address space for tenjint and some ARM64 improvements.
      Python
      •
      GNU General Public License v2.0
      •3•2•0•2•Updated May 22, 2023May 22, 2023

    • coq-lens

      Public
      Lenses in Coq
      coqlenses
      Coq
      •
      Other
      •6•16•6•2•Updated Oct 7, 2022Oct 7, 2022

    • pm_imx8mq_drv

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Jul 13, 2022Jul 13, 2022

    • pebble

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Jul 13, 2022Jul 13, 2022

    • ceps

      Public
      Coq Enhancement Proposals
      34•0•0•0•Updated Feb 15, 2022Feb 15, 2022

    • alectryon

      Public
      A collection of tools for writing technical documents that mix Coq code and prose.
      HTML
      •
      MIT License
      •34•0•0•0•Updated Jul 20, 2021Jul 20, 2021

    • 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
      •
      GNU General Public License v2.0
      •2•11•0•0•Updated Feb 9, 2021Feb 9, 2021

    • pm_rpi4_drv

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Oct 13, 2020Oct 13, 2020

    • tenjint-linux

      Public
      This is the tenjint fork of the Linux kernel. It contains all VMI related changes in KVM.
      C
      •
      Other
      •2•1•0•0•Updated May 15, 2020May 15, 2020

    • tenjint-qemu

      Public
      This is the tenjint fork of Qemu. It exposes all VMI functionality through an internal api.
      C
      •
      Other
      •3•2•0•0•Updated May 15, 2020May 15, 2020