Alligator Eggs is an interactive game of untyped lambda calculus. It is an implementation of this great idea by Bret Victor. You should go visit the link for detailed explanation of the rules of the game.
Colored gators are young and hungry. They will eat everything that is in front of them. You can make them eat by clicking on them.
White gators are old and not hungry anymore. If they are guarding a single egg or family, you can make them die by clicking on them.
Click the 
icon to add new eggs and alligator families.