Push-Button End-to-End Testing of Kubernetes Operators and Controllers
☆131Feb 22, 2026Updated last week
Alternatives and similar repositories for acto
Users that are interested in acto are comparing it to the libraries listed below
Sorting:
- Automatic Reliability Testing for Kubernetes Controllers and Operators☆342Sep 26, 2024Updated last year
- A Reading List of System Configuration Management☆57Aug 24, 2024Updated last year
- EMT: An OS Framework for New Memory Translation Architectures☆30Jul 22, 2025Updated 7 months ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆152Updated this week
- Zodiac: Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs, SOSP 2024☆15Nov 28, 2024Updated last year
- Kubernetes jobs management operator. Schedule long running tasks or jobs dependent on each other and groups.☆40Feb 16, 2026Updated 2 weeks ago
- ☆13Apr 10, 2025Updated 10 months ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated last year
- Yizhou Shan's Doctoral Dissertation (UCSD CSE)☆15Mar 16, 2022Updated 3 years ago
- Kubernetes operator to integrate deployments inspired by Canonical Juju Charm Relations☆15Jan 24, 2024Updated 2 years ago
- A transport middleware for client-go to mutate k8s resource before send to kube-apiserver☆11Jan 17, 2023Updated 3 years ago
- demo of keyless signing with the sigstore kubernetes policy controller☆11Sep 7, 2022Updated 3 years ago
- Flux Operator local dev environment with Docker and Kubernetes KIND☆14Jan 26, 2026Updated last month
- (Go) Framework for JSON RPC over HTTP☆11Jul 17, 2022Updated 3 years ago
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆526Feb 23, 2026Updated last week
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 2 years ago
- A minimalist Kubernetes network plugin.☆13Apr 7, 2025Updated 10 months ago
- Kubernetes operator that uses the CSI Volume Snapshot API to manage backups of your Persistent Volumes☆14Apr 14, 2019Updated 6 years ago
- A Bare bones and barely working schema registry for NATS☆15Mar 10, 2023Updated 2 years ago
- ☆26Updated this week
- ☆36Mar 12, 2025Updated 11 months ago
- A Go framework for end-to-end testing of components running in Kubernetes clusters.☆643Updated this week
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 7 months ago
- An Opinionated Formatter for Verus☆16Feb 23, 2026Updated last week
- Node-resource-manager manages local node resources of OpenYurt cluster in a unified manner.☆12Feb 2, 2023Updated 3 years ago
- Kubernetes Controller for managing Github☆39May 16, 2023Updated 2 years ago
- Infrastructure for running Kubernetes workshops☆17Mar 25, 2024Updated last year
- Generic libraries for building idiomatic Kubernetes controllers☆196Feb 19, 2026Updated last week
- Operator to maintain an Ironic deployment for Metal3☆27Feb 25, 2026Updated last week
- Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code☆90Feb 24, 2026Updated last week
- A Framework for Automated Validation of Deep Learning Training Tasks☆62Feb 13, 2026Updated 2 weeks ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆50Sep 2, 2024Updated last year
- Go load-balancing and upstream checks library☆18Feb 14, 2026Updated 2 weeks ago
- Kaloom's Kubernetes multi network cni-plugin☆17Feb 25, 2023Updated 3 years ago
- ☆20Apr 13, 2024Updated last year
- ☆18Mar 17, 2020Updated 5 years ago
- Automate Kubernetes cluster cost optimisations☆19Nov 20, 2025Updated 3 months ago
- Home for Cluster API Operator, a subproject of sig-cluster-lifecycle☆261Feb 25, 2026Updated last week
- Kivi: verifying your Kubernetes clusters☆19Nov 8, 2023Updated 2 years ago