The library FDR3 uses for parsing, type checking and evaluating machine CSP. - View it on GitHub