Should this list be added to the list of awesome lists?

[anton-trunov]

The Awesome movement is pretty strong and active, see https://github.com/sindresorhus/awesome.
Adding awesome-tlaplus to that list should increase TLA+'s visibility. However, this requires a bit of refactoring according to their style guides: https://github.com/sindresorhus/awesome/blob/main/pull_request_template.md.

Earlier this year I helped with getting awesome-coq into the list of awesome list and can give a hand with this refactoring if it's considered worthwhile for the TLA+ community.

[lemmy]

Sorry, I never saw this issue. If you're still interested in reorganizing this awesome list, we would be happy to make you a maintainer of this repo.

[anton-trunov]

@lemmy I also missed this message in my inbox, sorry. Yes, I'd still love to give a hand with this.