xlab-uiuc
Pinned Loading
-
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
-
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
-
Forked from sieve-project/sieve
Automated, Distributed Systems Testing for Kubernetes Controllers
Python