GitHub repository: p4lang/gsoc
Description: P4.org's Participation in Google Summer of Code