GitHub repository: lou1306/CIV
Primary language: C#
Description: CCS Interpreter and Verifier in C#