Are there large code bases that he has written that we know anything about?