Explore projects

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

A library for parametric randomness in Racket applications.

Xsmith is a generator of highly effective fuzz testers.

POWDER SDR-based RF monitoring software.

An Erlang wrapper around rmr

Import tool for the SEARCCH Hub

The main development repository for the Utah A3 VMI work.

Fork of Ashton's og repo

Capability Networking -- an OpenMUL, openflow-based switch controller, a capability protocol, and tools to build capability networks.

Repository containing LaTeX code from http://ftp.math.utah.edu/pub/uuthesis/, current as of 07/19/2016

A framework for safe system programming in Rust

Repository for the script orchestrating Cloudlab benchmarks as well as the schema for the results database.

Import tool for the SEARCCH Hub

Powder profile for 5g-empower.

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

Aster graphs for resource usage displays