D. J. Bernsteins DNS servers - View it on GitHub