The central repository for the extensions listed in the NetLogo Extension Manager - View it on GitHub