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

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