Competition between python TicTacToe AIs
The Manuals and Documentation of the SMGloM project
JavaScript client for Sally
The papers about MathWebSearch
The MMT blue notes