I search for libraries or programs with Google. While lots of software hosted in Github because it's convenient, it does not really matter as long as Google is functional.

I have no idea why would I search on Github exclusively. That's sounds too limiting.