The Arc Consistency Crossword Compiler uses constraint satisfaction algorithms to fill crossword grids given a word list. The current implementation can fill simple (15x15) grids in a few seconds. A word list gleaned from a variety of sources is included, along with several grids.
Ascal is a Gnome version of the board game Lasca (or Laska). Lasca is a game similar to Draughts, but with some enhancements. You can refer to the description in the help system of Ascal, or on Wikipedia. Ascal is for one or two players. You can undo moves, save and load games, etc.
Asymptopia Crossword Builder (Math/Text) is an application that runs in any modern Web browser, but does not require an Internet connection (if it is installed locally). The application was designed to allow teachers to quickly produce well-designed, challenging activities. The application features a configuration panel where the user can either enter their own word-hint pairs, or generate math-crossword problems via a single button. The math functionality generates word:hint pairs like: "four:7/x-3/8=11/8", where the hint corresponds to the problem, and the student would write the letters "four" in the corresponding boxes of the puzzle.
The Automagical Sudoku Solver attempts to solve Sudoku puzzles for you using various techniques. Although it has come a long way, there are still some tough puzzles that it can't solve. Puzzles are entered in the text file provided, and "ass < foo" will solve your puzzle in a pinch.
Bastet ("bastard tetris") is an ncurses Tetris clone which is harder than every other tetris released. It is based on a heuristics engine which tries to detect which block you need or don't need, and then gives you the blocks that you don't need. For instance, if you usually play by leaving long "canyons" one square wide and then waiting for the long "I" block, you'll have to wait till eternity before you see it. The heuristics have been worked on for some time and are quite nasty.