Thank you. The snail animations are coded. The snail consists of multiple parts all with their different behaviors. The shell just leans to the left and right when moving to the sides and gets stretched vertically when jumping for example. :)
