That is, does there yet exist a central package repository of open source software written in Idris?
Some googling led me to the idris-hackers github page, here. And I can also search for projects on github written in Idris, of course. I was basically wondering if there is another well known site I am missing to look for Idris packages.
No. There is not really a central package set for Idris yet.
But it looks like it has high priority.
The closest i could find is in Nix. Though probably in very infant state.