Quick filter in repo list

We do have lots of repos and so the list on the repositories view is quite long.
Finding an entry by keyword is bothersome: you have to scroll or use the browser search feature.

A simple typeahead filter (optionally with wildcard search) for teams/repos would be really nice.
Maybe even add a global search box?