The GitHub of AI is named after an emoji—and Microsoft has its fingers in it already