This is good. Alway been wondering, isn't there a built-in way to do this in GitHub? I mainly star projects because they might get useful in the future.
That's exactly my case. I needed a way to (really) quickly browse my stars. Instant filter can save a lot of time. I hope GitHub will add something like that in the future.