No has buscado bien entonces...en google tienes miles de estas librerias...se llaman jCarousel de thumbs....te dejo un link con uno de los mejores, pueden hacerles muchas modificaciones y tienes varias variables para usar
http://sorgalla.com/jcarousel/