Automated property based testing for Rust (with shrinking).

Home of OpenVMM and OpenHCL

TPM 2.0 Implementation

COCONUT-SVSM

OpenTofu lets you declaratively manage your cloud infrastructure.

Regorus - A fast, lightweight Rego (OPA policy language) interpreter written in Rust.

Operator to deploy confidential containers runtime

Ability to create Kata pods using cloud provider APIs aka the peer-pods approach

Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit

🐉 Dark powered asynchronous unite all interfaces for Neovim/Vim8

AWS CloudWatch logs for Humans™

Vim plugin for the Elm programming language

Quick implementation of a Kubernetes proxy using iptables

Balbec is a visualization addon for nagios. It displays host and service info either in html for the enduser or in xml for further processing.