Several programs used for procedurally generating example animations for haAni