This is a mirror of https://gitlab.eurecom.fr/oai/asn1c
Boolean Parser for Professor Gopalakrishnan's 2100 book.
Git version of hg repo http://hg-public.flux.utah.edu/hgweb.cgi/a3/xen-cap/
Capability Networking -- an OpenMUL, openflow-based switch controller, a capability protocol, and tools to build capability networks.
A library for parametric randomness in Racket applications.
Repository for benchmark sources and scripts to be run on CloudLab machines.
CloudVMI allows virtual-machine introspection (VMI) to be offered as a cloud service by a cloud provider to cloud customers.
C-Reduce, a C program reducer http://embed.cs.utah.edu/creduce/
A framework for safe system programming in Rust
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.
Modified version of grub2 that we use for "grub2pxe", aka "the Linux MFS version of pxeboot".
'grub2-source' branch is the unmodified 'vendor' branch.
An Erlang wrapper around rmr
Evaluating Networked Systems class, developed at the University of Utah by Robert Ricci