It uses the MinGW port of GCC (GNU Compiler Collection) as its compiler.
An IDE that makes it easy to write code and upload it to the board.
Free Prolog compiler with constraint solving over finite domains