are there any actively maintained large-ish open source projects using core.typed? I'd love to dig in and read some code
Agreed. I want to see what this is all about.