Echidna archive of Magma code