I'm an ex-Mapzen alum who runs https://geocode.earth. We don't have a permanent free tier at the moment (our geocoder is solid but the service is new!), but we want to find ways to contribute to the community where we can. I would be happy to set up a temporary free tier on our service for one of your classes.

Shoot me an email, julian at geocode dot earth and we can figure something out