{"id":11753,"name":"communitymodules","description":"TLA+ snippets, operators, and modules contributed and curated by the TLA+ community","url":"https://github.com/tlaplus/communitymodules","last_synced_at":"2025-09-04T21:28:20.713Z","repository":{"id":38447577,"uuid":"187963737","full_name":"tlaplus/CommunityModules","owner":"tlaplus","description":"TLA+ snippets, operators, and modules contributed and curated by the TLA+ community","archived":false,"fork":false,"pushed_at":"2025-08-27T20:58:54.000Z","size":6697,"stargazers_count":292,"open_issues_count":17,"forks_count":42,"subscribers_count":13,"default_branch":"master","last_synced_at":"2025-08-28T05:27:18.856Z","etag":null,"topics":["pluscal","tla-specification","tlaplus"],"latest_commit_sha":null,"homepage":"","language":"TLA","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/tlaplus.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2019-05-22T04:37:23.000Z","updated_at":"2025-08-27T20:58:08.000Z","dependencies_parsed_at":"2024-02-07T00:29:42.125Z","dependency_job_id":"3255c390-8ef3-4654-a121-39e4999afdfa","html_url":"https://github.com/tlaplus/CommunityModules","commit_stats":null,"previous_names":[],"tags_count":248,"template":false,"template_full_name":null,"purl":"pkg:github/tlaplus/CommunityModules","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2FCommunityModules","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2FCommunityModules/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2FCommunityModules/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2FCommunityModules/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tlaplus","download_url":"https://codeload.github.com/tlaplus/CommunityModules/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2FCommunityModules/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273675967,"owners_count":25148118,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-04T02:00:08.968Z","response_time":61,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"owner":{"login":"tlaplus","name":"TLA+","uuid":"2684289","kind":"organization","description":"TLA+ is a formal specification language developed to design, model, document, and verify concurrent systems.","email":"tlaplus@googlegroups.com","website":"http://lamport.azurewebsites.net/tla/tla.html","location":null,"twitter":"tlaplus","company":null,"icon_url":"https://avatars.githubusercontent.com/u/2684289?v=4","repositories_count":21,"last_synced_at":"2024-04-20T00:47:11.107Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/tlaplus","funding_links":[],"total_stars":5147,"followers":304,"following":0,"created_at":"2022-11-04T21:52:24.021Z","updated_at":"2024-04-20T00:47:20.887Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tlaplus","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tlaplus/repositories"},"packages":[],"commits":{"id":5778131,"full_name":"tlaplus/communitymodules","default_branch":"master","committers":[{"name":"Markus Alexander Kuppe","email":"tlaplus.net@lemmster.de","login":"lemmy","count":238},{"name":"Stephan Merz","email":"muenchnerkindl","login":"muenchnerkindl","count":11},{"name":"Paulo Rafael Feodrippe","email":"pfeodrippe@gmail.com","login":"pfeodrippe","count":4},{"name":"Leroy van Engelen","email":"leroy.vanengelen@gmail.com","login":null,"count":3},{"name":"Afonso Fernandes","email":"afonsofernandes@netcabo.pt","login":"afonsonf","count":3},{"name":"William Schultz","email":"william.schultz@mongodb.com","login":"will62794","count":3},{"name":"Igor Konnov","email":"igor@informal.systems","login":"konnov","count":3},{"name":"Mariusz Ryndzionek","email":"mryndzionek@gmail.com","login":"mryndzionek","count":2},{"name":"Martin","email":"martin@derivation.org","login":"quicquid","count":2},{"name":"Jones Martins","email":"15959626+jonesmartins","login":"jonesmartins","count":1},{"name":"Jordan Halterman","email":"jordan.halterman@gmail.com","login":"kuujo","count":1},{"name":"Hillel","email":"hwayne@gmail.com","login":"hwayne","count":1},{"name":"Gabriela Moreira","email":"gabrielamoreira05@gmail.com","login":"bugarela","count":1},{"name":"Darius Foo","email":"dariusf","login":"dariusf","count":1},{"name":"Calvin Loncaric","email":"marvinx03@gmail.com","login":"Calvin-L","count":1},{"name":"Amaury Chamayou","email":"amaury@xargs.fr","login":"achamayou","count":1},{"name":"Karolis Petrauskas","email":"k.petrauskas@gmail.com","login":"kape1395","count":1},{"name":"Sergey Bronnikov","email":"estetus@gmail.com","login":"ligurio","count":1},{"name":"Job van Stiphout","email":"job.van.stiphout@mendix.com","login":"jobvs","count":1}],"total_commits":279,"total_committers":19,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":14.68421052631579,"dds":0.1469534050179212,"past_year_committers":[{"name":"Markus Alexander Kuppe","email":"github.com@lemmster.de","login":"lemmy","count":5},{"name":"Gabriela Moreira","email":"gabrielamoreira05@gmail.com","login":"bugarela","count":1}],"past_year_total_commits":6,"past_year_total_committers":2,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":3.0,"past_year_dds":0.16666666666666663,"last_synced_at":"2025-03-12T01:51:16.411Z","last_synced_commit":"e88d04f0d8caa2c5ce97849a6d33ce08c969baff","created_at":"2024-11-15T04:13:10.750Z","updated_at":"2025-03-12T01:51:46.348Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2Fcommunitymodules/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-04T00:00:25.936Z","repositories_count":5480019,"commits_count":853389012,"contributors_count":31098138,"owners_count":906558,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories"}},"issues_stats":{"full_name":"tlaplus/communitymodules","html_url":"https://github.com/tlaplus/communitymodules","last_synced_at":"2025-03-05T01:13:28.165Z","status":null,"issues_count":107,"pull_requests_count":80,"avg_time_to_close_issue":7425569.578313253,"avg_time_to_close_pull_request":1722325.8533333333,"issues_closed_count":83,"pull_requests_closed_count":75,"pull_request_authors_count":23,"issue_authors_count":19,"avg_comments_per_issue":4.271028037383178,"avg_comments_per_pull_request":2.3125,"merged_pull_requests_count":41,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":3,"past_year_pull_requests_count":4,"past_year_avg_time_to_close_issue":65955.0,"past_year_avg_time_to_close_pull_request":239342.0,"past_year_issues_closed_count":1,"past_year_pull_requests_closed_count":2,"past_year_pull_request_authors_count":4,"past_year_issue_authors_count":1,"past_year_avg_comments_per_issue":1.0,"past_year_avg_comments_per_pull_request":0.5,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":2,"created_at":"2024-11-15T04:13:13.160Z","updated_at":"2025-09-03T03:40:51.308Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2Fcommunitymodules","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2Fcommunitymodules/issues","issue_labels_count":{"enhancement":29,"bug":4,"good first issue":2,"help wanted":1,"question":1},"pull_request_labels_count":{"enhancement":20,"bug":1},"issue_author_associations_count":{"MEMBER":30,"NONE":13,"CONTRIBUTOR":12},"pull_request_author_associations_count":{"CONTRIBUTOR":35,"NONE":14,"MEMBER":8},"issue_authors":{"lemmy":30,"pfeodrippe":3,"jonesmartins":2,"Benedicto":2,"afonsonf":2,"Alexander-N":2,"will62794":2,"carl-reverb":1,"Tsunaou":1,"hwayne":1,"ahelwer":1,"jackmalkovick":1,"lvanengelen":1,"dariusf":1,"troublescooter":1,"tangruize":1,"josedusol":1,"younes-io":1,"mryndzionek":1},"pull_request_authors":{"muenchnerkindl":8,"lemmy":8,"konnov":5,"pfeodrippe":4,"younes-io":4,"lvanengelen":3,"afonsonf":3,"kape1395":3,"mryndzionek":2,"fhackett":2,"bugarela":2,"dariusf":2,"ligurio":1,"will62794":1,"hwayne":1,"quicquid":1,"jonesmartins":1,"Calvin-L":1,"kuujo":1,"achamayou":1,"jobvs":1,"zwergziege":1,"Isaac-DeFrain":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-03T00:00:08.273Z","repositories_count":10060029,"issues_count":31035129,"pull_requests_count":93957968,"authors_count":10685658,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"},"past_year_issue_labels_count":{},"past_year_pull_request_labels_count":{"enhancement":3},"past_year_issue_author_associations_count":{"MEMBER":1},"past_year_pull_request_author_associations_count":{"NONE":4,"MEMBER":3,"CONTRIBUTOR":1},"past_year_issue_authors":{"lemmy":1},"past_year_pull_request_authors":{"lemmy":3,"younes-io":2,"fhackett":2,"kape1395":1},"maintainers":[{"login":"lemmy","count":38,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/lemmy"}],"active_maintainers":[{"login":"lemmy","count":4,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/lemmy"}]},"events":{"total":{"CreateEvent":10,"CommitCommentEvent":1,"ReleaseEvent":8,"WatchEvent":22,"DeleteEvent":1,"IssueCommentEvent":4,"PushEvent":9,"PullRequestReviewEvent":3,"PullRequestEvent":7,"ForkEvent":6},"last_year":{"CreateEvent":10,"CommitCommentEvent":1,"ReleaseEvent":8,"WatchEvent":22,"DeleteEvent":1,"IssueCommentEvent":4,"PushEvent":9,"PullRequestReviewEvent":3,"PullRequestEvent":7,"ForkEvent":6}},"keywords":["pluscal","tla-specification","tlaplus"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/main.yml","sha":null,"kind":"manifest","created_at":"2023-01-21T02:01:03.780Z","updated_at":"2023-01-21T02:01:03.780Z","repository_link":"https://github.com/tlaplus/CommunityModules/blob/master/.github/workflows/main.yml","dependencies":[{"id":7071663391,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":7071663392,"package_name":"mxschmitt/action-tmate","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7071663393,"package_name":"actions/create-release","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":7071663394,"package_name":"actions/upload-release-asset","ecosystem":"actions","requirements":"v1.0.1","direct":true,"kind":"composite","optional":false}]}],"score":8.677780256064185,"created_at":"2025-09-04T15:50:39.048Z","updated_at":"2025-10-07T08:07:16.343Z","avatar_url":"https://github.com/tlaplus.png","language":"TLA","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/11753","html_url":"https://science.ecosyste.ms/projects/11753","bibtex_url":"https://science.ecosyste.ms/projects/11753/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/11753/export.apalike"}