Does he have a public github repo? I would love to see some of the code that he writes or projects that he has worked on.