GitHub repository: verified-network-toolchain/leapfrog
Primary language: Coq
Description: Certified Equivalence for Protocol Parsers