* [Allium v3.15.0](https://github.com/juxt/allium) – Allium is a skill and CLI-based workflow for building, validating, and evolving a behavioural specification alongside code.

* [Fizzbee v0.5.3](https://github.com/fizzbee-io/fizzbee) – Formal specification language and model checker for distributed systems design and verification.