Explore projects

Official source code for Emulab (www.emulab.net) and related projects

A library for parametric randomness in Racket applications.

Fork of Ashton's og repo

An Erlang wrapper around rmr

Import tool for the SEARCCH Hub

Xsmith is a generator of highly effective fuzz testers.

The main development repository for the Utah A3 VMI work.

POWDER SDR-based RF monitoring software.

An ML2 Neutron driver, agent, and associated extensions to manage Capnet capability-based networks.

A framework for safe system programming in Rust

Import tool for the SEARCCH Hub

Source for the CloudLab and Apt manuals (docs.cloudlab.us and docs.aptlab.net)

A Linux kernel extended with Lighweight Capability Domains

Repository for benchmark sources and scripts to be run on CloudLab machines.