This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
-
Updated
Jun 25, 2024 - Rust
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
Rust implementation of Knative custom resource definitions and objects.
Cost saving K8s controller to scale down and up of resources during non-business hours
Kubernetes controller to keep a container image ready on nodes
Tor Operator is a Kubernetes Operator that manages Onion Balances, Onion Keys and Onion Services to provide a highly available, load balanced and fault tolerate Tor Ingress and Tor Proxy.
Kubernetes controller: integrating Digital Ocean Floating IPs with their K8S platform
rūnō - A Secret Generator for Kubernetes written in Rust
Kubernetes operator for ephemeral services with auto-ingress
Cloud Native At. Example from "Programming Kubernetes" book in Rust.
Kubernetes controller to generate forward and reverse DNS records for all nodes on Linode
Add a description, image, and links to the kubernetes-controller topic page so that developers can more easily learn about it.
To associate your repository with the kubernetes-controller topic, visit your repo's landing page and select "manage topics."