michaelvitus/eigen archive