[thraxil]

You can write a parser and type checker for pretty much any language in pretty much any language. It's just text files as input and text as output.