Push-Button End-to-End Testing of Kubernetes Operators and Controllers
☆137Aug 13, 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☆349Sep 26, 2024Updated 2 years ago
- A reading group for system verification papers☆10Sep 28, 2023Updated 3 years ago
- ☆20Jan 9, 2025Updated last year
- ☆13Apr 10, 2025Updated last year
- Zodiac: Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs, SOSP 2024☆15Nov 28, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆58May 4, 2026Updated 5 months ago
- EMT: An OS Framework for New Memory Translation Architectures☆37Jul 22, 2025Updated last year
- Configuration dependency analysis for cloud software☆24Jan 4, 2022Updated 4 years ago
- Wasabi is a toolkit designed to isolate and trigger retry bugs by combining static program analysis, large language models (LLMs), fault …☆10Oct 8, 2024Updated 2 years ago
- Kubernetes jobs management operator. Schedule long running tasks or jobs dependent on each other and groups.☆40Updated this week
- ☆23Oct 6, 2026Updated last week
- Kivi: verifying your Kubernetes clusters☆23Nov 8, 2023Updated 2 years ago
- ☆27Jan 10, 2023Updated 3 years ago
- ☆10Jul 23, 2026Updated 2 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.
- System Intelligence Benchmark☆55Jul 30, 2026Updated 2 months ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆52Apr 7, 2026Updated 6 months ago
- The configuration files and issues datasets collected from real users☆31Apr 27, 2020Updated 6 years ago
- ☆37Mar 12, 2025Updated last year
- Runtime verification system for Java, using AspectJ for instrumentation.☆54Jan 6, 2023Updated 3 years ago
- A testing framework for distributed systems that can inject different types of network-partitioning faults☆16Dec 14, 2021Updated 4 years ago
- JIT compiler validation for JVMs via CSX(SOSP'23)☆63Mar 9, 2025Updated last year
- A Go framework for end-to-end testing of components running in Kubernetes clusters.☆668Oct 7, 2026Updated last week
- This repository contains a list of papers on various topics (that I am working/worked on) in the system and networking area.☆89Feb 13, 2026Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- How to plot for papers, slides, demos, etc.☆10Apr 7, 2022Updated 4 years ago
- ☆29May 18, 2021Updated 5 years ago
- RackSched: A Microsecond-Scale Scheduler for Rack-Scale Computers☆24Oct 5, 2020Updated 6 years ago
- Terraform provider to perform OCI image operations☆14Updated this week
- demo of keyless signing with the sigstore kubernetes policy controller☆11Sep 7, 2022Updated 4 years ago
- kamera is a simulation toolkit for observing, analyzing, and verifying the behavior of Kubernetes control planes.☆88Sep 16, 2026Updated 3 weeks ago
- Automated DNN generation for fuzz testing and more☆151Jan 14, 2025Updated last year
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆81Nov 2, 2022Updated 3 years ago
- Bash function library☆23Aug 27, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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
- ☆13Jun 1, 2022Updated 4 years ago
- An unofficial Wiki for UM-SJTU JI Dual-Degree Program.☆17Mar 27, 2023Updated 3 years ago
- Software testing optimization tool for Java☆44Mar 27, 2026Updated 6 months ago
- An Opinionated Formatter for Verus☆22Oct 1, 2026Updated last week
- https://hub.docker.com/r/clangbuiltlinux/ubuntu/☆12Jan 20, 2021Updated 5 years ago