Embedded specification language & model checker in Haskell
Stars
179
Forks
12
Watchers
179
Open Issues
8
Overall repository health assessment
No package.json found
This might not be a Node.js project
52
commits
2
commits
1
commits
1
commits
1
commits
Various support updates: GHC 9+ support, Flakes, documentation (#52)
1e668c8View on GitHubDetect liveness violations in unchanging infinite sequences (#30)
7e7efd6View on GitHubMerge branch 'main' of github.com:awakesecurity/spectacle into main
d807265View on GitHub