GitHub repository: roman-mazur/smak
Primary language: Go
Created: 2022-10-09T12:56:08Z
Description: State machine analyzer