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.
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.