Filter a list of names with JavaScript

For Drupal, this has been suggested but not acted upon yet:

Create Javascript library for searching rendered lists on the client. [#3028968] | Drupal.org

One implementation: https://www.w3schools.com/howto/howto_js_filter_lists.asp