Command-line spell checking utility.
Free Prolog compiler with constraint solving over finite domains
It is a popular tool for writing and studying CNC programs with G codes.
