DiscreteZOO website
DiscreteZOO database
DiscreteZOO on GitHub