Category: Logical Puzzles and Entertainment

• Checker: The Mutilated Checkerboard
  Gérard Huet
• Coqoban: Coqoban (Sokoban)
  Jasper Stein
• Shuffle: Gilbreath's card trick
  Gérard Huet
• Sudoku: A certified Sudoku solver
  Laurent Théry