GitHub repository: mjyc/ltlts
Primary language: TypeScript
Description: A TypeScript implementation of linear temporal logic (LTL)