GitHub repository: sybila/CTL-Parser
Primary language: Kotlin
Description: Simple Java CTL parser with quantified propositions. (Parser is generated by Antlr, grammar included)