Push-Button End-to-End Testing of Kubernetes Operators and Controllers
☆136Apr 12, 2026Updated 2 months ago
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☆345Sep 26, 2024Updated last year
- Testing Configuration Changes in Context to Prevent Production Failures☆34Dec 11, 2023Updated 2 years ago
- A Reading List of System Configuration Management☆57Aug 24, 2024Updated last year
- ☆86Nov 7, 2025Updated 7 months ago
- A reading group for system verification papers☆10Sep 28, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- EMT: An OS Framework for New Memory Translation Architectures☆34Jul 22, 2025Updated 10 months ago
- Test-Case Prioritization for Configuration Testing☆16Jul 19, 2021Updated 4 years ago
- configuration evolution dataset☆18Feb 25, 2021Updated 5 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- Can AI agents resolve production incidents?☆178Jun 6, 2026Updated last week
- ☆13Apr 10, 2025Updated last year
- ☆56May 4, 2026Updated last month
- 🚀 Time-travel through your workload's revision history 🕰️☆24Jun 3, 2026Updated last week
- Specula: A framework for finding deep bugs in system code using TLA+☆175Jun 5, 2026Updated last week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Kivi: verifying your Kubernetes clusters☆21Nov 8, 2023Updated 2 years ago
- The configuration files and issues datasets collected from real users☆31Apr 27, 2020Updated 6 years ago
- An Opinionated Formatter for Verus☆20Updated this week
- Node-resource-manager manages local node resources of OpenYurt cluster in a unified manner.☆12Feb 2, 2023Updated 3 years ago
- ☆36Mar 12, 2025Updated last year
- Runtime verification system for Java, using AspectJ for instrumentation.☆54Jan 6, 2023Updated 3 years ago
- A Go framework for end-to-end testing of components running in Kubernetes clusters.☆660Updated this week
- A JIT compiler validator for JVMs via CSX/JoNM introduced in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆63Mar 9, 2025Updated last year
- A work-in-progress ION SFU remake.☆25Jun 6, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆29May 18, 2021Updated 5 years ago
- How to plot for papers, slides, demos, etc.☆10Apr 7, 2022Updated 4 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆51Apr 7, 2026Updated 2 months ago
- Terraform provider to perform OCI image operations☆14May 30, 2026Updated 2 weeks ago
- RackSched: A Microsecond-Scale Scheduler for Rack-Scale Computers☆24Oct 5, 2020Updated 5 years ago
- ☆20Dec 4, 2023Updated 2 years ago
- demo of keyless signing with the sigstore kubernetes policy controller☆11Sep 7, 2022Updated 3 years ago
- ☆33Jun 6, 2026Updated last week
- Automated DNN generation for fuzz testing and more☆147Jan 14, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Bare bones and barely working schema registry for NATS☆17Mar 10, 2023Updated 3 years ago
- Building Confidence in Kubernetes Controllers: Lessons Learned from Using E2E-Framework☆11Mar 22, 2024Updated 2 years ago
- ☆13Jun 1, 2022Updated 4 years ago
- [SOSP'25] Automatic checker synthesis for system-level static analysis☆180Oct 26, 2025Updated 7 months ago
- Kubernetes Controller for managing Github☆39May 16, 2023Updated 3 years ago
- vTPM with SGX protection☆12May 30, 2019Updated 7 years ago
- This project contains a custom opentelemetry collector distribution.☆11Updated this week