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.
sourdecor · · focus · HN ↗
[0]: <a href="https://github.com/quint-co/quint" rel="nofollow">https://github.com/quint-co/quint
[1]: <a href="https://news.ycombinator.com/item?id=49865720">https://news.ycombinator.com/item?id=49865720