Not that I know of; he worked for King.com, which produces proprietary Flash stuff. I don't know if he's released the source to his one-off games, like the Infinite Mario Brothers, but it would not surprise me either way.