This is a mirror of https://gitlab.eurecom.fr/oai/asn1c
Fixed version of BenchIT with the memory/cache latency tests that build.
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.
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
Official source code for Emulab (www.emulab.net) and related projects