Как сделать анимацию на js

На вскидку. Внутри есть следы Angular.

Ссылка на методическую статейку https://code.tutsplus.com/ru/tutorials/how-to-create-animations-in-angularjs-with-nganimate--cms-28593

Без использования ангуляра можно попробовать через обработку события таймера

   function animation() {
      // код меняющий положение надписи,ее размеры 
      setTimeout(animation, 10)
   }
   animation();

по поводу анимаций на js можно почитать здесь
http://x-site.by/info/html5-animation

Не смогу помочь с библиотеками js, НО мини-лайфхак - через Chrome правой кнопкой мыши выбери "просмотреть код", после на панели выбери "Sources". Там ты увидишь все файлы, загруженные на данную страницу (в том числе и .js файлы).

Посмотрев код страницы, могу сказать, что да. Можно написать, используя эту библиотеку, т.к. сайт применил ту же самую библиотеку анимаций, что упомянул ты в вопросе.

Доказательство: