An implementation of the IETF QUIC protocol in F* - View it on GitHub