Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Stars
301
Forks
21
Watchers
301
Open Issues
28
Overall repository health assessment
No package.json found
This might not be a Node.js project
259
commits
4
commits
3
commits
2
commits
1
commits
1
commits
1
commits
1
commits
1
commits
Fix: pass symmetry context to all expression evaluation sites (#329)
4b7a2ffView on GitHubUpdate baselines for proto v1.36.x double-space format change (#328)
cf92054View on GitHubDefer .star module load errors until the module is actually used (#327)
2701198View on GitHubAdd `oneof` as alias for `any` nondeterministic choice, deprecate `any` (#326)
8c85883View on GitHubAdd reference docs and document any/any() collision gotcha (#325)
a3efa3aView on GitHubAdd Claude Code skills and fizz install-skills command (#324)
e0f121dView on GitHubUpdate reference docs with symmetry guidance, gotchas, and cross-links (#323)
69cc765View on GitHubExtend trace by few levels of actions to make the explorer work (#320)
d15e61cView on GitHubstdout and stderr logs for the reference examples as a baseline to compare in the future for output and timing (#314)
48f1e25View on GitHubMake the json marshaller and hash code generation more consistent. (#313)
a960eedView on GitHub