GitHub Release Tracker
All JS React Ruby Go Postgres Frontend Node
24h 7d 14d 30d | Newest Best Latest version only Popular

formal-methods

Past 30d, sorted by best first
2 results Markdown version
08/23 7
juxt/Allium v3.15.0
Allium is a skill and CLI-based workflow for building, validating, and evolving a behavioural specification alongside code.
JavaScript 475☆ 214d old #javascript #spec-driven-development #ai-agent-tools #formal-methods #behaviour-driven-development
08/24 5
fizzbee-io/Fizzbee v0.5.3
Formal specification language and model checker for distributed systems design and verification.
Go 344☆ 882d old #golang #go #formal-languages #formal-verification #formal-methods