Official source code for Emulab (www.emulab.net) and related projects
An Erlang wrapper around rmr
Xsmith is a generator of highly effective fuzz testers.
The main development repository for the Utah A3 VMI work.
Stable branch of the Emulab source code
A framework for safe system programming in Rust
Capability Networking -- an OpenMUL, openflow-based switch controller, a capability protocol, and tools to build capability networks.
A capability management library which can be used across different systems.
Repository for benchmark sources and scripts to be run on CloudLab machines.
A Linux kernel extended with Lighweight Capability Domains
Publish-subscribe system used by the Emulab software