GitHub repository: xodio/hm-parser
Primary language: JavaScript
Description: A parser for Hidnley Milner notations