This is the pixel font editor featured in Marcin Wichary's recent talk about the history and beauty of pixel fonts: https://www.youtube.com/watch?v=SDI8ubVZi7w