I'm actually curious whether someone has formalized message formats/grammar, protocol specs (state management, timing specs,...) for QUIC or IMAP, in some parse

I'm actually curious whether someone has formalized message formats/grammar, protocol specs (state management, timing specs,...) for QUIC or IMAP, in some parseable form other than free-form text.