chrisdembia/eigen archive