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

* [Litex 0.9.115-beta](https://github.com/litexlang/golitex) – Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.