tuxtype: tuxtype (an educational typing tutor for kids) tuxtype: tuxtype: TuxTyping is an educational typing tutor for kids starring Tux, the tuxtype: Linux penguin. This educational game comes with two different games tuxtype: for practicing your typing, and having a great time doing it. tuxtype: tuxtype: tuxtype: tuxtype: tuxtype: tuxtype: