Software for recomputation.org