| 08/23 | 7 |
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/22 | 7 |
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/20 | 7 |
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/19 | 7 |
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/11 | 7 |
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/10 | 7 |
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/09 | 7 |
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 |
Formal specification language and model checker for distributed systems design and verification.
|