GitHub repository: strang3nt/CompilerValueCCS
Primary language: Java
Description: Contains a compiler for Value Passing CCS into CCS with pure synchronization. It is realized with Scala 3 and Antlr4 to build the parser.