Pinned Loading

1. sieve-project/sievesieve-project/sievePublic

   Automatic Reliability Testing for Kubernetes Controllers and Operators

   Python 348 21

2. xlab-uiuc/actoxlab-uiuc/actoPublic

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

   Python 135 47

3. anvilanvilPublic

   Forked from anvil-verifier/anvil

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

   Rust

4. rex-rs/rexrex-rs/rexPublic

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

   Rust 557 29

5. specula-org/Speculaspecula-org/SpeculaPublic

   Specula: An agentic tool for finding deep bugs in system code using TLA+

   Python 425 45

6. SREGym/SREGymSREGym/SREGymPublic

   Can AI agents resolve production incidents?

   Python 261 106