Kodi repository lost!!!

Hi fellow Kodi users,
I have a problem which I have never encountered before, and cannot find the answer to. I tried to reinstall TedTalks, by uninstalling and reinstalling it and somehow ended up erasing the Kodi Repository itself!!! I know I can install other repos via zip file… through the file manager, as you are all familiar with. What is the address for the Kodi repository to reinstall it?
Thank you.