A Git clone of Eigen