Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

The Z3 Theorem Prover

The home of the CUE language! Validate and define text-based and dynamic configuration

DAOS Storage Stack (client libraries, storage engine, control plane)

Minimalist Minecraft server for memory-restrictive embedded systems

High performance container overlay networks on Linux. Enabling RDMA (on both InfiniBand and RoCE) and accelerating TCP to bare metal performance. Freeflow requires zero modification on application …

Specification documents for the P4Runtime control-plane API

sched_ext schedulers and tools

Switch Abstraction Interface

P4 Integrated Network Stack (PINS)

High-performance regular expression matching library

GitHub Load Balancer Director and supporting tooling.

Junos Yang module

eBPF-based packet filtering framework

☑️ A simple and extensible shell script for managing your todo.txt file.

A thin-hypervisor that runs on aarch64 CPUs.

Linux virtual machines, with a focus on running containers

A toolkit for building secure, portable and lean operating systems for containers

aarch64 thin hypervisor for resource aggregation

Linux kernel source tree

GoAccess is a real-time web log analyzer and interactive viewer that runs in a terminal in *nix systems or through your browser.

A lightweight LDAP server for development, home use, or CI

container-based networking labs

Single-binary TFTP server and client that you can use right now. No package installation, no configuration, no frustration.

Oxidized is a network device configuration backup tool. It's a RANCID replacement!

A professional front-end template for building fast, robust, and adaptable web apps or sites.

IAP Desktop is a Windows application that provides zero-trust Remote Desktop and SSH access to Linux and Windows VMs on Google Cloud.