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

The main development repository for the Utah A3 VMI work.

Stable branch of the Emulab source code

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

This repository contains client-side code and libraries for ProtoGENI cluster-clients who cooperatively share cluster resources.

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

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.

DEIDtect is a distributed and elastic intrusion-detection system (IDS) architecture.

Evaluating Networked Systems class, developed at the University of Utah by Robert Ricci

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

A Linux kernel extended with Lighweight Capability Domains

OAI profile for running on a Nexus 5 UE and USRP SDR.

Boolean Parser for Professor Gopalakrishnan's 2100 book.

docker-registry-py is a simple Docker Registry v2 library that supports Python 2 and 3.

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

A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educational purposes as it is not very efficient. Try it out online here: http://formal.cs.utah.edu:8080/pbl/BDD.php