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