Pinned Loading

1. sieve-project/sieve sieve-project/sieve Public

   Automatic Reliability Testing for Kubernetes Controllers and Operators

   Python 334 22

2. configuration-management-papers configuration-management-papers Public

   A Reading List of System Configuration Management

   56 2

3. xlab-uiuc/acto xlab-uiuc/acto Public

   Push-Button End-to-End Testing of Kubernetes Operators and Controllers

   Python 126 45

4. xlab-uiuc/openctest xlab-uiuc/openctest Public

   Testing Configuration Changes in Context to Prevent Production Failures

   Python 30 33

5. anvil anvil Public

   Forked from anvil-verifier/anvil

   Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

   Rust

6. rex-rs/rex rex-rs/rex Public

   Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF.

   Rust 27 4