xlab-uiuc

Pinned Loading

1. rex rex Public

   Forked from rex-rs/rex

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

   Rust

2. anvil anvil Public

   Forked from anvil-verifier/anvil

   This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.

   Rust

3. acto acto Public

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

   Python 137 47

4. emt emt Public

   EMT: An OS Framework for New Memory Translation Architectures

   Python 37 6

5. openctest openctest Public

   Testing Configuration Changes in Context to Prevent Production Failures

   Python 34 32

6. sieve sieve Public

   Forked from sieve-project/sieve

   Automated, Distributed Systems Testing for Kubernetes Controllers

   Python