If he would like to learn more coding, he can consider a couple of python classes at the online provider Art of Problem Solving.
My kid took a couple of classes with them and I was really impressed. They will also provided a written report as well as a grade. My understanding is that they are pretty highly regarded.
They also have some great math courses.