huynhtrankhanh / quinn

This is a patch for the quinn library to emit UDP datagrams to async-std channels.

_{Image source}

---

• I'm working on CoqCP, a repository of formalized competitive programming proofs.
• I'm on the Coq Team. Ctrl+F for my full name!
• I am familiar with JavaScript/TypeScript and Rust. I can code a well tested React app with the React Testing Library.
• I'm a former Lean user and an avid Coq user.
• I like competitive programming but I'm not good at it.
• I set some challenges on the Code Golf Stack Exchange site.
• I operated a small Tor relay. Had to shut it down because of cost.
• I wrote large parts of this game on a mobile phone.
• I coded HCMIU Map wholly on a mobile phone.