TSL vscode extension for TSL, Temporal Stream Logic. Syntax highlight Snippets Command Synthesize Check Split tsl2toml tslplay tslsym tslcoregen Language server License MIT License © 2022 wuwe1