Dicer auto-sharder: Infrastructure for building sharded services

Apache Spark Kubernetes Operator

Can AI agents resolve production incidents?

Empowering everyone to build reliable and efficient software.

MongoDB Atlas Kubernetes Operator - Manage your MongoDB Atlas clusters from Kubernetes

Production-Grade Container Scheduling and Management

Specula: A framework for finding deep bugs in system code using TLA+

[ICLR 2026] "VTool-R1: VLMs Learn to Think with Images via Reinforcement Learning on Multimodal Tool Use"

Astarte Kubernetes Operator

Octopus is the first real-time 2D&3D video streaming system that leverages in-network content adaptation to achieve both high throughput and low latency. It's built upon UDT protocol.

RadioSaber is State-of-the-Art 5G RAN slicing algorithm that achieves high spectrum efficiency, ensures weighted fairness across slices, and allows slices to customize scheduling policies.

Optional static typing for Python

Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

CloudNativePG is a comprehensive platform designed to seamlessly manage PostgreSQL databases within Kubernetes environments, covering the entire operational lifecycle from initial deployment to ong…

KubeBlocks is a Kubernetes Operator designed to manage a variety of databases and streaming systems, including MySQL, PostgreSQL, MongoDB, Redis, RabbitMQ, RocketMQ, and more, within Kubernetes env…

Push-Button End-to-End Testing of Kubernetes Operators and Controllers

Enterprise HealthChecks for ASP.NET Core Diagnostics Package

Kubernetes Operator for OpenTelemetry Collector

Package for comparing Go values in tests

A Chaos Engineering Platform for Kubernetes.

EuroSys '23 Artifact Evaluation for "Fail through the Cracks: Cross-System Interaction Failures in Modern Cloud Systems"

Prevent Kubernetes misconfigurations from reaching production (again 😤 )! From code to cloud, Datree provides an E2E policy enforcement solution to run automatic checks for rule violations. See our…

GCP Config Connector, a Kubernetes add-on for managing GCP resources

Apache BookKeeper - a scalable, fault tolerant and low latency storage service optimized for append-only workloads

A machine learning toolkit for log parsing [ICSE'19, DSN'16]

ArangoDB Kubernetes Operator - Start ArangoDB on Kubernetes in 5min

k8s operator for CRDB

🐶 Kubernetes CLI To Manage Your Clusters In Style!

Provision and bind IBM Cloud services to your Kubernetes cluster in a Kubernetes-native way