GitHub repository: Biewer/PseuCoCo
Primary language: CoffeeScript
Description: PseuCo Compiler to CCS