The animator for the while language moved to https://cister-labs.github.io/whilelang-scala/.