AutoSquared , A Maple package for the automatic generation of congruence automata for the fast computation of combinatorial sequences modulo m, for m not too big. It is accompanied by an article by Eric Rowland and Doron Zeilberger. In addition, there are the following specific Maple packages for the Catalan, Motzkin, and Delannoy numbers: CatalanLS, MotzkinLS, DelannoyLS.