GitHub repository: p4gauntlet/gauntlet
Primary language: P4
Description: Finding bugs in P4 compilers using translation validation.