NEOMAlogic can be found here.