Production-Grade Container Scheduling and Management

Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code

Code for the paper "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

Redis Operator creates/configures/manages high availability redis with sentinel automatic failover atop Kubernetes.

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

Curated list of resources on testing distributed systems

RabbitMQ Cluster Kubernetes Operator

Kubernetes Operator for YugabyteDB (legacy)