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