DNS resolver library for Zig that owns the protocol and none of the I/O: no sockets, threads or allocation; time and randomness are arguments. An optional engine runs it on your event loop, with DNS over TLS, QUIC and HTTPS. Checked by Lean proofs, a TLA+ model, mutation testing and interop. A repla
Zig Updated 7 days ago 1 commits 1 stars
drift-coder|Mirror: c4milo/cocuyo (⭐1)
7 days agoAbout
DNS resolver library for Zig that owns the protocol and none of the I/O: no sockets, threads or allocation; time and randomness are arguments. An optional engine runs it on your event loop, with DNS over TLS, QUIC and HTTPS. Checked by Lean proofs, a TLA+ model, mutation testing and interop. A repla
Readme
1 stars