Issues with libnds.devkitpro.org access could stem from improper redirect settings between different versions of the site. Check the following links for alternative routes:

http://libnds.devkitpro.org https://libnds.devkitpro.org

Or return to the current status page of libnds.devkitpro.org.