GitHub repository: prettyPrinting/whileLang-idea-plugin
Primary language: Java
Description: Custom plugin defining While language