These animations use the Manim community version of the library (code), you can install it by following the instructions for your OS on their web site.
It requires installation of Noto Sans font.
# for development
manim k8gb.py -pql
# for high-quality video
manim k8gb.py -qk
# for high-quality gif
manim k8gb.py -gh --format=gif
# etc
manim k8gb.py FailOver --progress_bar none -ql --format=gif --fps 20
rendered with 10fps and low-quality(480p):
This low-quality version of gif is being updated by the gh action in this repo.