JQuery está escrito en Javascript. Como alguien que sabe un poco de cada uno, me pregunto cómo escribieron algo de eso. ¿Cómo animar elementos HTML en Javascript puro? ¿Está actualizando repetidamente la propiedad CSS que se va a animar, utilizando la manipulación DOM estándar, con devoluciones de llamada para que sea asincrónica? ¿O es algo más sofisticado?