Views exposed filters > taxonomy terms with checkboxes and automatic view update

I am looking for a way to have an exposed filter consisting of taxonomy terms which can be selected by means of checkboxes.
Preferably with the possibility of multiple selections, but not necessarily, automatic update of the view after selection (ajax) is another wish.
I tried the module ‘Better exposed filters’, but this only seems to work on select lists.
Anyone aware of a method do accomplish this with taxonomy terms?

Drupal version: