{"id":4949,"name":"examples","description":"A collection of TLA⁺ specifications of varying complexities.","url":"https://github.com/tlaplus/examples","last_synced_at":"2025-09-04T18:22:56.786Z","repository":{"id":6911105,"uuid":"52869867","full_name":"tlaplus/Examples","owner":"tlaplus","description":"A collection of TLA⁺ specifications of varying complexities.","archived":false,"fork":false,"pushed_at":"2025-08-20T23:16:15.000Z","size":28515,"stargazers_count":1394,"open_issues_count":14,"forks_count":210,"subscribers_count":44,"default_branch":"master","last_synced_at":"2025-08-21T01:14:11.363Z","etag":null,"topics":["pluscal","tlaplus"],"latest_commit_sha":null,"homepage":"","language":"TLA","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/tlaplus.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE.md","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":"2016-03-01T10:50:58.000Z","updated_at":"2025-08-20T23:16:19.000Z","dependencies_parsed_at":"2024-04-11T01:27:09.108Z","dependency_job_id":"70e64064-1e21-4aaa-b5af-73d7904d2695","html_url":"https://github.com/tlaplus/Examples","commit_stats":{"total_commits":262,"total_committers":43,"mean_commits":6.093023255813954,"dds":0.6564885496183206,"last_synced_commit":"6cd12a015c1e2b4355ca442d489c8d973b46cbf4"},"previous_names":[],"tags_count":2,"template":false,"template_full_name":null,"purl":"pkg:github/tlaplus/Examples","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2FExamples","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2FExamples/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2FExamples/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2FExamples/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tlaplus","download_url":"https://codeload.github.com/tlaplus/Examples/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2FExamples/sbom","scorecard":{"id":604345,"data":{"date":"2025-08-11","repo":{"name":"github.com/tlaplus/Examples","commit":"cad798e119915f2c264f8ea163939db50be105eb"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":4.7,"checks":[{"name":"Code-Review","score":1,"reason":"Found 4/24 approved changesets -- score normalized to 1","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Maintained","score":10,"reason":"28 commit(s) and 3 issue activity found in the last 90 days -- score normalized to 10","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Dangerous-Workflow","score":10,"reason":"no dangerous workflow patterns detected","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Token-Permissions","score":0,"reason":"detected GitHub workflow tokens with excessive permissions","details":["Warn: no topLevel permission defined: .github/workflows/CI.yml:1","Warn: no topLevel permission defined: .github/workflows/TLAi.yml:1","Warn: no topLevel permission defined: .github/workflows/ewd998.yml:1","Warn: no topLevel permission defined: .github/workflows/manual.yml:1","Info: no jobLevel write permissions found"],"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"Binary-Artifacts","score":8,"reason":"binaries present in source code","details":["Warn: binary detected: specifications/ewd998/impl/lib/gson-2.8.6.jar:1","Warn: binary detected: specifications/tower_of_hanoi/Hanoi.toolbox/Model_1/Bits.class:1"],"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"License","score":9,"reason":"license file detected","details":["Info: project has a license file: LICENSE.md:0","Warn: project license file does not contain an FSF or OSI license."],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"Branch-Protection","score":-1,"reason":"internal error: error during branchesHandler.setup: internal error: githubv4.Query: Resource not accessible by integration","details":null,"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"Signed-Releases","score":-1,"reason":"no releases found","details":null,"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Pinned-Dependencies","score":0,"reason":"dependency not pinned by hash detected -- score normalized to 0","details":["Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/CI.yml:32: update your workflow using https://app.stepsecurity.io/secureworkflow/tlaplus/Examples/CI.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/CI.yml:34: update your workflow using https://app.stepsecurity.io/secureworkflow/tlaplus/Examples/CI.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/CI.yml:38: update your workflow using https://app.stepsecurity.io/secureworkflow/tlaplus/Examples/CI.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/TLAi.yml:24: update your workflow using https://app.stepsecurity.io/secureworkflow/tlaplus/Examples/TLAi.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/TLAi.yml:37: update your workflow using https://app.stepsecurity.io/secureworkflow/tlaplus/Examples/TLAi.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/TLAi.yml:52: update your workflow using https://app.stepsecurity.io/secureworkflow/tlaplus/Examples/TLAi.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ewd998.yml:16: update your workflow using https://app.stepsecurity.io/secureworkflow/tlaplus/Examples/ewd998.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ewd998.yml:34: update your workflow using https://app.stepsecurity.io/secureworkflow/tlaplus/Examples/ewd998.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/manual.yml:9: update your workflow using https://app.stepsecurity.io/secureworkflow/tlaplus/Examples/manual.yml/master?enable=pin","Warn: containerImage not pinned by hash: .gitpod.Dockerfile:1: pin your Docker image by updating gitpod/workspace-full-vnc to gitpod/workspace-full-vnc@sha256:f81841b8299823e97e00a1f39dec6dc57d3b0cb6bcc79161a5d155b29ad34b8b","Warn: downloadThenRun not pinned by hash: .gitpod.Dockerfile:13-15","Warn: pipCommand not pinned by hash: .github/scripts/linux-setup.sh:33","Warn: pipCommand not pinned by hash: .github/scripts/linux-setup.sh:36","Warn: pipCommand not pinned by hash: .github/scripts/windows-setup.sh:30","Warn: pipCommand not pinned by hash: .github/scripts/windows-setup.sh:33","Info:   0 out of   9 GitHub-owned GitHubAction dependencies pinned","Info:   0 out of   1 containerImage dependencies pinned","Info:   0 out of   1 downloadThenRun dependencies pinned","Info:   0 out of   4 pipCommand dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 20 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}}]},"last_synced_at":"2025-08-21T01:14:21.964Z","repository_id":6911105,"created_at":"2025-08-21T01:14:21.964Z","updated_at":"2025-08-21T01:14:21.964Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273651239,"owners_count":25143992,"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":313494,"full_name":"tlaplus/Examples","default_branch":"master","committers":[{"name":"Markus Alexander Kuppe","email":"github.com@lemmster.de","login":"lemmy","count":205},{"name":"Andrew Helwer","email":"2n8rn1w1f@mozmail.com","login":"ahelwer","count":94},{"name":"merz","email":"stephan.merz@loria.fr","login":"muenchnerkindl","count":40},{"name":"Thanh Hai Tran","email":"thanhhai1302@gmail.com","login":"thanh-hai-tran","count":13},{"name":"Giuliano Losa","email":"giuliano@losa.fr","login":"nano-o","count":6},{"name":"Martin","email":"marty@logic.at","login":"quicquid","count":5},{"name":"Mariusz Ryndzionek","email":"mryndzionek@gmail.com","login":"mryndzionek","count":4},{"name":"stary","email":"staryii@qq.com","login":"Starydark","count":4},{"name":"Martin","email":"reamstack@gmail.com","login":"reamstack","count":4},{"name":"lamport","email":"lamport@find.on.the.web.com","login":null,"count":4},{"name":"Leslie Lamport","email":"lamport@find.on.the.web","login":null,"count":3},{"name":"Andrei Tonkikh","email":"andrei.tonkikh@gmail.com","login":"xosmig","count":3},{"name":"Konstantin Läufer","email":"laufer@cs.luc.edu","login":"klaeufer","count":3},{"name":"HappyCS-Gu","email":"15150503283@163.com","login":"HappyCS-Gu","count":3},{"name":"Murat Demirbas","email":"mudemirb@amazon.com","login":null,"count":2},{"name":"Igor Konnov","email":"konnov","login":"konnov","count":2},{"name":"Murat Demirbas","email":"muratdemirbas@gmail.com","login":"muratdem","count":2},{"name":"Alexander Niederbühl","email":"a.niederbuehl@gmail.com","login":"Alexander-N","count":2},{"name":"Quantifier","email":"42081488+Isaac-DeFrain","login":"Isaac-DeFrain","count":2},{"name":"Florian Schanda","email":"fschanda@nvidia.com","login":"florianschanda","count":2},{"name":"Nicholas Schultz-Møller","email":"nicholassm@gmail.com","login":"nicholassm","count":2},{"name":"xxyzzn","email":"xxyzzn","login":"xxyzzn","count":2},{"name":"postmasters","email":"namnguyen@google.com","login":"postmasters","count":1},{"name":"neoschizomer","email":"62703158+neoschizomer","login":"neoschizomer","count":1},{"name":"melhindi","email":"melhindi","login":"melhindi","count":1},{"name":"Leslie Lamport","email":"find.somewhere.on@the.web","login":null,"count":1},{"name":"Martin Langhaus","email":"martin@eglanghaus.net","login":null,"count":1},{"name":"TypeDefinition","email":"lnxterry@gmail.com","login":null,"count":1},{"name":"Vasily Kuznetsov","email":"vasily.kuznetsov@travelline.ru","login":null,"count":1},{"name":"Younes","email":"dev@younes.io","login":null,"count":1},{"name":"loki der quaeler","email":"loki@theori.st","login":"quaeler","count":1},{"name":"cjen1","email":"cjj39@cam.ac.uk","login":"Cjen1","count":1},{"name":"Yuqi Zhang","email":"cs_yqzhang@qq.com","login":"elem-azar-unis","count":1},{"name":"Tim Soethout","email":"github@timmybankers.nl","login":"TimSoethout","count":1},{"name":"Sergey Bronnikov","email":"estetus@gmail.com","login":"ligurio","count":1},{"name":"Ron Pressler","email":"pron","login":"pron","count":1},{"name":"Novemser","email":"2072806652@qq.com","login":"Novemser","count":1},{"name":"Luming Dong","email":"dong.luming@zte.com.cn","login":"10227694","count":1},{"name":"Kirill","email":"freetransform@gmail.com","login":"melhesedek","count":1},{"name":"Josef Widder","email":"44643235+josef-widder","login":"josef-widder","count":1},{"name":"Jeff Hemphill","email":"jthemphill@gmail.com","login":"jthemphill","count":1},{"name":"Jay Parlar","email":"parlar@gmail.com","login":"parlarjb","count":1},{"name":"JYwellin","email":"JYwellin","login":"JYwellin","count":1},{"name":"Guanzhou Hu","email":"35757009+josehu07","login":"josehu07","count":1},{"name":"George Pîrlea","email":"george@pirlea.net","login":"dranov","count":1},{"name":"Geoffrey Huntley","email":"ghuntley@ghuntley.com","login":"ghuntley","count":1},{"name":"Eugene Huang","email":"eugene@goforward.com","login":"elh","count":1},{"name":"Damien Doligez","email":"damien.doligez@inria.fr","login":"damiendoligez","count":1},{"name":"Calvin Loncaric","email":"marvinx03@gmail.com","login":"Calvin-L","count":1}],"total_commits":434,"total_committers":49,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":8.857142857142858,"dds":0.5276497695852534,"past_year_committers":[{"name":"Andrew Helwer","email":"ahelwer@pm.me","login":"ahelwer","count":22},{"name":"Markus Alexander Kuppe","email":"github.com@lemmster.de","login":"lemmy","count":11},{"name":"Stephan Merz","email":"muenchnerkindl","login":"muenchnerkindl","count":6},{"name":"Konstantin Läufer","email":"laufer@cs.luc.edu","login":"klaeufer","count":3},{"name":"Nicholas Schultz-Møller","email":"nicholassm@gmail.com","login":"nicholassm","count":2},{"name":"Florian Schanda","email":"fschanda@nvidia.com","login":"florianschanda","count":2}],"past_year_total_commits":46,"past_year_total_committers":6,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":7.666666666666667,"past_year_dds":0.5217391304347826,"last_synced_at":"2025-08-05T10:21:06.848Z","last_synced_commit":"0b69aea21208df3426c4c09c5bcee1f980c71f0b","created_at":"2023-03-08T16:54:10.950Z","updated_at":"2025-08-05T10:21:06.879Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2FExamples/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/Examples","html_url":"https://github.com/tlaplus/Examples","last_synced_at":"2025-08-31T17:08:37.780Z","status":null,"issues_count":34,"pull_requests_count":128,"avg_time_to_close_issue":14693955.4,"avg_time_to_close_pull_request":3187755.7107438017,"issues_closed_count":25,"pull_requests_closed_count":121,"pull_request_authors_count":42,"issue_authors_count":13,"avg_comments_per_issue":4.323529411764706,"avg_comments_per_pull_request":2.9296875,"merged_pull_requests_count":97,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":4,"past_year_pull_requests_count":52,"past_year_avg_time_to_close_issue":16237.0,"past_year_avg_time_to_close_pull_request":577744.5217391305,"past_year_issues_closed_count":1,"past_year_pull_requests_closed_count":46,"past_year_pull_request_authors_count":7,"past_year_issue_authors_count":4,"past_year_avg_comments_per_issue":2.0,"past_year_avg_comments_per_pull_request":2.3846153846153846,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":40,"created_at":"2024-09-20T16:50:51.534Z","updated_at":"2025-09-02T16:31:03.793Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2FExamples","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2FExamples/issues","issue_labels_count":{"enhancement":12,"question":3,"bug":2,"help wanted":1},"pull_request_labels_count":{"enhancement":13,"bug":1},"issue_author_associations_count":{"COLLABORATOR":19,"MEMBER":13,"NONE":9,"CONTRIBUTOR":3},"pull_request_author_associations_count":{"COLLABORATOR":84,"CONTRIBUTOR":52,"NONE":18,"MEMBER":13},"issue_authors":{"ahelwer":19,"lemmy":13,"muenchnerkindl":1,"sayyadabdi":1,"Cjen1":1,"senniraf":1,"JordyMoos":1,"10227694":1,"zeonglow":1,"nrinaudo":1,"fmdepaul":1,"hwayne":1,"ajrouvoet":1,"lduranovic":1},"pull_request_authors":{"ahelwer":68,"muenchnerkindl":15,"lemmy":13,"nano-o":7,"nicholassm":4,"florianschanda":4,"Starydark":3,"Isaac-DeFrain":3,"10227694":3,"muratdem":3,"banhday":2,"klaeufer":2,"wrobell":2,"Alexander-N":2,"xosmig":2,"HappyCS-Gu":2,"lorin":2,"mryndzionek":2,"damiendoligez":1,"melhesedek":1,"Cjen1":1,"kuppe":1,"melhindi":1,"jthemphill":1,"postmasters":1,"gliptak":1,"ghost":1,"sridhargopinath":1,"TimSoethout":1,"konnov":1,"vkuzn":1,"pkj415":1,"Novemser":1,"dranov":1,"JYwellin":1,"TypeDefinition":1,"younes-io":1,"josef-widder":1,"josehu07":1,"parlarjb":1,"Calvin-L":1,"mattmccormick":1,"elh":1,"ligurio":1,"neoschizomer":1,"elem-azar-unis":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-03T00:00:08.273Z","repositories_count":10060000,"issues_count":31029180,"pull_requests_count":93946207,"authors_count":10685667,"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":4},"past_year_issue_author_associations_count":{"NONE":2,"COLLABORATOR":1,"MEMBER":1},"past_year_pull_request_author_associations_count":{"COLLABORATOR":40,"CONTRIBUTOR":8,"MEMBER":4,"NONE":2},"past_year_issue_authors":{"ahelwer":1,"ajrouvoet":1,"hwayne":1,"lemmy":1},"past_year_pull_request_authors":{"ahelwer":29,"muenchnerkindl":11,"nicholassm":4,"florianschanda":4,"lemmy":4,"klaeufer":2},"maintainers":[{"login":"ahelwer","count":86,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ahelwer"},{"login":"lemmy","count":26,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/lemmy"},{"login":"muenchnerkindl","count":16,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/muenchnerkindl"},{"login":"damiendoligez","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/damiendoligez"}],"active_maintainers":[{"login":"ahelwer","count":30,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/ahelwer"},{"login":"muenchnerkindl","count":11,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/muenchnerkindl"},{"login":"lemmy","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/lemmy"}]},"events":{"total":{"IssuesEvent":4,"WatchEvent":106,"DeleteEvent":6,"IssueCommentEvent":86,"PushEvent":70,"PullRequestReviewCommentEvent":79,"PullRequestReviewEvent":76,"PullRequestEvent":56,"ForkEvent":12,"CreateEvent":8},"last_year":{"IssuesEvent":4,"WatchEvent":106,"DeleteEvent":6,"IssueCommentEvent":86,"PushEvent":70,"PullRequestReviewCommentEvent":79,"PullRequestReviewEvent":76,"PullRequestEvent":56,"ForkEvent":12,"CreateEvent":8}},"keywords":["pluscal","tlaplus"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/CI.yml","sha":null,"kind":"manifest","created_at":"2023-02-17T22:01:22.502Z","updated_at":"2023-02-17T22:01:22.502Z","repository_link":"https://github.com/tlaplus/Examples/blob/master/.github/workflows/CI.yml","dependencies":[{"id":7747198778,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":7747198779,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":7747198780,"package_name":"actions/setup-java","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7747198781,"package_name":"msys2/setup-msys2","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"pypi","filepath":".github/scripts/requirements.txt","sha":null,"kind":"manifest","created_at":"2023-02-17T22:01:22.570Z","updated_at":"2023-02-17T22:01:22.570Z","repository_link":"https://github.com/tlaplus/Examples/blob/master/.github/scripts/requirements.txt","dependencies":[{"id":7747199675,"package_name":"jsonschema","ecosystem":"pypi","requirements":"==4.17.3","direct":true,"kind":"runtime","optional":false},{"id":7747199676,"package_name":"tree-sitter","ecosystem":"pypi","requirements":"==0.20.1","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"specifications/LeastCircularSubstring/requirements.txt","sha":null,"kind":"manifest","created_at":"2023-10-02T21:34:05.222Z","updated_at":"2023-10-02T21:34:05.222Z","repository_link":"https://github.com/tlaplus/Examples/blob/master/specifications/LeastCircularSubstring/requirements.txt","dependencies":[{"id":14064373357,"package_name":"hypothesis","ecosystem":"pypi","requirements":"==6.70.0","direct":true,"kind":"runtime","optional":false},{"id":14064373358,"package_name":"pytest","ecosystem":"pypi","requirements":"==7.2.2","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/TLAi.yml","sha":null,"kind":"manifest","created_at":"2024-03-30T01:34:23.234Z","updated_at":"2024-03-30T01:34:23.234Z","repository_link":"https://github.com/tlaplus/Examples/blob/master/.github/workflows/TLAi.yml","dependencies":[{"id":17116687757,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":17116687758,"package_name":"actions/setup-node","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":17116687759,"package_name":"github/codeql-action/upload-sarif","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/ewd998.yml","sha":null,"kind":"manifest","created_at":"2024-04-11T01:27:08.988Z","updated_at":"2024-04-11T01:27:08.988Z","repository_link":"https://github.com/tlaplus/Examples/blob/master/.github/workflows/ewd998.yml","dependencies":[{"id":17355852395,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":17355852396,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]}],"score":11.141745834828614,"created_at":"2025-09-04T15:50:13.549Z","updated_at":"2025-10-07T08:05:13.582Z","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/4949","html_url":"https://science.ecosyste.ms/projects/4949","bibtex_url":"https://science.ecosyste.ms/projects/4949/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/4949/export.apalike"}