Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open
anton-trunov opened this issue Aug 21, 2020 · 2 comments
Open

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

anton-trunov opened this issue Aug 21, 2020 · 2 comments

Comments

@anton-trunov
Copy link

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
Copy link
Member

lemmy commented Oct 9, 2021

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
Copy link
Author

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@lemmy @anton-trunov