Explore projects

This is a mirror of https://gitlab.eurecom.fr/oai/asn1c

https://github.com/awreece/memory-bandwidth-demo fork

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.

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

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