HExSA Lab (IIT CS)

nautilus

Nautilus Aerokernel

multiverse

Split execution environments for specialized OS/Rs (Unikernels, HRTs, etc.)

mktrace

A tool to explore performance characteristics of applications in multi-OS systems

aspace-tracker

Utility to keep track of dynamics of a process's address space in Linux

db-multiverse

Initial experiments for DB-OS project (with integration with Multiverse)

hawknest-skeleton

Public repo for Hawknest 6502v emulator starter code

hvm-runtime

Linux port of a runtime system for managing hybrid virtual machines (HVMs) on top of QEMU/KVM

julia-measurement

Julia measurement infrastructure

newlib-cygwin

Cygwin newlib mirror

nk-perftest

qemu

Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

binutils-gdb

Unofficial mirror of sourceware binutils-gdb repository. Updated daily.

db-nautilus-fork

Fork of Nautilus that I can commit to frivolously for the NautDB project

gcc

naiad

The Naiad system provides fast incremental and iterative computation for data-parallel workloads

ocaml

The core OCaml system: compilers, runtime system, base libraries

styleguide

rules for writing and typesetting

task_engine