Push-Button End-to-End Testing of Kubernetes Operators and Controllers
☆135Apr 12, 2026Updated last month
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☆344Sep 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 6 months ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆176May 11, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Test-Case Prioritization for Configuration Testing☆16Jul 19, 2021Updated 4 years ago
- ☆19Jan 9, 2025Updated last year
- configuration evolution dataset☆18Feb 25, 2021Updated 5 years ago
- Can AI agents resolve production incidents?☆141Updated this week
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- Yizhou Shan's Doctoral Dissertation (UCSD CSE)☆15Mar 16, 2022Updated 4 years ago
- Zodiac: Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs, SOSP 2024☆15Nov 28, 2024Updated last year
- ☆13Apr 10, 2025Updated last year
- ☆56May 4, 2026Updated 3 weeks 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.
- 🚀 Time-travel through your workload's revision history 🕰️☆24May 18, 2026Updated last week
- Specula: A framework for finding deep bugs in system code using TLA+☆157May 18, 2026Updated last week
- Kubernetes jobs management operator. Schedule long running tasks or jobs dependent on each other and groups.☆40Mar 19, 2026Updated 2 months ago
- Kivi: verifying your Kubernetes clusters☆21Nov 8, 2023Updated 2 years ago
- ☆25Jan 10, 2023Updated 3 years ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 10 months ago
- An Opinionated Formatter for Verus☆19Updated this week
- Node-resource-manager manages local node resources of OpenYurt cluster in a unified manner.☆12Feb 2, 2023Updated 3 years ago
- A tool to extract code content from source files using the clang and LLVM infrastructure.☆30Feb 24, 2026Updated 3 months ago
- 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.
- A Go framework for end-to-end testing of components running in Kubernetes clusters.☆652May 14, 2026Updated last week
- A JIT compiler validator for JVMs via CSX/JoNM introduced in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆62Mar 9, 2025Updated last year
- ⚠️ ARCHIVED - All development moved to https://github.com/itbench-hub/ITBench/tree/main/scenarios☆15Feb 24, 2026Updated 3 months ago
- A pure C++11 based parallel programming library☆15Aug 22, 2016Updated 9 years ago
- ☆29May 18, 2021Updated 5 years ago
- Terraform provider to perform OCI image operations☆14Updated this week
- RackSched: A Microsecond-Scale Scheduler for Rack-Scale Computers☆24Oct 5, 2020Updated 5 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆82Nov 2, 2022Updated 3 years ago
- demo of keyless signing with the sigstore kubernetes policy controller☆11Sep 7, 2022Updated 3 years 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.
- Automated DNN generation for fuzz testing and more☆148Jan 14, 2025Updated last year
- ☆33Apr 17, 2026Updated last month
- Bash function library☆22Aug 27, 2024Updated last year
- Linux call graph visualization☆28Jul 16, 2018Updated 7 years ago
- https://hub.docker.com/r/clangbuiltlinux/ubuntu/☆12Jan 20, 2021Updated 5 years ago
- Generic libraries for building idiomatic Kubernetes controllers☆201May 8, 2026Updated 2 weeks ago
- ☆13Jun 1, 2022Updated 3 years ago