* [Allium v3.16.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.4](https://github.com/fizzbee-io/fizzbee) – Formal specification language and model checker for distributed systems design and verification.