Explore projects

These are two scripts that increase attenuation and test for the dumpsys phone signal. Both scripts should be used in adb-target

Binary version of SMORE for public release

openairinterface5g local version

Testing repository-backed profiles.

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

Open Air Interface 5G Code, with modifications for PhantomNet.

A simple JWT server from https://github.com/cesanta/docker_auth, for providing token auth service to a Docker registry; but with Emulab authorization/authentication backend support.

A framework for safe system programming in Rust

Minimum of SIMECA, for PhantomNet tutorial.

The main development repository for the Utah A3 VMI work.

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

qemu-2.0.2 for consistent distributed snapshot

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

A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online here: http://formal.cs.utah.edu:8080/pbl/PBL.php

OSPFv3 LSAs listener and parser

Scripts to set up and play with Segment Routing IPV6 on Ubuntu in PhantomNet

Extending OVS with Segment Routing IPv6