GitHub repository: thorium-lang/thorium
Primary language: Python
Created: 2021-10-17T02:04:08Z
Description: A language for reactive systems with built-in support for lightweight formal methods for verification