Replacement of Alt-Tab, behaves similar to that in Openbox. Unmaintained: I'm not using gnome-shell anymore and I don't use/develop this extension. If you are interested, you can grab the latest code from the following github url.
Unfortunately, to help prevent spam, we require that you log in to GNOME Shell Extensions in order to post a comment or report an error. You understand, right?