Typing Agent is a gamified typing programs for students. I have had great success using it with middle schoolers, and elementary. It has basic gamification elements such as; customization options, leaderboards, point rewards and highscores.
They have a cool video you can watch that has all their features here:
I use Typing Agent in my classroom as an alternative Tech option alongside Spelling City. In my language arts rotations, students have 25 mins for each task. If they finish their Spelling City they move on to typing practice. There are many multiplayer typing games that students love. A popular one is battleship with typing.
You can completely turn off games, or you can have students earn tokens by completing the typing lessons. As the teacher there are tons of great reports and charts about student progress. I can set different goals for each student. Below is one of my favorite charts that quickly shows how well each student is doing thought the curriculum. My students have become confident typers. They have noticed a speed improvement and are all confident using a computer to write.