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