Push-Button End-to-End Testing of Kubernetes Operators and Controllers
☆136Jul 14, 2026Updated last week
Alternatives and similar repositories for acto
Users that are interested in acto are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatic Reliability Testing for Kubernetes Controllers and Operators☆347Sep 26, 2024Updated last year
- Testing Configuration Changes in Context to Prevent Production Failures☆34Dec 11, 2023Updated 2 years ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆189Updated this week
- A Reading List of System Configuration Management☆58Aug 24, 2024Updated last year
- A reading group for system verification papers☆10Sep 28, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Yizhou Shan's Doctoral Dissertation (UCSD CSE)☆15Mar 16, 2022Updated 4 years ago
- ☆13Apr 10, 2025Updated last year
- Zodiac: Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs, SOSP 2024☆15Nov 28, 2024Updated last year
- EMT: An OS Framework for New Memory Translation Architectures☆36Jul 22, 2025Updated last year
- Wasabi is a toolkit designed to isolate and trigger retry bugs by combining static program analysis, large language models (LLMs), fault …☆10Oct 8, 2024Updated last year
- ☆16Jan 23, 2026Updated 6 months ago
- 🚀 Time-travel through your workload's revision history 🕰️☆24Updated this week
- Kubernetes jobs management operator. Schedule long running tasks or jobs dependent on each other and groups.☆40Mar 19, 2026Updated 4 months ago
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆554Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Kivi: verifying your Kubernetes clusters☆21Nov 8, 2023Updated 2 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆51Apr 7, 2026Updated 3 months ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- Making code edting up to 7.7x faster using multi-layer speculation☆23Feb 20, 2025Updated last year
- Specula: A framework for finding deep bugs in system code using TLA+☆218Updated this week
- Node-resource-manager manages local node resources of OpenYurt cluster in a unified manner.☆12Feb 2, 2023Updated 3 years ago
- ☆37Mar 12, 2025Updated last year
- Runtime verification system for Java, using AspectJ for instrumentation.☆54Jan 6, 2023Updated 3 years ago
- [SOSP'25] Automatic checker synthesis for system-level static analysis☆181Oct 26, 2025Updated 8 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A pure C++11 based parallel programming library☆15Aug 22, 2016Updated 9 years ago
- RackSched: A Microsecond-Scale Scheduler for Rack-Scale Computers☆24Oct 5, 2020Updated 5 years ago
- Terraform provider to perform OCI image operations☆14Jul 13, 2026Updated last week
- demo of keyless signing with the sigstore kubernetes policy controller☆11Sep 7, 2022Updated 3 years ago
- kamera is a simulation toolkit for observing, analyzing, and verifying the behavior of Kubernetes control planes.☆85Updated this week
- Automated DNN generation for fuzz testing and more☆149Jan 14, 2025Updated last year
- Linux call graph visualization☆29Jul 16, 2018Updated 8 years ago
- A Bare bones and barely working schema registry for NATS☆17Mar 10, 2023Updated 3 years ago
- Generic libraries for building idiomatic Kubernetes controllers☆201Jul 17, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- An Opinionated Formatter for Verus☆22Jul 2, 2026Updated 3 weeks ago
- https://hub.docker.com/r/clangbuiltlinux/ubuntu/☆12Jan 20, 2021Updated 5 years ago
- Kubernetes Controller for managing Github☆39May 16, 2023Updated 3 years ago
- Kube State Metrics `CustomResourceState` configurations for Gateway API resources☆28Updated this week
- An open source project that aims to provide better support for service providers and consumers that reside in distinct Kubernetes cluster…☆217Updated this week
- RedLeaf Operating System☆143May 9, 2022Updated 4 years ago
- ☆32Aug 4, 2019Updated 6 years ago