GitHub repository: usi-verification-and-security/ptplib
Primary language: C++
Description: Partition Tree Protocol Library