Very interesting.

I'm also working on a senior undergraduate thesis project in a vaguely similar domain (static typechecking of Python, github.com/jruberg/pyty), so I have a couple questions:

- Is the code open source? If not, did you just choose to keep it closed source as your work on it for the thesis?

- The site mentions that it's statically typed with type inference; has your thesis work also involved formally proving such things?

- Is the goal of the thesis to make something academically interesting or practically useful? Personally, I've struggled with balancing time and wish I could focus more on packaging and making my project accessible.