I was tempted to get Comic Code, but I wanted to add a few characters (for Agda/Lean stuff), and I think the license precludes that. So I'm currently using Comic Mono / Comic Shanns with some tweaks.

The cost is $30 for the "Coding Essentials" collection, which is more than sufficient for everyday needs. (You're missing out on stuff like Thin and Ultra Light.)