GitHub repository: kframework/p4-semantics
Primary language: P4
Description: Formal Semantics of P4 in K