A small async DNS client for MicroPython - View it on GitHub