Fork of the main Sophus repository