Lottie Animation Question

The animations like those used on this website below are they created using Lottie? If not what is used to create this?

Most likely made in After Effects and then exported as Javascript, very unlikely that they’re Lotties.