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, all versions
2 results Markdown version
09/27 7
juxt/Allium v3.16.0
Allium is a skill and CLI-based workflow for building, validating, and evolving a behavioural specification alongside code.
JavaScript 499☆ 246d old #javascript #spec-driven-development #ai-agent-tools #formal-methods #behaviour-driven-development
10/01 5
fizzbee-io/Fizzbee v0.5.4
Formal specification language and model checker for distributed systems design and verification.
Go 352☆ 919d old #golang #go #formal-languages #formal-verification #formal-methods