Explore projects

A capability management library which can be used across different systems.

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

openmul for capnet

A capability management library which can be used across different systems.

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

This project has source code for HERD and all scripts required to calculate performance benchmark.

This project has source code of HERD with necessary scripts to calculate performance benchmark for Clemson cluster.

This project has source code for HERD and all scripts required to calculate performance benchmark.

Git version of hg repo http://hg-public.flux.utah.edu/hgweb.cgi/a3/xen-cap/

Module and static lib build for the thc async code.

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

A framework for safe system programming in Rust

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

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

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

Publish-subscribe system used by the Emulab software