Push-Button End-to-End Testing of Kubernetes Operators and Controllers
☆138Aug 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☆353Sep 26, 2024Updated 2 years ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆246Oct 28, 2026Updated last week
- ☆89Nov 7, 2025Updated 11 months ago
- Test-Case Prioritization for Configuration Testing☆16Jul 19, 2021Updated 5 years ago
- Slooo: A Fail-slow Fault Injection Testing Framework☆10Nov 28, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems☆26Oct 11, 2026Updated 3 weeks ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- configuration evolution dataset☆18Feb 25, 2021Updated 5 years ago
- Kivi: verifying your Kubernetes clusters☆23Nov 8, 2023Updated 2 years ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- EMT: An OS Framework for New Memory Translation Architectures☆37Jul 22, 2025Updated last year
- ☆59May 4, 2026Updated 6 months ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆52Apr 7, 2026Updated 6 months 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆18Jan 23, 2026Updated 9 months ago
- ☆13Jun 15, 2026Updated 4 months ago
- Data-Oriented Differential Testing of ORM Systems.☆15Jan 22, 2021Updated 5 years ago
- BDD test framework for the Crossplane compositions implemented with functions☆14Oct 30, 2026Updated last week
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆562Updated this week
- JIT compiler validation for JVMs via CSX(SOSP'23)☆63Mar 9, 2025Updated last year
- A tool for testing SMT solvers for incompleteness bugs☆18Oct 12, 2022Updated 4 years ago
- GitOps native package management☆11Dec 21, 2021Updated 4 years ago
- System Intelligence Benchmark☆55Jul 30, 2026Updated 3 months 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.
- RadioSaber is State-of-the-Art 5G RAN slicing algorithm that achieves high spectrum efficiency, ensures weighted fairness across slices, …☆23Dec 7, 2023Updated 2 years ago
- DiffSearch is a search engine for code changes. The input is a query that describes a code change and the output is a list of matching co…☆20Feb 9, 2024Updated 2 years ago
- ☆28Jan 10, 2023Updated 3 years ago
- [SOSP'25] Automatic checker synthesis for system-level static analysis☆190Oct 26, 2025Updated last year
- TLA embedding in Verus☆36Oct 28, 2026Updated last week
- Node-resource-manager manages local node resources of OpenYurt cluster in a unified manner.☆12Feb 2, 2023Updated 3 years ago
- Specula: An agentic tool for finding deep bugs in system code using TLA+☆629Updated this week
- Ahead-of-time analysis of shell program effects☆21Oct 5, 2026Updated last month
- The configuration files and issues datasets collected from real users☆31Apr 27, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Cebinae: Scalable In-network Fairness Augmentation (SIGCOMM 2022)☆22Jul 2, 2022Updated 4 years ago
- Utilities for Python developing and debugging.☆25Dec 1, 2021Updated 4 years ago
- Unit testing for SQL queries☆26Aug 16, 2024Updated 2 years ago
- A Go framework for end-to-end testing of components running in Kubernetes clusters.☆669Oct 20, 2026Updated 2 weeks ago
- Electrode: Accelerating Distributed Protocols with eBPF☆53Oct 14, 2023Updated 3 years ago
- kubectl plugin to dump example helper resource templates☆13Feb 20, 2023Updated 3 years ago
- https://hub.docker.com/r/clangbuiltlinux/ubuntu/☆12Jan 20, 2021Updated 5 years ago