I discovered Quint[0] due to this comment[1] on HN. Quint is "an executable specification language [which works in JavaScript] with delightful tooling based on the temporal logic of actions (TLA)". I think it is awesome and anybody interested in TLA+ should check it out.

[0]: https://github.com/quint-co/quint

[1]: https://news.ycombinator.com/item?id=49865720