GitHub repository: p4lang/behavioral-model
Primary language: C++
Description: The reference P4 software switch