{"total_count":1456,"incomplete_results":false,"items":[{"id":52869867,"node_id":"MDEwOlJlcG9zaXRvcnk1Mjg2OTg2Nw==","name":"Examples","full_name":"tlaplus/Examples","private":false,"owner":{"login":"tlaplus","id":2684289,"node_id":"MDEyOk9yZ2FuaXphdGlvbjI2ODQyODk=","avatar_url":"https://avatars.githubusercontent.com/u/2684289?v=4","gravatar_id":"","url":"https://api.github.com/users/tlaplus","html_url":"https://github.com/tlaplus","followers_url":"https://api.github.com/users/tlaplus/followers","following_url":"https://api.github.com/users/tlaplus/following{/other_user}","gists_url":"https://api.github.com/users/tlaplus/gists{/gist_id}","starred_url":"https://api.github.com/users/tlaplus/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tlaplus/subscriptions","organizations_url":"https://api.github.com/users/tlaplus/orgs","repos_url":"https://api.github.com/users/tlaplus/repos","events_url":"https://api.github.com/users/tlaplus/events{/privacy}","received_events_url":"https://api.github.com/users/tlaplus/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/tlaplus/Examples","description":"A collection of TLA⁺ specifications of varying complexities.","fork":false,"url":"https://api.github.com/repos/tlaplus/Examples","forks_url":"https://api.github.com/repos/tlaplus/Examples/forks","keys_url":"https://api.github.com/repos/tlaplus/Examples/keys{/key_id}","collaborators_url":"https://api.github.com/repos/tlaplus/Examples/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/tlaplus/Examples/teams","hooks_url":"https://api.github.com/repos/tlaplus/Examples/hooks","issue_events_url":"https://api.github.com/repos/tlaplus/Examples/issues/events{/number}","events_url":"https://api.github.com/repos/tlaplus/Examples/events","assignees_url":"https://api.github.com/repos/tlaplus/Examples/assignees{/user}","branches_url":"https://api.github.com/repos/tlaplus/Examples/branches{/branch}","tags_url":"https://api.github.com/repos/tlaplus/Examples/tags","blobs_url":"https://api.github.com/repos/tlaplus/Examples/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/tlaplus/Examples/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/tlaplus/Examples/git/refs{/sha}","trees_url":"https://api.github.com/repos/tlaplus/Examples/git/trees{/sha}","statuses_url":"https://api.github.com/repos/tlaplus/Examples/statuses/{sha}","languages_url":"https://api.github.com/repos/tlaplus/Examples/languages","stargazers_url":"https://api.github.com/repos/tlaplus/Examples/stargazers","contributors_url":"https://api.github.com/repos/tlaplus/Examples/contributors","subscribers_url":"https://api.github.com/repos/tlaplus/Examples/subscribers","subscription_url":"https://api.github.com/repos/tlaplus/Examples/subscription","commits_url":"https://api.github.com/repos/tlaplus/Examples/commits{/sha}","git_commits_url":"https://api.github.com/repos/tlaplus/Examples/git/commits{/sha}","comments_url":"https://api.github.com/repos/tlaplus/Examples/comments{/number}","issue_comment_url":"https://api.github.com/repos/tlaplus/Examples/issues/comments{/number}","contents_url":"https://api.github.com/repos/tlaplus/Examples/contents/{+path}","compare_url":"https://api.github.com/repos/tlaplus/Examples/compare/{base}...{head}","merges_url":"https://api.github.com/repos/tlaplus/Examples/merges","archive_url":"https://api.github.com/repos/tlaplus/Examples/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/tlaplus/Examples/downloads","issues_url":"https://api.github.com/repos/tlaplus/Examples/issues{/number}","pulls_url":"https://api.github.com/repos/tlaplus/Examples/pulls{/number}","milestones_url":"https://api.github.com/repos/tlaplus/Examples/milestones{/number}","notifications_url":"https://api.github.com/repos/tlaplus/Examples/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/tlaplus/Examples/labels{/name}","releases_url":"https://api.github.com/repos/tlaplus/Examples/releases{/id}","deployments_url":"https://api.github.com/repos/tlaplus/Examples/deployments","created_at":"2016-03-01T10:50:58Z","updated_at":"2026-09-13T03:53:54Z","pushed_at":"2026-08-31T23:42:33Z","git_url":"git://github.com/tlaplus/Examples.git","ssh_url":"git@github.com:tlaplus/Examples.git","clone_url":"https://github.com/tlaplus/Examples.git","svn_url":"https://github.com/tlaplus/Examples","homepage":"","size":17923,"stargazers_count":1568,"watchers_count":1568,"language":"TLA","has_issues":true,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":224,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":9,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["pluscal","tlaplus"],"visibility":"public","forks":224,"open_issues":9,"watchers":1568,"default_branch":"master","score":1.0},{"id":83734111,"node_id":"MDEwOlJlcG9zaXRvcnk4MzczNDExMQ==","name":"tla-rust","full_name":"spacejam/tla-rust","private":false,"owner":{"login":"spacejam","id":1505488,"node_id":"MDQ6VXNlcjE1MDU0ODg=","avatar_url":"https://avatars.githubusercontent.com/u/1505488?v=4","gravatar_id":"","url":"https://api.github.com/users/spacejam","html_url":"https://github.com/spacejam","followers_url":"https://api.github.com/users/spacejam/followers","following_url":"https://api.github.com/users/spacejam/following{/other_user}","gists_url":"https://api.github.com/users/spacejam/gists{/gist_id}","starred_url":"https://api.github.com/users/spacejam/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/spacejam/subscriptions","organizations_url":"https://api.github.com/users/spacejam/orgs","repos_url":"https://api.github.com/users/spacejam/repos","events_url":"https://api.github.com/users/spacejam/events{/privacy}","received_events_url":"https://api.github.com/users/spacejam/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/spacejam/tla-rust","description":"writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+","fork":false,"url":"https://api.github.com/repos/spacejam/tla-rust","forks_url":"https://api.github.com/repos/spacejam/tla-rust/forks","keys_url":"https://api.github.com/repos/spacejam/tla-rust/keys{/key_id}","collaborators_url":"https://api.github.com/repos/spacejam/tla-rust/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/spacejam/tla-rust/teams","hooks_url":"https://api.github.com/repos/spacejam/tla-rust/hooks","issue_events_url":"https://api.github.com/repos/spacejam/tla-rust/issues/events{/number}","events_url":"https://api.github.com/repos/spacejam/tla-rust/events","assignees_url":"https://api.github.com/repos/spacejam/tla-rust/assignees{/user}","branches_url":"https://api.github.com/repos/spacejam/tla-rust/branches{/branch}","tags_url":"https://api.github.com/repos/spacejam/tla-rust/tags","blobs_url":"https://api.github.com/repos/spacejam/tla-rust/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/spacejam/tla-rust/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/spacejam/tla-rust/git/refs{/sha}","trees_url":"https://api.github.com/repos/spacejam/tla-rust/git/trees{/sha}","statuses_url":"https://api.github.com/repos/spacejam/tla-rust/statuses/{sha}","languages_url":"https://api.github.com/repos/spacejam/tla-rust/languages","stargazers_url":"https://api.github.com/repos/spacejam/tla-rust/stargazers","contributors_url":"https://api.github.com/repos/spacejam/tla-rust/contributors","subscribers_url":"https://api.github.com/repos/spacejam/tla-rust/subscribers","subscription_url":"https://api.github.com/repos/spacejam/tla-rust/subscription","commits_url":"https://api.github.com/repos/spacejam/tla-rust/commits{/sha}","git_commits_url":"https://api.github.com/repos/spacejam/tla-rust/git/commits{/sha}","comments_url":"https://api.github.com/repos/spacejam/tla-rust/comments{/number}","issue_comment_url":"https://api.github.com/repos/spacejam/tla-rust/issues/comments{/number}","contents_url":"https://api.github.com/repos/spacejam/tla-rust/contents/{+path}","compare_url":"https://api.github.com/repos/spacejam/tla-rust/compare/{base}...{head}","merges_url":"https://api.github.com/repos/spacejam/tla-rust/merges","archive_url":"https://api.github.com/repos/spacejam/tla-rust/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/spacejam/tla-rust/downloads","issues_url":"https://api.github.com/repos/spacejam/tla-rust/issues{/number}","pulls_url":"https://api.github.com/repos/spacejam/tla-rust/pulls{/number}","milestones_url":"https://api.github.com/repos/spacejam/tla-rust/milestones{/number}","notifications_url":"https://api.github.com/repos/spacejam/tla-rust/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/spacejam/tla-rust/labels{/name}","releases_url":"https://api.github.com/repos/spacejam/tla-rust/releases{/id}","deployments_url":"https://api.github.com/repos/spacejam/tla-rust/deployments","created_at":"2017-03-02T23:08:14Z","updated_at":"2026-09-11T07:11:16Z","pushed_at":"2017-05-23T11:03:58Z","git_url":"git://github.com/spacejam/tla-rust.git","ssh_url":"git@github.com:spacejam/tla-rust.git","clone_url":"https://github.com/spacejam/tla-rust.git","svn_url":"https://github.com/spacejam/tla-rust","homepage":"","size":745,"stargazers_count":1067,"watchers_count":1067,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":26,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["distributed","lock-free","model-checking","rust","tla"],"visibility":"public","forks":26,"open_issues":1,"watchers":1067,"default_branch":"master","score":1.0},{"id":63790553,"node_id":"MDEwOlJlcG9zaXRvcnk2Mzc5MDU1Mw==","name":"DrTLAPlus","full_name":"tlaplus/DrTLAPlus","private":false,"owner":{"login":"tlaplus","id":2684289,"node_id":"MDEyOk9yZ2FuaXphdGlvbjI2ODQyODk=","avatar_url":"https://avatars.githubusercontent.com/u/2684289?v=4","gravatar_id":"","url":"https://api.github.com/users/tlaplus","html_url":"https://github.com/tlaplus","followers_url":"https://api.github.com/users/tlaplus/followers","following_url":"https://api.github.com/users/tlaplus/following{/other_user}","gists_url":"https://api.github.com/users/tlaplus/gists{/gist_id}","starred_url":"https://api.github.com/users/tlaplus/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tlaplus/subscriptions","organizations_url":"https://api.github.com/users/tlaplus/orgs","repos_url":"https://api.github.com/users/tlaplus/repos","events_url":"https://api.github.com/users/tlaplus/events{/privacy}","received_events_url":"https://api.github.com/users/tlaplus/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/tlaplus/DrTLAPlus","description":"Dr. TLA+ series - learn an algorithm and protocol, study a specification","fork":false,"url":"https://api.github.com/repos/tlaplus/DrTLAPlus","forks_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/forks","keys_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/keys{/key_id}","collaborators_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/teams","hooks_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/hooks","issue_events_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/issues/events{/number}","events_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/events","assignees_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/assignees{/user}","branches_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/branches{/branch}","tags_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/tags","blobs_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/git/refs{/sha}","trees_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/git/trees{/sha}","statuses_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/statuses/{sha}","languages_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/languages","stargazers_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/stargazers","contributors_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/contributors","subscribers_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/subscribers","subscription_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/subscription","commits_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/commits{/sha}","git_commits_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/git/commits{/sha}","comments_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/comments{/number}","issue_comment_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/issues/comments{/number}","contents_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/contents/{+path}","compare_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/compare/{base}...{head}","merges_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/merges","archive_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/downloads","issues_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/issues{/number}","pulls_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/pulls{/number}","milestones_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/milestones{/number}","notifications_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/labels{/name}","releases_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/releases{/id}","deployments_url":"https://api.github.com/repos/tlaplus/DrTLAPlus/deployments","created_at":"2016-07-20T14:59:55Z","updated_at":"2026-09-09T04:10:11Z","pushed_at":"2022-04-18T20:37:58Z","git_url":"git://github.com/tlaplus/DrTLAPlus.git","ssh_url":"git@github.com:tlaplus/DrTLAPlus.git","clone_url":"https://github.com/tlaplus/DrTLAPlus.git","svn_url":"https://github.com/tlaplus/DrTLAPlus","homepage":"","size":22770,"stargazers_count":860,"watchers_count":860,"language":"TLA","has_issues":false,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":true,"has_discussions":false,"forks_count":100,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["algorithm","pluscal","protocol","tlaplus"],"visibility":"public","forks":100,"open_issues":0,"watchers":860,"default_branch":"master","score":1.0},{"id":27452738,"node_id":"MDEwOlJlcG9zaXRvcnkyNzQ1MjczOA==","name":"raft.tla","full_name":"ongardie/raft.tla","private":false,"owner":{"login":"ongardie","id":463856,"node_id":"MDQ6VXNlcjQ2Mzg1Ng==","avatar_url":"https://avatars.githubusercontent.com/u/463856?v=4","gravatar_id":"","url":"https://api.github.com/users/ongardie","html_url":"https://github.com/ongardie","followers_url":"https://api.github.com/users/ongardie/followers","following_url":"https://api.github.com/users/ongardie/following{/other_user}","gists_url":"https://api.github.com/users/ongardie/gists{/gist_id}","starred_url":"https://api.github.com/users/ongardie/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ongardie/subscriptions","organizations_url":"https://api.github.com/users/ongardie/orgs","repos_url":"https://api.github.com/users/ongardie/repos","events_url":"https://api.github.com/users/ongardie/events{/privacy}","received_events_url":"https://api.github.com/users/ongardie/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/ongardie/raft.tla","description":"TLA+ specification for the Raft consensus algorithm","fork":false,"url":"https://api.github.com/repos/ongardie/raft.tla","forks_url":"https://api.github.com/repos/ongardie/raft.tla/forks","keys_url":"https://api.github.com/repos/ongardie/raft.tla/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ongardie/raft.tla/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ongardie/raft.tla/teams","hooks_url":"https://api.github.com/repos/ongardie/raft.tla/hooks","issue_events_url":"https://api.github.com/repos/ongardie/raft.tla/issues/events{/number}","events_url":"https://api.github.com/repos/ongardie/raft.tla/events","assignees_url":"https://api.github.com/repos/ongardie/raft.tla/assignees{/user}","branches_url":"https://api.github.com/repos/ongardie/raft.tla/branches{/branch}","tags_url":"https://api.github.com/repos/ongardie/raft.tla/tags","blobs_url":"https://api.github.com/repos/ongardie/raft.tla/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ongardie/raft.tla/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ongardie/raft.tla/git/refs{/sha}","trees_url":"https://api.github.com/repos/ongardie/raft.tla/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ongardie/raft.tla/statuses/{sha}","languages_url":"https://api.github.com/repos/ongardie/raft.tla/languages","stargazers_url":"https://api.github.com/repos/ongardie/raft.tla/stargazers","contributors_url":"https://api.github.com/repos/ongardie/raft.tla/contributors","subscribers_url":"https://api.github.com/repos/ongardie/raft.tla/subscribers","subscription_url":"https://api.github.com/repos/ongardie/raft.tla/subscription","commits_url":"https://api.github.com/repos/ongardie/raft.tla/commits{/sha}","git_commits_url":"https://api.github.com/repos/ongardie/raft.tla/git/commits{/sha}","comments_url":"https://api.github.com/repos/ongardie/raft.tla/comments{/number}","issue_comment_url":"https://api.github.com/repos/ongardie/raft.tla/issues/comments{/number}","contents_url":"https://api.github.com/repos/ongardie/raft.tla/contents/{+path}","compare_url":"https://api.github.com/repos/ongardie/raft.tla/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ongardie/raft.tla/merges","archive_url":"https://api.github.com/repos/ongardie/raft.tla/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ongardie/raft.tla/downloads","issues_url":"https://api.github.com/repos/ongardie/raft.tla/issues{/number}","pulls_url":"https://api.github.com/repos/ongardie/raft.tla/pulls{/number}","milestones_url":"https://api.github.com/repos/ongardie/raft.tla/milestones{/number}","notifications_url":"https://api.github.com/repos/ongardie/raft.tla/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ongardie/raft.tla/labels{/name}","releases_url":"https://api.github.com/repos/ongardie/raft.tla/releases{/id}","deployments_url":"https://api.github.com/repos/ongardie/raft.tla/deployments","created_at":"2014-12-02T20:48:51Z","updated_at":"2026-09-09T03:42:38Z","pushed_at":"2025-02-18T22:45:19Z","git_url":"git://github.com/ongardie/raft.tla.git","ssh_url":"git@github.com:ongardie/raft.tla.git","clone_url":"https://github.com/ongardie/raft.tla.git","svn_url":"https://github.com/ongardie/raft.tla","homepage":null,"size":19,"stargazers_count":528,"watchers_count":528,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":96,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":11,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":96,"open_issues":11,"watchers":528,"default_branch":"master","score":1.0},{"id":220093229,"node_id":"MDEwOlJlcG9zaXRvcnkyMjAwOTMyMjk=","name":"BlockingQueue","full_name":"lemmy/BlockingQueue","private":false,"owner":{"login":"lemmy","id":88777,"node_id":"MDQ6VXNlcjg4Nzc3","avatar_url":"https://avatars.githubusercontent.com/u/88777?v=4","gravatar_id":"","url":"https://api.github.com/users/lemmy","html_url":"https://github.com/lemmy","followers_url":"https://api.github.com/users/lemmy/followers","following_url":"https://api.github.com/users/lemmy/following{/other_user}","gists_url":"https://api.github.com/users/lemmy/gists{/gist_id}","starred_url":"https://api.github.com/users/lemmy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lemmy/subscriptions","organizations_url":"https://api.github.com/users/lemmy/orgs","repos_url":"https://api.github.com/users/lemmy/repos","events_url":"https://api.github.com/users/lemmy/events{/privacy}","received_events_url":"https://api.github.com/users/lemmy/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/lemmy/BlockingQueue","description":"Tutorial \"Weeks of debugging can save you hours of TLA+\".  Each git commit introduces a new concept => check the git history!","fork":false,"url":"https://api.github.com/repos/lemmy/BlockingQueue","forks_url":"https://api.github.com/repos/lemmy/BlockingQueue/forks","keys_url":"https://api.github.com/repos/lemmy/BlockingQueue/keys{/key_id}","collaborators_url":"https://api.github.com/repos/lemmy/BlockingQueue/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/lemmy/BlockingQueue/teams","hooks_url":"https://api.github.com/repos/lemmy/BlockingQueue/hooks","issue_events_url":"https://api.github.com/repos/lemmy/BlockingQueue/issues/events{/number}","events_url":"https://api.github.com/repos/lemmy/BlockingQueue/events","assignees_url":"https://api.github.com/repos/lemmy/BlockingQueue/assignees{/user}","branches_url":"https://api.github.com/repos/lemmy/BlockingQueue/branches{/branch}","tags_url":"https://api.github.com/repos/lemmy/BlockingQueue/tags","blobs_url":"https://api.github.com/repos/lemmy/BlockingQueue/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/lemmy/BlockingQueue/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/lemmy/BlockingQueue/git/refs{/sha}","trees_url":"https://api.github.com/repos/lemmy/BlockingQueue/git/trees{/sha}","statuses_url":"https://api.github.com/repos/lemmy/BlockingQueue/statuses/{sha}","languages_url":"https://api.github.com/repos/lemmy/BlockingQueue/languages","stargazers_url":"https://api.github.com/repos/lemmy/BlockingQueue/stargazers","contributors_url":"https://api.github.com/repos/lemmy/BlockingQueue/contributors","subscribers_url":"https://api.github.com/repos/lemmy/BlockingQueue/subscribers","subscription_url":"https://api.github.com/repos/lemmy/BlockingQueue/subscription","commits_url":"https://api.github.com/repos/lemmy/BlockingQueue/commits{/sha}","git_commits_url":"https://api.github.com/repos/lemmy/BlockingQueue/git/commits{/sha}","comments_url":"https://api.github.com/repos/lemmy/BlockingQueue/comments{/number}","issue_comment_url":"https://api.github.com/repos/lemmy/BlockingQueue/issues/comments{/number}","contents_url":"https://api.github.com/repos/lemmy/BlockingQueue/contents/{+path}","compare_url":"https://api.github.com/repos/lemmy/BlockingQueue/compare/{base}...{head}","merges_url":"https://api.github.com/repos/lemmy/BlockingQueue/merges","archive_url":"https://api.github.com/repos/lemmy/BlockingQueue/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/lemmy/BlockingQueue/downloads","issues_url":"https://api.github.com/repos/lemmy/BlockingQueue/issues{/number}","pulls_url":"https://api.github.com/repos/lemmy/BlockingQueue/pulls{/number}","milestones_url":"https://api.github.com/repos/lemmy/BlockingQueue/milestones{/number}","notifications_url":"https://api.github.com/repos/lemmy/BlockingQueue/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/lemmy/BlockingQueue/labels{/name}","releases_url":"https://api.github.com/repos/lemmy/BlockingQueue/releases{/id}","deployments_url":"https://api.github.com/repos/lemmy/BlockingQueue/deployments","created_at":"2019-11-06T21:26:06Z","updated_at":"2026-08-29T19:22:52Z","pushed_at":"2026-04-22T23:06:30Z","git_url":"git://github.com/lemmy/BlockingQueue.git","ssh_url":"git@github.com:lemmy/BlockingQueue.git","clone_url":"https://github.com/lemmy/BlockingQueue.git","svn_url":"https://github.com/lemmy/BlockingQueue","homepage":"https://youtu.be/wjsI0lTSjIo","size":19156,"stargazers_count":506,"watchers_count":506,"language":"TLA","has_issues":true,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":22,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":2,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["fifo","fifo-queue","java","model-checking","specification","tla","tlaplus","tlaps"],"visibility":"public","forks":22,"open_issues":2,"watchers":506,"default_branch":"main","score":1.0},{"id":187963737,"node_id":"MDEwOlJlcG9zaXRvcnkxODc5NjM3Mzc=","name":"CommunityModules","full_name":"tlaplus/CommunityModules","private":false,"owner":{"login":"tlaplus","id":2684289,"node_id":"MDEyOk9yZ2FuaXphdGlvbjI2ODQyODk=","avatar_url":"https://avatars.githubusercontent.com/u/2684289?v=4","gravatar_id":"","url":"https://api.github.com/users/tlaplus","html_url":"https://github.com/tlaplus","followers_url":"https://api.github.com/users/tlaplus/followers","following_url":"https://api.github.com/users/tlaplus/following{/other_user}","gists_url":"https://api.github.com/users/tlaplus/gists{/gist_id}","starred_url":"https://api.github.com/users/tlaplus/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tlaplus/subscriptions","organizations_url":"https://api.github.com/users/tlaplus/orgs","repos_url":"https://api.github.com/users/tlaplus/repos","events_url":"https://api.github.com/users/tlaplus/events{/privacy}","received_events_url":"https://api.github.com/users/tlaplus/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/tlaplus/CommunityModules","description":"TLA+ snippets, operators, and modules contributed and curated by the TLA+ community","fork":false,"url":"https://api.github.com/repos/tlaplus/CommunityModules","forks_url":"https://api.github.com/repos/tlaplus/CommunityModules/forks","keys_url":"https://api.github.com/repos/tlaplus/CommunityModules/keys{/key_id}","collaborators_url":"https://api.github.com/repos/tlaplus/CommunityModules/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/tlaplus/CommunityModules/teams","hooks_url":"https://api.github.com/repos/tlaplus/CommunityModules/hooks","issue_events_url":"https://api.github.com/repos/tlaplus/CommunityModules/issues/events{/number}","events_url":"https://api.github.com/repos/tlaplus/CommunityModules/events","assignees_url":"https://api.github.com/repos/tlaplus/CommunityModules/assignees{/user}","branches_url":"https://api.github.com/repos/tlaplus/CommunityModules/branches{/branch}","tags_url":"https://api.github.com/repos/tlaplus/CommunityModules/tags","blobs_url":"https://api.github.com/repos/tlaplus/CommunityModules/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/tlaplus/CommunityModules/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/tlaplus/CommunityModules/git/refs{/sha}","trees_url":"https://api.github.com/repos/tlaplus/CommunityModules/git/trees{/sha}","statuses_url":"https://api.github.com/repos/tlaplus/CommunityModules/statuses/{sha}","languages_url":"https://api.github.com/repos/tlaplus/CommunityModules/languages","stargazers_url":"https://api.github.com/repos/tlaplus/CommunityModules/stargazers","contributors_url":"https://api.github.com/repos/tlaplus/CommunityModules/contributors","subscribers_url":"https://api.github.com/repos/tlaplus/CommunityModules/subscribers","subscription_url":"https://api.github.com/repos/tlaplus/CommunityModules/subscription","commits_url":"https://api.github.com/repos/tlaplus/CommunityModules/commits{/sha}","git_commits_url":"https://api.github.com/repos/tlaplus/CommunityModules/git/commits{/sha}","comments_url":"https://api.github.com/repos/tlaplus/CommunityModules/comments{/number}","issue_comment_url":"https://api.github.com/repos/tlaplus/CommunityModules/issues/comments{/number}","contents_url":"https://api.github.com/repos/tlaplus/CommunityModules/contents/{+path}","compare_url":"https://api.github.com/repos/tlaplus/CommunityModules/compare/{base}...{head}","merges_url":"https://api.github.com/repos/tlaplus/CommunityModules/merges","archive_url":"https://api.github.com/repos/tlaplus/CommunityModules/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/tlaplus/CommunityModules/downloads","issues_url":"https://api.github.com/repos/tlaplus/CommunityModules/issues{/number}","pulls_url":"https://api.github.com/repos/tlaplus/CommunityModules/pulls{/number}","milestones_url":"https://api.github.com/repos/tlaplus/CommunityModules/milestones{/number}","notifications_url":"https://api.github.com/repos/tlaplus/CommunityModules/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/tlaplus/CommunityModules/labels{/name}","releases_url":"https://api.github.com/repos/tlaplus/CommunityModules/releases{/id}","deployments_url":"https://api.github.com/repos/tlaplus/CommunityModules/deployments","created_at":"2019-05-22T04:37:23Z","updated_at":"2026-09-14T06:25:08Z","pushed_at":"2026-09-12T02:38:27Z","git_url":"git://github.com/tlaplus/CommunityModules.git","ssh_url":"git@github.com:tlaplus/CommunityModules.git","clone_url":"https://github.com/tlaplus/CommunityModules.git","svn_url":"https://github.com/tlaplus/CommunityModules","homepage":"","size":6785,"stargazers_count":315,"watchers_count":315,"language":"TLA","has_issues":true,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":48,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":15,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["pluscal","tla-specification","tlaplus"],"visibility":"public","forks":48,"open_issues":15,"watchers":315,"default_branch":"master","score":1.0},{"id":114755704,"node_id":"MDEwOlJlcG9zaXRvcnkxMTQ3NTU3MDQ=","name":"tla-plus","full_name":"pingcap/tla-plus","private":false,"owner":{"login":"pingcap","id":11855343,"node_id":"MDEyOk9yZ2FuaXphdGlvbjExODU1MzQz","avatar_url":"https://avatars.githubusercontent.com/u/11855343?v=4","gravatar_id":"","url":"https://api.github.com/users/pingcap","html_url":"https://github.com/pingcap","followers_url":"https://api.github.com/users/pingcap/followers","following_url":"https://api.github.com/users/pingcap/following{/other_user}","gists_url":"https://api.github.com/users/pingcap/gists{/gist_id}","starred_url":"https://api.github.com/users/pingcap/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/pingcap/subscriptions","organizations_url":"https://api.github.com/users/pingcap/orgs","repos_url":"https://api.github.com/users/pingcap/repos","events_url":"https://api.github.com/users/pingcap/events{/privacy}","received_events_url":"https://api.github.com/users/pingcap/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/pingcap/tla-plus","description":null,"fork":false,"url":"https://api.github.com/repos/pingcap/tla-plus","forks_url":"https://api.github.com/repos/pingcap/tla-plus/forks","keys_url":"https://api.github.com/repos/pingcap/tla-plus/keys{/key_id}","collaborators_url":"https://api.github.com/repos/pingcap/tla-plus/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/pingcap/tla-plus/teams","hooks_url":"https://api.github.com/repos/pingcap/tla-plus/hooks","issue_events_url":"https://api.github.com/repos/pingcap/tla-plus/issues/events{/number}","events_url":"https://api.github.com/repos/pingcap/tla-plus/events","assignees_url":"https://api.github.com/repos/pingcap/tla-plus/assignees{/user}","branches_url":"https://api.github.com/repos/pingcap/tla-plus/branches{/branch}","tags_url":"https://api.github.com/repos/pingcap/tla-plus/tags","blobs_url":"https://api.github.com/repos/pingcap/tla-plus/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/pingcap/tla-plus/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/pingcap/tla-plus/git/refs{/sha}","trees_url":"https://api.github.com/repos/pingcap/tla-plus/git/trees{/sha}","statuses_url":"https://api.github.com/repos/pingcap/tla-plus/statuses/{sha}","languages_url":"https://api.github.com/repos/pingcap/tla-plus/languages","stargazers_url":"https://api.github.com/repos/pingcap/tla-plus/stargazers","contributors_url":"https://api.github.com/repos/pingcap/tla-plus/contributors","subscribers_url":"https://api.github.com/repos/pingcap/tla-plus/subscribers","subscription_url":"https://api.github.com/repos/pingcap/tla-plus/subscription","commits_url":"https://api.github.com/repos/pingcap/tla-plus/commits{/sha}","git_commits_url":"https://api.github.com/repos/pingcap/tla-plus/git/commits{/sha}","comments_url":"https://api.github.com/repos/pingcap/tla-plus/comments{/number}","issue_comment_url":"https://api.github.com/repos/pingcap/tla-plus/issues/comments{/number}","contents_url":"https://api.github.com/repos/pingcap/tla-plus/contents/{+path}","compare_url":"https://api.github.com/repos/pingcap/tla-plus/compare/{base}...{head}","merges_url":"https://api.github.com/repos/pingcap/tla-plus/merges","archive_url":"https://api.github.com/repos/pingcap/tla-plus/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/pingcap/tla-plus/downloads","issues_url":"https://api.github.com/repos/pingcap/tla-plus/issues{/number}","pulls_url":"https://api.github.com/repos/pingcap/tla-plus/pulls{/number}","milestones_url":"https://api.github.com/repos/pingcap/tla-plus/milestones{/number}","notifications_url":"https://api.github.com/repos/pingcap/tla-plus/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/pingcap/tla-plus/labels{/name}","releases_url":"https://api.github.com/repos/pingcap/tla-plus/releases{/id}","deployments_url":"https://api.github.com/repos/pingcap/tla-plus/deployments","created_at":"2017-12-19T11:12:24Z","updated_at":"2026-09-04T09:01:33Z","pushed_at":"2024-06-09T11:07:38Z","git_url":"git://github.com/pingcap/tla-plus.git","ssh_url":"git@github.com:pingcap/tla-plus.git","clone_url":"https://github.com/pingcap/tla-plus.git","svn_url":"https://github.com/pingcap/tla-plus","homepage":null,"size":966,"stargazers_count":312,"watchers_count":312,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":38,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":11,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":38,"open_issues":11,"watchers":312,"default_branch":"master","score":1.0},{"id":152651575,"node_id":"MDEwOlJlcG9zaXRvcnkxNTI2NTE1NzU=","name":"practical-tla-plus","full_name":"Apress/practical-tla-plus","private":false,"owner":{"login":"Apress","id":540720,"node_id":"MDEyOk9yZ2FuaXphdGlvbjU0MDcyMA==","avatar_url":"https://avatars.githubusercontent.com/u/540720?v=4","gravatar_id":"","url":"https://api.github.com/users/Apress","html_url":"https://github.com/Apress","followers_url":"https://api.github.com/users/Apress/followers","following_url":"https://api.github.com/users/Apress/following{/other_user}","gists_url":"https://api.github.com/users/Apress/gists{/gist_id}","starred_url":"https://api.github.com/users/Apress/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Apress/subscriptions","organizations_url":"https://api.github.com/users/Apress/orgs","repos_url":"https://api.github.com/users/Apress/repos","events_url":"https://api.github.com/users/Apress/events{/privacy}","received_events_url":"https://api.github.com/users/Apress/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Apress/practical-tla-plus","description":"Source Code for 'Practical TLA+' by Hillel Wayne","fork":false,"url":"https://api.github.com/repos/Apress/practical-tla-plus","forks_url":"https://api.github.com/repos/Apress/practical-tla-plus/forks","keys_url":"https://api.github.com/repos/Apress/practical-tla-plus/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Apress/practical-tla-plus/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Apress/practical-tla-plus/teams","hooks_url":"https://api.github.com/repos/Apress/practical-tla-plus/hooks","issue_events_url":"https://api.github.com/repos/Apress/practical-tla-plus/issues/events{/number}","events_url":"https://api.github.com/repos/Apress/practical-tla-plus/events","assignees_url":"https://api.github.com/repos/Apress/practical-tla-plus/assignees{/user}","branches_url":"https://api.github.com/repos/Apress/practical-tla-plus/branches{/branch}","tags_url":"https://api.github.com/repos/Apress/practical-tla-plus/tags","blobs_url":"https://api.github.com/repos/Apress/practical-tla-plus/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Apress/practical-tla-plus/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Apress/practical-tla-plus/git/refs{/sha}","trees_url":"https://api.github.com/repos/Apress/practical-tla-plus/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Apress/practical-tla-plus/statuses/{sha}","languages_url":"https://api.github.com/repos/Apress/practical-tla-plus/languages","stargazers_url":"https://api.github.com/repos/Apress/practical-tla-plus/stargazers","contributors_url":"https://api.github.com/repos/Apress/practical-tla-plus/contributors","subscribers_url":"https://api.github.com/repos/Apress/practical-tla-plus/subscribers","subscription_url":"https://api.github.com/repos/Apress/practical-tla-plus/subscription","commits_url":"https://api.github.com/repos/Apress/practical-tla-plus/commits{/sha}","git_commits_url":"https://api.github.com/repos/Apress/practical-tla-plus/git/commits{/sha}","comments_url":"https://api.github.com/repos/Apress/practical-tla-plus/comments{/number}","issue_comment_url":"https://api.github.com/repos/Apress/practical-tla-plus/issues/comments{/number}","contents_url":"https://api.github.com/repos/Apress/practical-tla-plus/contents/{+path}","compare_url":"https://api.github.com/repos/Apress/practical-tla-plus/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Apress/practical-tla-plus/merges","archive_url":"https://api.github.com/repos/Apress/practical-tla-plus/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Apress/practical-tla-plus/downloads","issues_url":"https://api.github.com/repos/Apress/practical-tla-plus/issues{/number}","pulls_url":"https://api.github.com/repos/Apress/practical-tla-plus/pulls{/number}","milestones_url":"https://api.github.com/repos/Apress/practical-tla-plus/milestones{/number}","notifications_url":"https://api.github.com/repos/Apress/practical-tla-plus/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Apress/practical-tla-plus/labels{/name}","releases_url":"https://api.github.com/repos/Apress/practical-tla-plus/releases{/id}","deployments_url":"https://api.github.com/repos/Apress/practical-tla-plus/deployments","created_at":"2018-10-11T20:26:48Z","updated_at":"2026-06-30T06:50:48Z","pushed_at":"2022-04-13T21:07:17Z","git_url":"git://github.com/Apress/practical-tla-plus.git","ssh_url":"git@github.com:Apress/practical-tla-plus.git","clone_url":"https://github.com/Apress/practical-tla-plus.git","svn_url":"https://github.com/Apress/practical-tla-plus","homepage":null,"size":59,"stargazers_count":300,"watchers_count":300,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":70,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":5,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":70,"open_issues":5,"watchers":300,"default_branch":"master","score":1.0},{"id":149901047,"node_id":"MDEwOlJlcG9zaXRvcnkxNDk5MDEwNDc=","name":"azure-cosmos-tla","full_name":"Azure/azure-cosmos-tla","private":false,"owner":{"login":"Azure","id":6844498,"node_id":"MDEyOk9yZ2FuaXphdGlvbjY4NDQ0OTg=","avatar_url":"https://avatars.githubusercontent.com/u/6844498?v=4","gravatar_id":"","url":"https://api.github.com/users/Azure","html_url":"https://github.com/Azure","followers_url":"https://api.github.com/users/Azure/followers","following_url":"https://api.github.com/users/Azure/following{/other_user}","gists_url":"https://api.github.com/users/Azure/gists{/gist_id}","starred_url":"https://api.github.com/users/Azure/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Azure/subscriptions","organizations_url":"https://api.github.com/users/Azure/orgs","repos_url":"https://api.github.com/users/Azure/repos","events_url":"https://api.github.com/users/Azure/events{/privacy}","received_events_url":"https://api.github.com/users/Azure/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Azure/azure-cosmos-tla","description":"Azure Cosmos TLA+ specifications","fork":false,"url":"https://api.github.com/repos/Azure/azure-cosmos-tla","forks_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/forks","keys_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/teams","hooks_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/hooks","issue_events_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/issues/events{/number}","events_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/events","assignees_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/assignees{/user}","branches_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/branches{/branch}","tags_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/tags","blobs_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/git/refs{/sha}","trees_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/statuses/{sha}","languages_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/languages","stargazers_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/stargazers","contributors_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/contributors","subscribers_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/subscribers","subscription_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/subscription","commits_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/commits{/sha}","git_commits_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/git/commits{/sha}","comments_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/comments{/number}","issue_comment_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/issues/comments{/number}","contents_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/contents/{+path}","compare_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/merges","archive_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/downloads","issues_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/issues{/number}","pulls_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/pulls{/number}","milestones_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/milestones{/number}","notifications_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/labels{/name}","releases_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/releases{/id}","deployments_url":"https://api.github.com/repos/Azure/azure-cosmos-tla/deployments","created_at":"2018-09-22T17:37:24Z","updated_at":"2026-06-24T10:46:01Z","pushed_at":"2023-12-14T17:56:47Z","git_url":"git://github.com/Azure/azure-cosmos-tla.git","ssh_url":"git@github.com:Azure/azure-cosmos-tla.git","clone_url":"https://github.com/Azure/azure-cosmos-tla.git","svn_url":"https://github.com/Azure/azure-cosmos-tla","homepage":null,"size":1204,"stargazers_count":295,"watchers_count":295,"language":"TLA","has_issues":false,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":51,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":2,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":51,"open_issues":2,"watchers":295,"default_branch":"master","score":1.0},{"id":452551174,"node_id":"R_kgDOGvliBg","name":"learntla-v2","full_name":"hwayne/learntla-v2","private":false,"owner":{"login":"hwayne","id":2660212,"node_id":"MDQ6VXNlcjI2NjAyMTI=","avatar_url":"https://avatars.githubusercontent.com/u/2660212?v=4","gravatar_id":"","url":"https://api.github.com/users/hwayne","html_url":"https://github.com/hwayne","followers_url":"https://api.github.com/users/hwayne/followers","following_url":"https://api.github.com/users/hwayne/following{/other_user}","gists_url":"https://api.github.com/users/hwayne/gists{/gist_id}","starred_url":"https://api.github.com/users/hwayne/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hwayne/subscriptions","organizations_url":"https://api.github.com/users/hwayne/orgs","repos_url":"https://api.github.com/users/hwayne/repos","events_url":"https://api.github.com/users/hwayne/events{/privacy}","received_events_url":"https://api.github.com/users/hwayne/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/hwayne/learntla-v2","description":"Learn TLA+ for free! No prior experience necessary!","fork":false,"url":"https://api.github.com/repos/hwayne/learntla-v2","forks_url":"https://api.github.com/repos/hwayne/learntla-v2/forks","keys_url":"https://api.github.com/repos/hwayne/learntla-v2/keys{/key_id}","collaborators_url":"https://api.github.com/repos/hwayne/learntla-v2/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/hwayne/learntla-v2/teams","hooks_url":"https://api.github.com/repos/hwayne/learntla-v2/hooks","issue_events_url":"https://api.github.com/repos/hwayne/learntla-v2/issues/events{/number}","events_url":"https://api.github.com/repos/hwayne/learntla-v2/events","assignees_url":"https://api.github.com/repos/hwayne/learntla-v2/assignees{/user}","branches_url":"https://api.github.com/repos/hwayne/learntla-v2/branches{/branch}","tags_url":"https://api.github.com/repos/hwayne/learntla-v2/tags","blobs_url":"https://api.github.com/repos/hwayne/learntla-v2/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/hwayne/learntla-v2/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/hwayne/learntla-v2/git/refs{/sha}","trees_url":"https://api.github.com/repos/hwayne/learntla-v2/git/trees{/sha}","statuses_url":"https://api.github.com/repos/hwayne/learntla-v2/statuses/{sha}","languages_url":"https://api.github.com/repos/hwayne/learntla-v2/languages","stargazers_url":"https://api.github.com/repos/hwayne/learntla-v2/stargazers","contributors_url":"https://api.github.com/repos/hwayne/learntla-v2/contributors","subscribers_url":"https://api.github.com/repos/hwayne/learntla-v2/subscribers","subscription_url":"https://api.github.com/repos/hwayne/learntla-v2/subscription","commits_url":"https://api.github.com/repos/hwayne/learntla-v2/commits{/sha}","git_commits_url":"https://api.github.com/repos/hwayne/learntla-v2/git/commits{/sha}","comments_url":"https://api.github.com/repos/hwayne/learntla-v2/comments{/number}","issue_comment_url":"https://api.github.com/repos/hwayne/learntla-v2/issues/comments{/number}","contents_url":"https://api.github.com/repos/hwayne/learntla-v2/contents/{+path}","compare_url":"https://api.github.com/repos/hwayne/learntla-v2/compare/{base}...{head}","merges_url":"https://api.github.com/repos/hwayne/learntla-v2/merges","archive_url":"https://api.github.com/repos/hwayne/learntla-v2/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/hwayne/learntla-v2/downloads","issues_url":"https://api.github.com/repos/hwayne/learntla-v2/issues{/number}","pulls_url":"https://api.github.com/repos/hwayne/learntla-v2/pulls{/number}","milestones_url":"https://api.github.com/repos/hwayne/learntla-v2/milestones{/number}","notifications_url":"https://api.github.com/repos/hwayne/learntla-v2/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/hwayne/learntla-v2/labels{/name}","releases_url":"https://api.github.com/repos/hwayne/learntla-v2/releases{/id}","deployments_url":"https://api.github.com/repos/hwayne/learntla-v2/deployments","created_at":"2022-01-27T05:27:06Z","updated_at":"2026-09-07T00:10:55Z","pushed_at":"2026-07-21T04:27:13Z","git_url":"git://github.com/hwayne/learntla-v2.git","ssh_url":"git@github.com:hwayne/learntla-v2.git","clone_url":"https://github.com/hwayne/learntla-v2.git","svn_url":"https://github.com/hwayne/learntla-v2","homepage":"https://www.learntla.com","size":2053,"stargazers_count":269,"watchers_count":269,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":53,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":33,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["book","formal-methods","formal-specification","formal-verification","tla","tlaplus"],"visibility":"public","forks":53,"open_issues":33,"watchers":269,"default_branch":"master","score":1.0},{"id":117788003,"node_id":"MDEwOlJlcG9zaXRvcnkxMTc3ODgwMDM=","name":"pgo","full_name":"DistCompiler/pgo","private":false,"owner":{"login":"DistCompiler","id":97768081,"node_id":"O_kgDOBdPSkQ","avatar_url":"https://avatars.githubusercontent.com/u/97768081?v=4","gravatar_id":"","url":"https://api.github.com/users/DistCompiler","html_url":"https://github.com/DistCompiler","followers_url":"https://api.github.com/users/DistCompiler/followers","following_url":"https://api.github.com/users/DistCompiler/following{/other_user}","gists_url":"https://api.github.com/users/DistCompiler/gists{/gist_id}","starred_url":"https://api.github.com/users/DistCompiler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DistCompiler/subscriptions","organizations_url":"https://api.github.com/users/DistCompiler/orgs","repos_url":"https://api.github.com/users/DistCompiler/repos","events_url":"https://api.github.com/users/DistCompiler/events{/privacy}","received_events_url":"https://api.github.com/users/DistCompiler/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/DistCompiler/pgo","description":"PGo is a source to source compiler from Modular PlusCal specs into Go programs.","fork":false,"url":"https://api.github.com/repos/DistCompiler/pgo","forks_url":"https://api.github.com/repos/DistCompiler/pgo/forks","keys_url":"https://api.github.com/repos/DistCompiler/pgo/keys{/key_id}","collaborators_url":"https://api.github.com/repos/DistCompiler/pgo/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/DistCompiler/pgo/teams","hooks_url":"https://api.github.com/repos/DistCompiler/pgo/hooks","issue_events_url":"https://api.github.com/repos/DistCompiler/pgo/issues/events{/number}","events_url":"https://api.github.com/repos/DistCompiler/pgo/events","assignees_url":"https://api.github.com/repos/DistCompiler/pgo/assignees{/user}","branches_url":"https://api.github.com/repos/DistCompiler/pgo/branches{/branch}","tags_url":"https://api.github.com/repos/DistCompiler/pgo/tags","blobs_url":"https://api.github.com/repos/DistCompiler/pgo/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/DistCompiler/pgo/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/DistCompiler/pgo/git/refs{/sha}","trees_url":"https://api.github.com/repos/DistCompiler/pgo/git/trees{/sha}","statuses_url":"https://api.github.com/repos/DistCompiler/pgo/statuses/{sha}","languages_url":"https://api.github.com/repos/DistCompiler/pgo/languages","stargazers_url":"https://api.github.com/repos/DistCompiler/pgo/stargazers","contributors_url":"https://api.github.com/repos/DistCompiler/pgo/contributors","subscribers_url":"https://api.github.com/repos/DistCompiler/pgo/subscribers","subscription_url":"https://api.github.com/repos/DistCompiler/pgo/subscription","commits_url":"https://api.github.com/repos/DistCompiler/pgo/commits{/sha}","git_commits_url":"https://api.github.com/repos/DistCompiler/pgo/git/commits{/sha}","comments_url":"https://api.github.com/repos/DistCompiler/pgo/comments{/number}","issue_comment_url":"https://api.github.com/repos/DistCompiler/pgo/issues/comments{/number}","contents_url":"https://api.github.com/repos/DistCompiler/pgo/contents/{+path}","compare_url":"https://api.github.com/repos/DistCompiler/pgo/compare/{base}...{head}","merges_url":"https://api.github.com/repos/DistCompiler/pgo/merges","archive_url":"https://api.github.com/repos/DistCompiler/pgo/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/DistCompiler/pgo/downloads","issues_url":"https://api.github.com/repos/DistCompiler/pgo/issues{/number}","pulls_url":"https://api.github.com/repos/DistCompiler/pgo/pulls{/number}","milestones_url":"https://api.github.com/repos/DistCompiler/pgo/milestones{/number}","notifications_url":"https://api.github.com/repos/DistCompiler/pgo/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/DistCompiler/pgo/labels{/name}","releases_url":"https://api.github.com/repos/DistCompiler/pgo/releases{/id}","deployments_url":"https://api.github.com/repos/DistCompiler/pgo/deployments","created_at":"2018-01-17T05:20:13Z","updated_at":"2026-09-09T15:10:53Z","pushed_at":"2025-12-17T22:51:53Z","git_url":"git://github.com/DistCompiler/pgo.git","ssh_url":"git@github.com:DistCompiler/pgo.git","clone_url":"https://github.com/DistCompiler/pgo.git","svn_url":"https://github.com/DistCompiler/pgo","homepage":"https://distcompiler.github.io/","size":96983,"stargazers_count":208,"watchers_count":208,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":true,"forks_count":20,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":18,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["compiler","distributed-systems","go","pgo","pluscal","scala","tla"],"visibility":"public","forks":20,"open_issues":18,"watchers":208,"default_branch":"main","score":1.0},{"id":1141593768,"node_id":"R_kgDORAtWqA","name":"clawdbot-formal-models","full_name":"vignesh07/clawdbot-formal-models","private":false,"owner":{"login":"vignesh07","id":1436853,"node_id":"MDQ6VXNlcjE0MzY4NTM=","avatar_url":"https://avatars.githubusercontent.com/u/1436853?v=4","gravatar_id":"","url":"https://api.github.com/users/vignesh07","html_url":"https://github.com/vignesh07","followers_url":"https://api.github.com/users/vignesh07/followers","following_url":"https://api.github.com/users/vignesh07/following{/other_user}","gists_url":"https://api.github.com/users/vignesh07/gists{/gist_id}","starred_url":"https://api.github.com/users/vignesh07/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vignesh07/subscriptions","organizations_url":"https://api.github.com/users/vignesh07/orgs","repos_url":"https://api.github.com/users/vignesh07/repos","events_url":"https://api.github.com/users/vignesh07/events{/privacy}","received_events_url":"https://api.github.com/users/vignesh07/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/vignesh07/clawdbot-formal-models","description":null,"fork":false,"url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models","forks_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/forks","keys_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/keys{/key_id}","collaborators_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/teams","hooks_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/hooks","issue_events_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/issues/events{/number}","events_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/events","assignees_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/assignees{/user}","branches_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/branches{/branch}","tags_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/tags","blobs_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/git/refs{/sha}","trees_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/git/trees{/sha}","statuses_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/statuses/{sha}","languages_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/languages","stargazers_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/stargazers","contributors_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/contributors","subscribers_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/subscribers","subscription_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/subscription","commits_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/commits{/sha}","git_commits_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/git/commits{/sha}","comments_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/comments{/number}","issue_comment_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/issues/comments{/number}","contents_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/contents/{+path}","compare_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/compare/{base}...{head}","merges_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/merges","archive_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/downloads","issues_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/issues{/number}","pulls_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/pulls{/number}","milestones_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/milestones{/number}","notifications_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/labels{/name}","releases_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/releases{/id}","deployments_url":"https://api.github.com/repos/vignesh07/clawdbot-formal-models/deployments","created_at":"2026-01-25T04:08:48Z","updated_at":"2026-08-25T14:08:06Z","pushed_at":"2026-02-03T21:35:11Z","git_url":"git://github.com/vignesh07/clawdbot-formal-models.git","ssh_url":"git@github.com:vignesh07/clawdbot-formal-models.git","clone_url":"https://github.com/vignesh07/clawdbot-formal-models.git","svn_url":"https://github.com/vignesh07/clawdbot-formal-models","homepage":null,"size":2394,"stargazers_count":197,"watchers_count":197,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":36,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":36,"open_issues":1,"watchers":197,"default_branch":"main","score":1.0},{"id":335556322,"node_id":"MDEwOlJlcG9zaXRvcnkzMzU1NTYzMjI=","name":"bookkeeper-tlaplus","full_name":"Vanlightly/bookkeeper-tlaplus","private":false,"owner":{"login":"Vanlightly","id":5092576,"node_id":"MDQ6VXNlcjUwOTI1NzY=","avatar_url":"https://avatars.githubusercontent.com/u/5092576?v=4","gravatar_id":"","url":"https://api.github.com/users/Vanlightly","html_url":"https://github.com/Vanlightly","followers_url":"https://api.github.com/users/Vanlightly/followers","following_url":"https://api.github.com/users/Vanlightly/following{/other_user}","gists_url":"https://api.github.com/users/Vanlightly/gists{/gist_id}","starred_url":"https://api.github.com/users/Vanlightly/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Vanlightly/subscriptions","organizations_url":"https://api.github.com/users/Vanlightly/orgs","repos_url":"https://api.github.com/users/Vanlightly/repos","events_url":"https://api.github.com/users/Vanlightly/events{/privacy}","received_events_url":"https://api.github.com/users/Vanlightly/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Vanlightly/bookkeeper-tlaplus","description":"A TLA+ specification of the Apache BookKeeper replication protocol","fork":false,"url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus","forks_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/forks","keys_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/teams","hooks_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/hooks","issue_events_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/issues/events{/number}","events_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/events","assignees_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/assignees{/user}","branches_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/branches{/branch}","tags_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/tags","blobs_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/git/refs{/sha}","trees_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/statuses/{sha}","languages_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/languages","stargazers_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/stargazers","contributors_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/contributors","subscribers_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/subscribers","subscription_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/subscription","commits_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/commits{/sha}","git_commits_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/git/commits{/sha}","comments_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/comments{/number}","issue_comment_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/issues/comments{/number}","contents_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/contents/{+path}","compare_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/merges","archive_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/downloads","issues_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/issues{/number}","pulls_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/pulls{/number}","milestones_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/milestones{/number}","notifications_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/labels{/name}","releases_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/releases{/id}","deployments_url":"https://api.github.com/repos/Vanlightly/bookkeeper-tlaplus/deployments","created_at":"2021-02-03T08:28:23Z","updated_at":"2026-05-15T06:32:40Z","pushed_at":"2024-03-16T06:50:44Z","git_url":"git://github.com/Vanlightly/bookkeeper-tlaplus.git","ssh_url":"git@github.com:Vanlightly/bookkeeper-tlaplus.git","clone_url":"https://github.com/Vanlightly/bookkeeper-tlaplus.git","svn_url":"https://github.com/Vanlightly/bookkeeper-tlaplus","homepage":null,"size":87,"stargazers_count":104,"watchers_count":104,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":15,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":15,"open_issues":1,"watchers":104,"default_branch":"main","score":1.0},{"id":501772245,"node_id":"R_kgDOHehv1Q","name":"raft-tlaplus","full_name":"Vanlightly/raft-tlaplus","private":false,"owner":{"login":"Vanlightly","id":5092576,"node_id":"MDQ6VXNlcjUwOTI1NzY=","avatar_url":"https://avatars.githubusercontent.com/u/5092576?v=4","gravatar_id":"","url":"https://api.github.com/users/Vanlightly","html_url":"https://github.com/Vanlightly","followers_url":"https://api.github.com/users/Vanlightly/followers","following_url":"https://api.github.com/users/Vanlightly/following{/other_user}","gists_url":"https://api.github.com/users/Vanlightly/gists{/gist_id}","starred_url":"https://api.github.com/users/Vanlightly/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Vanlightly/subscriptions","organizations_url":"https://api.github.com/users/Vanlightly/orgs","repos_url":"https://api.github.com/users/Vanlightly/repos","events_url":"https://api.github.com/users/Vanlightly/events{/privacy}","received_events_url":"https://api.github.com/users/Vanlightly/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Vanlightly/raft-tlaplus","description":"TLA+ specifications for Raft and variants","fork":false,"url":"https://api.github.com/repos/Vanlightly/raft-tlaplus","forks_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/forks","keys_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/teams","hooks_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/hooks","issue_events_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/issues/events{/number}","events_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/events","assignees_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/assignees{/user}","branches_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/branches{/branch}","tags_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/tags","blobs_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/git/refs{/sha}","trees_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/statuses/{sha}","languages_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/languages","stargazers_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/stargazers","contributors_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/contributors","subscribers_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/subscribers","subscription_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/subscription","commits_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/commits{/sha}","git_commits_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/git/commits{/sha}","comments_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/comments{/number}","issue_comment_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/issues/comments{/number}","contents_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/contents/{+path}","compare_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/merges","archive_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/downloads","issues_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/issues{/number}","pulls_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/pulls{/number}","milestones_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/milestones{/number}","notifications_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/labels{/name}","releases_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/releases{/id}","deployments_url":"https://api.github.com/repos/Vanlightly/raft-tlaplus/deployments","created_at":"2022-06-09T18:47:38Z","updated_at":"2026-04-22T23:12:40Z","pushed_at":"2022-07-18T12:44:11Z","git_url":"git://github.com/Vanlightly/raft-tlaplus.git","ssh_url":"git@github.com:Vanlightly/raft-tlaplus.git","clone_url":"https://github.com/Vanlightly/raft-tlaplus.git","svn_url":"https://github.com/Vanlightly/raft-tlaplus","homepage":null,"size":184,"stargazers_count":91,"watchers_count":91,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":10,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":10,"open_issues":0,"watchers":91,"default_branch":"main","score":1.0},{"id":487881351,"node_id":"R_kgDOHRR6hw","name":"kafka-tlaplus","full_name":"Vanlightly/kafka-tlaplus","private":false,"owner":{"login":"Vanlightly","id":5092576,"node_id":"MDQ6VXNlcjUwOTI1NzY=","avatar_url":"https://avatars.githubusercontent.com/u/5092576?v=4","gravatar_id":"","url":"https://api.github.com/users/Vanlightly","html_url":"https://github.com/Vanlightly","followers_url":"https://api.github.com/users/Vanlightly/followers","following_url":"https://api.github.com/users/Vanlightly/following{/other_user}","gists_url":"https://api.github.com/users/Vanlightly/gists{/gist_id}","starred_url":"https://api.github.com/users/Vanlightly/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Vanlightly/subscriptions","organizations_url":"https://api.github.com/users/Vanlightly/orgs","repos_url":"https://api.github.com/users/Vanlightly/repos","events_url":"https://api.github.com/users/Vanlightly/events{/privacy}","received_events_url":"https://api.github.com/users/Vanlightly/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Vanlightly/kafka-tlaplus","description":"TLA+ specifications for Kafka related algorithms","fork":false,"url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus","forks_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/forks","keys_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/teams","hooks_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/hooks","issue_events_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/issues/events{/number}","events_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/events","assignees_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/assignees{/user}","branches_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/branches{/branch}","tags_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/tags","blobs_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/git/refs{/sha}","trees_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/statuses/{sha}","languages_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/languages","stargazers_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/stargazers","contributors_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/contributors","subscribers_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/subscribers","subscription_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/subscription","commits_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/commits{/sha}","git_commits_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/git/commits{/sha}","comments_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/comments{/number}","issue_comment_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/issues/comments{/number}","contents_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/contents/{+path}","compare_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/merges","archive_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/downloads","issues_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/issues{/number}","pulls_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/pulls{/number}","milestones_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/milestones{/number}","notifications_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/labels{/name}","releases_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/releases{/id}","deployments_url":"https://api.github.com/repos/Vanlightly/kafka-tlaplus/deployments","created_at":"2022-05-02T14:44:44Z","updated_at":"2026-05-30T12:07:08Z","pushed_at":"2025-01-24T08:30:51Z","git_url":"git://github.com/Vanlightly/kafka-tlaplus.git","ssh_url":"git@github.com:Vanlightly/kafka-tlaplus.git","clone_url":"https://github.com/Vanlightly/kafka-tlaplus.git","svn_url":"https://github.com/Vanlightly/kafka-tlaplus","homepage":null,"size":1483,"stargazers_count":90,"watchers_count":90,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":8,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":8,"open_issues":0,"watchers":90,"default_branch":"main","score":1.0},{"id":140339654,"node_id":"MDEwOlJlcG9zaXRvcnkxNDAzMzk2NTQ=","name":"kafka-specification","full_name":"hachikuji/kafka-specification","private":false,"owner":{"login":"hachikuji","id":12502538,"node_id":"MDQ6VXNlcjEyNTAyNTM4","avatar_url":"https://avatars.githubusercontent.com/u/12502538?v=4","gravatar_id":"","url":"https://api.github.com/users/hachikuji","html_url":"https://github.com/hachikuji","followers_url":"https://api.github.com/users/hachikuji/followers","following_url":"https://api.github.com/users/hachikuji/following{/other_user}","gists_url":"https://api.github.com/users/hachikuji/gists{/gist_id}","starred_url":"https://api.github.com/users/hachikuji/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hachikuji/subscriptions","organizations_url":"https://api.github.com/users/hachikuji/orgs","repos_url":"https://api.github.com/users/hachikuji/repos","events_url":"https://api.github.com/users/hachikuji/events{/privacy}","received_events_url":"https://api.github.com/users/hachikuji/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/hachikuji/kafka-specification","description":"TLA+ specification of the Kafka replication protocol","fork":false,"url":"https://api.github.com/repos/hachikuji/kafka-specification","forks_url":"https://api.github.com/repos/hachikuji/kafka-specification/forks","keys_url":"https://api.github.com/repos/hachikuji/kafka-specification/keys{/key_id}","collaborators_url":"https://api.github.com/repos/hachikuji/kafka-specification/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/hachikuji/kafka-specification/teams","hooks_url":"https://api.github.com/repos/hachikuji/kafka-specification/hooks","issue_events_url":"https://api.github.com/repos/hachikuji/kafka-specification/issues/events{/number}","events_url":"https://api.github.com/repos/hachikuji/kafka-specification/events","assignees_url":"https://api.github.com/repos/hachikuji/kafka-specification/assignees{/user}","branches_url":"https://api.github.com/repos/hachikuji/kafka-specification/branches{/branch}","tags_url":"https://api.github.com/repos/hachikuji/kafka-specification/tags","blobs_url":"https://api.github.com/repos/hachikuji/kafka-specification/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/hachikuji/kafka-specification/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/hachikuji/kafka-specification/git/refs{/sha}","trees_url":"https://api.github.com/repos/hachikuji/kafka-specification/git/trees{/sha}","statuses_url":"https://api.github.com/repos/hachikuji/kafka-specification/statuses/{sha}","languages_url":"https://api.github.com/repos/hachikuji/kafka-specification/languages","stargazers_url":"https://api.github.com/repos/hachikuji/kafka-specification/stargazers","contributors_url":"https://api.github.com/repos/hachikuji/kafka-specification/contributors","subscribers_url":"https://api.github.com/repos/hachikuji/kafka-specification/subscribers","subscription_url":"https://api.github.com/repos/hachikuji/kafka-specification/subscription","commits_url":"https://api.github.com/repos/hachikuji/kafka-specification/commits{/sha}","git_commits_url":"https://api.github.com/repos/hachikuji/kafka-specification/git/commits{/sha}","comments_url":"https://api.github.com/repos/hachikuji/kafka-specification/comments{/number}","issue_comment_url":"https://api.github.com/repos/hachikuji/kafka-specification/issues/comments{/number}","contents_url":"https://api.github.com/repos/hachikuji/kafka-specification/contents/{+path}","compare_url":"https://api.github.com/repos/hachikuji/kafka-specification/compare/{base}...{head}","merges_url":"https://api.github.com/repos/hachikuji/kafka-specification/merges","archive_url":"https://api.github.com/repos/hachikuji/kafka-specification/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/hachikuji/kafka-specification/downloads","issues_url":"https://api.github.com/repos/hachikuji/kafka-specification/issues{/number}","pulls_url":"https://api.github.com/repos/hachikuji/kafka-specification/pulls{/number}","milestones_url":"https://api.github.com/repos/hachikuji/kafka-specification/milestones{/number}","notifications_url":"https://api.github.com/repos/hachikuji/kafka-specification/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/hachikuji/kafka-specification/labels{/name}","releases_url":"https://api.github.com/repos/hachikuji/kafka-specification/releases{/id}","deployments_url":"https://api.github.com/repos/hachikuji/kafka-specification/deployments","created_at":"2018-07-09T20:38:14Z","updated_at":"2026-01-26T11:27:01Z","pushed_at":"2020-01-02T22:52:51Z","git_url":"git://github.com/hachikuji/kafka-specification.git","ssh_url":"git@github.com:hachikuji/kafka-specification.git","clone_url":"https://github.com/hachikuji/kafka-specification.git","svn_url":"https://github.com/hachikuji/kafka-specification","homepage":null,"size":26,"stargazers_count":89,"watchers_count":89,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":14,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":14,"open_issues":0,"watchers":89,"default_branch":"master","score":1.0},{"id":76352783,"node_id":"MDEwOlJlcG9zaXRvcnk3NjM1Mjc4Mw==","name":"PlusCal-examples","full_name":"muratdem/PlusCal-examples","private":false,"owner":{"login":"muratdem","id":1136825,"node_id":"MDQ6VXNlcjExMzY4MjU=","avatar_url":"https://avatars.githubusercontent.com/u/1136825?v=4","gravatar_id":"","url":"https://api.github.com/users/muratdem","html_url":"https://github.com/muratdem","followers_url":"https://api.github.com/users/muratdem/followers","following_url":"https://api.github.com/users/muratdem/following{/other_user}","gists_url":"https://api.github.com/users/muratdem/gists{/gist_id}","starred_url":"https://api.github.com/users/muratdem/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/muratdem/subscriptions","organizations_url":"https://api.github.com/users/muratdem/orgs","repos_url":"https://api.github.com/users/muratdem/repos","events_url":"https://api.github.com/users/muratdem/events{/privacy}","received_events_url":"https://api.github.com/users/muratdem/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/muratdem/PlusCal-examples","description":"Pluscal/TLA+ modeling of distributed systems/protocols","fork":false,"url":"https://api.github.com/repos/muratdem/PlusCal-examples","forks_url":"https://api.github.com/repos/muratdem/PlusCal-examples/forks","keys_url":"https://api.github.com/repos/muratdem/PlusCal-examples/keys{/key_id}","collaborators_url":"https://api.github.com/repos/muratdem/PlusCal-examples/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/muratdem/PlusCal-examples/teams","hooks_url":"https://api.github.com/repos/muratdem/PlusCal-examples/hooks","issue_events_url":"https://api.github.com/repos/muratdem/PlusCal-examples/issues/events{/number}","events_url":"https://api.github.com/repos/muratdem/PlusCal-examples/events","assignees_url":"https://api.github.com/repos/muratdem/PlusCal-examples/assignees{/user}","branches_url":"https://api.github.com/repos/muratdem/PlusCal-examples/branches{/branch}","tags_url":"https://api.github.com/repos/muratdem/PlusCal-examples/tags","blobs_url":"https://api.github.com/repos/muratdem/PlusCal-examples/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/muratdem/PlusCal-examples/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/muratdem/PlusCal-examples/git/refs{/sha}","trees_url":"https://api.github.com/repos/muratdem/PlusCal-examples/git/trees{/sha}","statuses_url":"https://api.github.com/repos/muratdem/PlusCal-examples/statuses/{sha}","languages_url":"https://api.github.com/repos/muratdem/PlusCal-examples/languages","stargazers_url":"https://api.github.com/repos/muratdem/PlusCal-examples/stargazers","contributors_url":"https://api.github.com/repos/muratdem/PlusCal-examples/contributors","subscribers_url":"https://api.github.com/repos/muratdem/PlusCal-examples/subscribers","subscription_url":"https://api.github.com/repos/muratdem/PlusCal-examples/subscription","commits_url":"https://api.github.com/repos/muratdem/PlusCal-examples/commits{/sha}","git_commits_url":"https://api.github.com/repos/muratdem/PlusCal-examples/git/commits{/sha}","comments_url":"https://api.github.com/repos/muratdem/PlusCal-examples/comments{/number}","issue_comment_url":"https://api.github.com/repos/muratdem/PlusCal-examples/issues/comments{/number}","contents_url":"https://api.github.com/repos/muratdem/PlusCal-examples/contents/{+path}","compare_url":"https://api.github.com/repos/muratdem/PlusCal-examples/compare/{base}...{head}","merges_url":"https://api.github.com/repos/muratdem/PlusCal-examples/merges","archive_url":"https://api.github.com/repos/muratdem/PlusCal-examples/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/muratdem/PlusCal-examples/downloads","issues_url":"https://api.github.com/repos/muratdem/PlusCal-examples/issues{/number}","pulls_url":"https://api.github.com/repos/muratdem/PlusCal-examples/pulls{/number}","milestones_url":"https://api.github.com/repos/muratdem/PlusCal-examples/milestones{/number}","notifications_url":"https://api.github.com/repos/muratdem/PlusCal-examples/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/muratdem/PlusCal-examples/labels{/name}","releases_url":"https://api.github.com/repos/muratdem/PlusCal-examples/releases{/id}","deployments_url":"https://api.github.com/repos/muratdem/PlusCal-examples/deployments","created_at":"2016-12-13T11:31:01Z","updated_at":"2026-08-22T09:08:37Z","pushed_at":"2023-10-21T14:25:48Z","git_url":"git://github.com/muratdem/PlusCal-examples.git","ssh_url":"git@github.com:muratdem/PlusCal-examples.git","clone_url":"https://github.com/muratdem/PlusCal-examples.git","svn_url":"https://github.com/muratdem/PlusCal-examples","homepage":null,"size":736,"stargazers_count":84,"watchers_count":84,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":19,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":19,"open_issues":0,"watchers":84,"default_branch":"master","score":1.0},{"id":253437838,"node_id":"MDEwOlJlcG9zaXRvcnkyNTM0Mzc4Mzg=","name":"Parallel-Raft-tla","full_name":"HappyCS-Gu/Parallel-Raft-tla","private":false,"owner":{"login":"HappyCS-Gu","id":31882331,"node_id":"MDQ6VXNlcjMxODgyMzMx","avatar_url":"https://avatars.githubusercontent.com/u/31882331?v=4","gravatar_id":"","url":"https://api.github.com/users/HappyCS-Gu","html_url":"https://github.com/HappyCS-Gu","followers_url":"https://api.github.com/users/HappyCS-Gu/followers","following_url":"https://api.github.com/users/HappyCS-Gu/following{/other_user}","gists_url":"https://api.github.com/users/HappyCS-Gu/gists{/gist_id}","starred_url":"https://api.github.com/users/HappyCS-Gu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/HappyCS-Gu/subscriptions","organizations_url":"https://api.github.com/users/HappyCS-Gu/orgs","repos_url":"https://api.github.com/users/HappyCS-Gu/repos","events_url":"https://api.github.com/users/HappyCS-Gu/events{/privacy}","received_events_url":"https://api.github.com/users/HappyCS-Gu/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/HappyCS-Gu/Parallel-Raft-tla","description":"Specifying and Verfying concensus algorithms in PolarDB using TLA+","fork":false,"url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla","forks_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/forks","keys_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/keys{/key_id}","collaborators_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/teams","hooks_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/hooks","issue_events_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/issues/events{/number}","events_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/events","assignees_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/assignees{/user}","branches_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/branches{/branch}","tags_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/tags","blobs_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/git/refs{/sha}","trees_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/git/trees{/sha}","statuses_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/statuses/{sha}","languages_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/languages","stargazers_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/stargazers","contributors_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/contributors","subscribers_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/subscribers","subscription_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/subscription","commits_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/commits{/sha}","git_commits_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/git/commits{/sha}","comments_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/comments{/number}","issue_comment_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/issues/comments{/number}","contents_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/contents/{+path}","compare_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/compare/{base}...{head}","merges_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/merges","archive_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/downloads","issues_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/issues{/number}","pulls_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/pulls{/number}","milestones_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/milestones{/number}","notifications_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/labels{/name}","releases_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/releases{/id}","deployments_url":"https://api.github.com/repos/HappyCS-Gu/Parallel-Raft-tla/deployments","created_at":"2020-04-06T08:24:44Z","updated_at":"2025-10-03T11:52:06Z","pushed_at":"2024-09-19T05:46:31Z","git_url":"git://github.com/HappyCS-Gu/Parallel-Raft-tla.git","ssh_url":"git@github.com:HappyCS-Gu/Parallel-Raft-tla.git","clone_url":"https://github.com/HappyCS-Gu/Parallel-Raft-tla.git","svn_url":"https://github.com/HappyCS-Gu/Parallel-Raft-tla","homepage":null,"size":5963,"stargazers_count":59,"watchers_count":59,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":14,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":14,"open_issues":1,"watchers":59,"default_branch":"master","score":1.0},{"id":1073901349,"node_id":"R_kgDOQAJvJQ","name":"system-intelligence-benchmark","full_name":"sys-intelligence/system-intelligence-benchmark","private":false,"owner":{"login":"sys-intelligence","id":235612332,"node_id":"O_kgDODgsorA","avatar_url":"https://avatars.githubusercontent.com/u/235612332?v=4","gravatar_id":"","url":"https://api.github.com/users/sys-intelligence","html_url":"https://github.com/sys-intelligence","followers_url":"https://api.github.com/users/sys-intelligence/followers","following_url":"https://api.github.com/users/sys-intelligence/following{/other_user}","gists_url":"https://api.github.com/users/sys-intelligence/gists{/gist_id}","starred_url":"https://api.github.com/users/sys-intelligence/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sys-intelligence/subscriptions","organizations_url":"https://api.github.com/users/sys-intelligence/orgs","repos_url":"https://api.github.com/users/sys-intelligence/repos","events_url":"https://api.github.com/users/sys-intelligence/events{/privacy}","received_events_url":"https://api.github.com/users/sys-intelligence/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/sys-intelligence/system-intelligence-benchmark","description":"System Intelligence Benchmark","fork":false,"url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark","forks_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/forks","keys_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/keys{/key_id}","collaborators_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/teams","hooks_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/hooks","issue_events_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/issues/events{/number}","events_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/events","assignees_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/assignees{/user}","branches_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/branches{/branch}","tags_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/tags","blobs_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/git/refs{/sha}","trees_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/git/trees{/sha}","statuses_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/statuses/{sha}","languages_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/languages","stargazers_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/stargazers","contributors_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/contributors","subscribers_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/subscribers","subscription_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/subscription","commits_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/commits{/sha}","git_commits_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/git/commits{/sha}","comments_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/comments{/number}","issue_comment_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/issues/comments{/number}","contents_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/contents/{+path}","compare_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/compare/{base}...{head}","merges_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/merges","archive_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/downloads","issues_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/issues{/number}","pulls_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/pulls{/number}","milestones_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/milestones{/number}","notifications_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/labels{/name}","releases_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/releases{/id}","deployments_url":"https://api.github.com/repos/sys-intelligence/system-intelligence-benchmark/deployments","created_at":"2025-10-10T19:54:23Z","updated_at":"2026-08-27T06:23:17Z","pushed_at":"2026-07-30T20:36:29Z","git_url":"git://github.com/sys-intelligence/system-intelligence-benchmark.git","ssh_url":"git@github.com:sys-intelligence/system-intelligence-benchmark.git","clone_url":"https://github.com/sys-intelligence/system-intelligence-benchmark.git","svn_url":"https://github.com/sys-intelligence/system-intelligence-benchmark","homepage":"","size":67797,"stargazers_count":55,"watchers_count":55,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":true,"forks_count":13,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":30,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":13,"open_issues":30,"watchers":55,"default_branch":"main","score":1.0},{"id":153871211,"node_id":"MDEwOlJlcG9zaXRvcnkxNTM4NzEyMTE=","name":"tla-linearizability","full_name":"lorin/tla-linearizability","private":false,"owner":{"login":"lorin","id":446305,"node_id":"MDQ6VXNlcjQ0NjMwNQ==","avatar_url":"https://avatars.githubusercontent.com/u/446305?v=4","gravatar_id":"","url":"https://api.github.com/users/lorin","html_url":"https://github.com/lorin","followers_url":"https://api.github.com/users/lorin/followers","following_url":"https://api.github.com/users/lorin/following{/other_user}","gists_url":"https://api.github.com/users/lorin/gists{/gist_id}","starred_url":"https://api.github.com/users/lorin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lorin/subscriptions","organizations_url":"https://api.github.com/users/lorin/orgs","repos_url":"https://api.github.com/users/lorin/repos","events_url":"https://api.github.com/users/lorin/events{/privacy}","received_events_url":"https://api.github.com/users/lorin/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/lorin/tla-linearizability","description":"Reading the linearizability paper with TLA+","fork":false,"url":"https://api.github.com/repos/lorin/tla-linearizability","forks_url":"https://api.github.com/repos/lorin/tla-linearizability/forks","keys_url":"https://api.github.com/repos/lorin/tla-linearizability/keys{/key_id}","collaborators_url":"https://api.github.com/repos/lorin/tla-linearizability/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/lorin/tla-linearizability/teams","hooks_url":"https://api.github.com/repos/lorin/tla-linearizability/hooks","issue_events_url":"https://api.github.com/repos/lorin/tla-linearizability/issues/events{/number}","events_url":"https://api.github.com/repos/lorin/tla-linearizability/events","assignees_url":"https://api.github.com/repos/lorin/tla-linearizability/assignees{/user}","branches_url":"https://api.github.com/repos/lorin/tla-linearizability/branches{/branch}","tags_url":"https://api.github.com/repos/lorin/tla-linearizability/tags","blobs_url":"https://api.github.com/repos/lorin/tla-linearizability/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/lorin/tla-linearizability/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/lorin/tla-linearizability/git/refs{/sha}","trees_url":"https://api.github.com/repos/lorin/tla-linearizability/git/trees{/sha}","statuses_url":"https://api.github.com/repos/lorin/tla-linearizability/statuses/{sha}","languages_url":"https://api.github.com/repos/lorin/tla-linearizability/languages","stargazers_url":"https://api.github.com/repos/lorin/tla-linearizability/stargazers","contributors_url":"https://api.github.com/repos/lorin/tla-linearizability/contributors","subscribers_url":"https://api.github.com/repos/lorin/tla-linearizability/subscribers","subscription_url":"https://api.github.com/repos/lorin/tla-linearizability/subscription","commits_url":"https://api.github.com/repos/lorin/tla-linearizability/commits{/sha}","git_commits_url":"https://api.github.com/repos/lorin/tla-linearizability/git/commits{/sha}","comments_url":"https://api.github.com/repos/lorin/tla-linearizability/comments{/number}","issue_comment_url":"https://api.github.com/repos/lorin/tla-linearizability/issues/comments{/number}","contents_url":"https://api.github.com/repos/lorin/tla-linearizability/contents/{+path}","compare_url":"https://api.github.com/repos/lorin/tla-linearizability/compare/{base}...{head}","merges_url":"https://api.github.com/repos/lorin/tla-linearizability/merges","archive_url":"https://api.github.com/repos/lorin/tla-linearizability/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/lorin/tla-linearizability/downloads","issues_url":"https://api.github.com/repos/lorin/tla-linearizability/issues{/number}","pulls_url":"https://api.github.com/repos/lorin/tla-linearizability/pulls{/number}","milestones_url":"https://api.github.com/repos/lorin/tla-linearizability/milestones{/number}","notifications_url":"https://api.github.com/repos/lorin/tla-linearizability/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/lorin/tla-linearizability/labels{/name}","releases_url":"https://api.github.com/repos/lorin/tla-linearizability/releases{/id}","deployments_url":"https://api.github.com/repos/lorin/tla-linearizability/deployments","created_at":"2018-10-20T04:58:49Z","updated_at":"2026-08-15T09:35:26Z","pushed_at":"2022-04-24T23:28:22Z","git_url":"git://github.com/lorin/tla-linearizability.git","ssh_url":"git@github.com:lorin/tla-linearizability.git","clone_url":"https://github.com/lorin/tla-linearizability.git","svn_url":"https://github.com/lorin/tla-linearizability","homepage":null,"size":229,"stargazers_count":54,"watchers_count":54,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":5,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["linearizability","tlaplus"],"visibility":"public","forks":5,"open_issues":0,"watchers":54,"default_branch":"master","score":1.0},{"id":408523143,"node_id":"MDEwOlJlcG9zaXRvcnk0MDg1MjMxNDM=","name":"ewd998","full_name":"tlaplus-workshops/ewd998","private":false,"owner":{"login":"tlaplus-workshops","id":91082297,"node_id":"MDEyOk9yZ2FuaXphdGlvbjkxMDgyMjk3","avatar_url":"https://avatars.githubusercontent.com/u/91082297?v=4","gravatar_id":"","url":"https://api.github.com/users/tlaplus-workshops","html_url":"https://github.com/tlaplus-workshops","followers_url":"https://api.github.com/users/tlaplus-workshops/followers","following_url":"https://api.github.com/users/tlaplus-workshops/following{/other_user}","gists_url":"https://api.github.com/users/tlaplus-workshops/gists{/gist_id}","starred_url":"https://api.github.com/users/tlaplus-workshops/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tlaplus-workshops/subscriptions","organizations_url":"https://api.github.com/users/tlaplus-workshops/orgs","repos_url":"https://api.github.com/users/tlaplus-workshops/repos","events_url":"https://api.github.com/users/tlaplus-workshops/events{/privacy}","received_events_url":"https://api.github.com/users/tlaplus-workshops/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/tlaplus-workshops/ewd998","description":"Distributed termination detection on a ring, due to Shmuel Safra:","fork":false,"url":"https://api.github.com/repos/tlaplus-workshops/ewd998","forks_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/forks","keys_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/keys{/key_id}","collaborators_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/teams","hooks_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/hooks","issue_events_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/issues/events{/number}","events_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/events","assignees_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/assignees{/user}","branches_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/branches{/branch}","tags_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/tags","blobs_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/git/refs{/sha}","trees_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/git/trees{/sha}","statuses_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/statuses/{sha}","languages_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/languages","stargazers_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/stargazers","contributors_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/contributors","subscribers_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/subscribers","subscription_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/subscription","commits_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/commits{/sha}","git_commits_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/git/commits{/sha}","comments_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/comments{/number}","issue_comment_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/issues/comments{/number}","contents_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/contents/{+path}","compare_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/compare/{base}...{head}","merges_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/merges","archive_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/downloads","issues_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/issues{/number}","pulls_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/pulls{/number}","milestones_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/milestones{/number}","notifications_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/labels{/name}","releases_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/releases{/id}","deployments_url":"https://api.github.com/repos/tlaplus-workshops/ewd998/deployments","created_at":"2021-09-20T16:43:09Z","updated_at":"2026-06-16T14:56:53Z","pushed_at":"2024-09-02T13:44:30Z","git_url":"git://github.com/tlaplus-workshops/ewd998.git","ssh_url":"git@github.com:tlaplus-workshops/ewd998.git","clone_url":"https://github.com/tlaplus-workshops/ewd998.git","svn_url":"https://github.com/tlaplus-workshops/ewd998","homepage":"https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF","size":2058,"stargazers_count":54,"watchers_count":54,"language":"TLA","has_issues":true,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":45,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":11,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["detection","distsys","liveness","model-checking","refinement","safety","specs","termination","theorem-proving","tlaplus"],"visibility":"public","forks":45,"open_issues":11,"watchers":54,"default_branch":"main","score":1.0},{"id":570625224,"node_id":"R_kgDOIgMMyA","name":"vsr-tlaplus","full_name":"Vanlightly/vsr-tlaplus","private":false,"owner":{"login":"Vanlightly","id":5092576,"node_id":"MDQ6VXNlcjUwOTI1NzY=","avatar_url":"https://avatars.githubusercontent.com/u/5092576?v=4","gravatar_id":"","url":"https://api.github.com/users/Vanlightly","html_url":"https://github.com/Vanlightly","followers_url":"https://api.github.com/users/Vanlightly/followers","following_url":"https://api.github.com/users/Vanlightly/following{/other_user}","gists_url":"https://api.github.com/users/Vanlightly/gists{/gist_id}","starred_url":"https://api.github.com/users/Vanlightly/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Vanlightly/subscriptions","organizations_url":"https://api.github.com/users/Vanlightly/orgs","repos_url":"https://api.github.com/users/Vanlightly/repos","events_url":"https://api.github.com/users/Vanlightly/events{/privacy}","received_events_url":"https://api.github.com/users/Vanlightly/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Vanlightly/vsr-tlaplus","description":"TLA+ specifications related to Viewstamped Replication","fork":false,"url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus","forks_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/forks","keys_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/teams","hooks_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/hooks","issue_events_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/issues/events{/number}","events_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/events","assignees_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/assignees{/user}","branches_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/branches{/branch}","tags_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/tags","blobs_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/git/refs{/sha}","trees_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/statuses/{sha}","languages_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/languages","stargazers_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/stargazers","contributors_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/contributors","subscribers_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/subscribers","subscription_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/subscription","commits_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/commits{/sha}","git_commits_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/git/commits{/sha}","comments_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/comments{/number}","issue_comment_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/issues/comments{/number}","contents_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/contents/{+path}","compare_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/merges","archive_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/downloads","issues_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/issues{/number}","pulls_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/pulls{/number}","milestones_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/milestones{/number}","notifications_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/labels{/name}","releases_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/releases{/id}","deployments_url":"https://api.github.com/repos/Vanlightly/vsr-tlaplus/deployments","created_at":"2022-11-25T16:45:02Z","updated_at":"2026-06-08T08:42:43Z","pushed_at":"2023-01-22T10:23:03Z","git_url":"git://github.com/Vanlightly/vsr-tlaplus.git","ssh_url":"git@github.com:Vanlightly/vsr-tlaplus.git","clone_url":"https://github.com/Vanlightly/vsr-tlaplus.git","svn_url":"https://github.com/Vanlightly/vsr-tlaplus","homepage":null,"size":370,"stargazers_count":52,"watchers_count":52,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":5,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":5,"open_issues":1,"watchers":52,"default_branch":"main","score":1.0},{"id":138437390,"node_id":"MDEwOlJlcG9zaXRvcnkxMzg0MzczOTA=","name":"tlaplus_animation","full_name":"will62794/tlaplus_animation","private":false,"owner":{"login":"will62794","id":6131840,"node_id":"MDQ6VXNlcjYxMzE4NDA=","avatar_url":"https://avatars.githubusercontent.com/u/6131840?v=4","gravatar_id":"","url":"https://api.github.com/users/will62794","html_url":"https://github.com/will62794","followers_url":"https://api.github.com/users/will62794/followers","following_url":"https://api.github.com/users/will62794/following{/other_user}","gists_url":"https://api.github.com/users/will62794/gists{/gist_id}","starred_url":"https://api.github.com/users/will62794/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/will62794/subscriptions","organizations_url":"https://api.github.com/users/will62794/orgs","repos_url":"https://api.github.com/users/will62794/repos","events_url":"https://api.github.com/users/will62794/events{/privacy}","received_events_url":"https://api.github.com/users/will62794/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/will62794/tlaplus_animation","description":"A TLA+ module for animating TLC traces.","fork":false,"url":"https://api.github.com/repos/will62794/tlaplus_animation","forks_url":"https://api.github.com/repos/will62794/tlaplus_animation/forks","keys_url":"https://api.github.com/repos/will62794/tlaplus_animation/keys{/key_id}","collaborators_url":"https://api.github.com/repos/will62794/tlaplus_animation/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/will62794/tlaplus_animation/teams","hooks_url":"https://api.github.com/repos/will62794/tlaplus_animation/hooks","issue_events_url":"https://api.github.com/repos/will62794/tlaplus_animation/issues/events{/number}","events_url":"https://api.github.com/repos/will62794/tlaplus_animation/events","assignees_url":"https://api.github.com/repos/will62794/tlaplus_animation/assignees{/user}","branches_url":"https://api.github.com/repos/will62794/tlaplus_animation/branches{/branch}","tags_url":"https://api.github.com/repos/will62794/tlaplus_animation/tags","blobs_url":"https://api.github.com/repos/will62794/tlaplus_animation/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/will62794/tlaplus_animation/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/will62794/tlaplus_animation/git/refs{/sha}","trees_url":"https://api.github.com/repos/will62794/tlaplus_animation/git/trees{/sha}","statuses_url":"https://api.github.com/repos/will62794/tlaplus_animation/statuses/{sha}","languages_url":"https://api.github.com/repos/will62794/tlaplus_animation/languages","stargazers_url":"https://api.github.com/repos/will62794/tlaplus_animation/stargazers","contributors_url":"https://api.github.com/repos/will62794/tlaplus_animation/contributors","subscribers_url":"https://api.github.com/repos/will62794/tlaplus_animation/subscribers","subscription_url":"https://api.github.com/repos/will62794/tlaplus_animation/subscription","commits_url":"https://api.github.com/repos/will62794/tlaplus_animation/commits{/sha}","git_commits_url":"https://api.github.com/repos/will62794/tlaplus_animation/git/commits{/sha}","comments_url":"https://api.github.com/repos/will62794/tlaplus_animation/comments{/number}","issue_comment_url":"https://api.github.com/repos/will62794/tlaplus_animation/issues/comments{/number}","contents_url":"https://api.github.com/repos/will62794/tlaplus_animation/contents/{+path}","compare_url":"https://api.github.com/repos/will62794/tlaplus_animation/compare/{base}...{head}","merges_url":"https://api.github.com/repos/will62794/tlaplus_animation/merges","archive_url":"https://api.github.com/repos/will62794/tlaplus_animation/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/will62794/tlaplus_animation/downloads","issues_url":"https://api.github.com/repos/will62794/tlaplus_animation/issues{/number}","pulls_url":"https://api.github.com/repos/will62794/tlaplus_animation/pulls{/number}","milestones_url":"https://api.github.com/repos/will62794/tlaplus_animation/milestones{/number}","notifications_url":"https://api.github.com/repos/will62794/tlaplus_animation/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/will62794/tlaplus_animation/labels{/name}","releases_url":"https://api.github.com/repos/will62794/tlaplus_animation/releases{/id}","deployments_url":"https://api.github.com/repos/will62794/tlaplus_animation/deployments","created_at":"2018-06-23T22:22:30Z","updated_at":"2026-08-29T00:46:26Z","pushed_at":"2024-12-09T19:26:13Z","git_url":"git://github.com/will62794/tlaplus_animation.git","ssh_url":"git@github.com:will62794/tlaplus_animation.git","clone_url":"https://github.com/will62794/tlaplus_animation.git","svn_url":"https://github.com/will62794/tlaplus_animation","homepage":"","size":58,"stargazers_count":50,"watchers_count":50,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":2,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":3,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["tlaplus"],"visibility":"public","forks":2,"open_issues":3,"watchers":50,"default_branch":"master","score":1.0},{"id":58710945,"node_id":"MDEwOlJlcG9zaXRvcnk1ODcxMDk0NQ==","name":"mongo-repl-tla","full_name":"visualzhou/mongo-repl-tla","private":false,"owner":{"login":"visualzhou","id":904814,"node_id":"MDQ6VXNlcjkwNDgxNA==","avatar_url":"https://avatars.githubusercontent.com/u/904814?v=4","gravatar_id":"","url":"https://api.github.com/users/visualzhou","html_url":"https://github.com/visualzhou","followers_url":"https://api.github.com/users/visualzhou/followers","following_url":"https://api.github.com/users/visualzhou/following{/other_user}","gists_url":"https://api.github.com/users/visualzhou/gists{/gist_id}","starred_url":"https://api.github.com/users/visualzhou/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/visualzhou/subscriptions","organizations_url":"https://api.github.com/users/visualzhou/orgs","repos_url":"https://api.github.com/users/visualzhou/repos","events_url":"https://api.github.com/users/visualzhou/events{/privacy}","received_events_url":"https://api.github.com/users/visualzhou/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/visualzhou/mongo-repl-tla","description":"TLA+ Spec of a simplified part of MongoDB replication system","fork":false,"url":"https://api.github.com/repos/visualzhou/mongo-repl-tla","forks_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/forks","keys_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/keys{/key_id}","collaborators_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/teams","hooks_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/hooks","issue_events_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/issues/events{/number}","events_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/events","assignees_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/assignees{/user}","branches_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/branches{/branch}","tags_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/tags","blobs_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/git/refs{/sha}","trees_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/git/trees{/sha}","statuses_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/statuses/{sha}","languages_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/languages","stargazers_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/stargazers","contributors_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/contributors","subscribers_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/subscribers","subscription_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/subscription","commits_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/commits{/sha}","git_commits_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/git/commits{/sha}","comments_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/comments{/number}","issue_comment_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/issues/comments{/number}","contents_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/contents/{+path}","compare_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/compare/{base}...{head}","merges_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/merges","archive_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/downloads","issues_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/issues{/number}","pulls_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/pulls{/number}","milestones_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/milestones{/number}","notifications_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/labels{/name}","releases_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/releases{/id}","deployments_url":"https://api.github.com/repos/visualzhou/mongo-repl-tla/deployments","created_at":"2016-05-13T07:10:50Z","updated_at":"2026-03-14T14:13:19Z","pushed_at":"2019-11-23T22:05:08Z","git_url":"git://github.com/visualzhou/mongo-repl-tla.git","ssh_url":"git@github.com:visualzhou/mongo-repl-tla.git","clone_url":"https://github.com/visualzhou/mongo-repl-tla.git","svn_url":"https://github.com/visualzhou/mongo-repl-tla","homepage":"","size":27,"stargazers_count":49,"watchers_count":49,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":5,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":5,"open_issues":0,"watchers":49,"default_branch":"master","score":1.0},{"id":501903350,"node_id":"R_kgDOHepv9g","name":"pragmaticformalmodeling","full_name":"ElliotSwart/pragmaticformalmodeling","private":false,"owner":{"login":"ElliotSwart","id":4601135,"node_id":"MDQ6VXNlcjQ2MDExMzU=","avatar_url":"https://avatars.githubusercontent.com/u/4601135?v=4","gravatar_id":"","url":"https://api.github.com/users/ElliotSwart","html_url":"https://github.com/ElliotSwart","followers_url":"https://api.github.com/users/ElliotSwart/followers","following_url":"https://api.github.com/users/ElliotSwart/following{/other_user}","gists_url":"https://api.github.com/users/ElliotSwart/gists{/gist_id}","starred_url":"https://api.github.com/users/ElliotSwart/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ElliotSwart/subscriptions","organizations_url":"https://api.github.com/users/ElliotSwart/orgs","repos_url":"https://api.github.com/users/ElliotSwart/repos","events_url":"https://api.github.com/users/ElliotSwart/events{/privacy}","received_events_url":"https://api.github.com/users/ElliotSwart/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/ElliotSwart/pragmaticformalmodeling","description":"An instructional website with progressively worked examples of TLA+ specifications and model checking.","fork":false,"url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling","forks_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/forks","keys_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/teams","hooks_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/hooks","issue_events_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/issues/events{/number}","events_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/events","assignees_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/assignees{/user}","branches_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/branches{/branch}","tags_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/tags","blobs_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/git/refs{/sha}","trees_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/statuses/{sha}","languages_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/languages","stargazers_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/stargazers","contributors_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/contributors","subscribers_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/subscribers","subscription_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/subscription","commits_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/commits{/sha}","git_commits_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/git/commits{/sha}","comments_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/comments{/number}","issue_comment_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/issues/comments{/number}","contents_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/contents/{+path}","compare_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/merges","archive_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/downloads","issues_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/issues{/number}","pulls_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/pulls{/number}","milestones_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/milestones{/number}","notifications_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/labels{/name}","releases_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/releases{/id}","deployments_url":"https://api.github.com/repos/ElliotSwart/pragmaticformalmodeling/deployments","created_at":"2022-06-10T04:50:42Z","updated_at":"2026-06-22T11:53:48Z","pushed_at":"2022-07-07T00:21:53Z","git_url":"git://github.com/ElliotSwart/pragmaticformalmodeling.git","ssh_url":"git@github.com:ElliotSwart/pragmaticformalmodeling.git","clone_url":"https://github.com/ElliotSwart/pragmaticformalmodeling.git","svn_url":"https://github.com/ElliotSwart/pragmaticformalmodeling","homepage":"https://elliotswart.github.io/pragmaticformalmodeling/","size":7122,"stargazers_count":48,"watchers_count":48,"language":"TLA","has_issues":true,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":true,"has_discussions":false,"forks_count":3,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":2,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["formal-methods","formal-verification","tla-plus","tla-specification"],"visibility":"public","forks":3,"open_issues":2,"watchers":48,"default_branch":"main","score":1.0},{"id":784675385,"node_id":"R_kgDOLsUyOQ","name":"table-formats-tlaplus","full_name":"Vanlightly/table-formats-tlaplus","private":false,"owner":{"login":"Vanlightly","id":5092576,"node_id":"MDQ6VXNlcjUwOTI1NzY=","avatar_url":"https://avatars.githubusercontent.com/u/5092576?v=4","gravatar_id":"","url":"https://api.github.com/users/Vanlightly","html_url":"https://github.com/Vanlightly","followers_url":"https://api.github.com/users/Vanlightly/followers","following_url":"https://api.github.com/users/Vanlightly/following{/other_user}","gists_url":"https://api.github.com/users/Vanlightly/gists{/gist_id}","starred_url":"https://api.github.com/users/Vanlightly/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Vanlightly/subscriptions","organizations_url":"https://api.github.com/users/Vanlightly/orgs","repos_url":"https://api.github.com/users/Vanlightly/repos","events_url":"https://api.github.com/users/Vanlightly/events{/privacy}","received_events_url":"https://api.github.com/users/Vanlightly/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Vanlightly/table-formats-tlaplus","description":"TLA+ specs for table formats","fork":false,"url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus","forks_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/forks","keys_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/teams","hooks_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/hooks","issue_events_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/issues/events{/number}","events_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/events","assignees_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/assignees{/user}","branches_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/branches{/branch}","tags_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/tags","blobs_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/git/refs{/sha}","trees_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/statuses/{sha}","languages_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/languages","stargazers_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/stargazers","contributors_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/contributors","subscribers_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/subscribers","subscription_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/subscription","commits_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/commits{/sha}","git_commits_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/git/commits{/sha}","comments_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/comments{/number}","issue_comment_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/issues/comments{/number}","contents_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/contents/{+path}","compare_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/merges","archive_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/downloads","issues_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/issues{/number}","pulls_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/pulls{/number}","milestones_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/milestones{/number}","notifications_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/labels{/name}","releases_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/releases{/id}","deployments_url":"https://api.github.com/repos/Vanlightly/table-formats-tlaplus/deployments","created_at":"2024-04-10T10:25:10Z","updated_at":"2026-08-10T15:47:43Z","pushed_at":"2024-10-10T10:10:13Z","git_url":"git://github.com/Vanlightly/table-formats-tlaplus.git","ssh_url":"git@github.com:Vanlightly/table-formats-tlaplus.git","clone_url":"https://github.com/Vanlightly/table-formats-tlaplus.git","svn_url":"https://github.com/Vanlightly/table-formats-tlaplus","homepage":null,"size":111,"stargazers_count":44,"watchers_count":44,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":10,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":10,"open_issues":0,"watchers":44,"default_branch":"main","score":1.0},{"id":175086919,"node_id":"MDEwOlJlcG9zaXRvcnkxNzUwODY5MTk=","name":"tiny-tlaplus-examples","full_name":"lostbearlabs/tiny-tlaplus-examples","private":false,"owner":{"login":"lostbearlabs","id":1135773,"node_id":"MDQ6VXNlcjExMzU3NzM=","avatar_url":"https://avatars.githubusercontent.com/u/1135773?v=4","gravatar_id":"","url":"https://api.github.com/users/lostbearlabs","html_url":"https://github.com/lostbearlabs","followers_url":"https://api.github.com/users/lostbearlabs/followers","following_url":"https://api.github.com/users/lostbearlabs/following{/other_user}","gists_url":"https://api.github.com/users/lostbearlabs/gists{/gist_id}","starred_url":"https://api.github.com/users/lostbearlabs/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lostbearlabs/subscriptions","organizations_url":"https://api.github.com/users/lostbearlabs/orgs","repos_url":"https://api.github.com/users/lostbearlabs/repos","events_url":"https://api.github.com/users/lostbearlabs/events{/privacy}","received_events_url":"https://api.github.com/users/lostbearlabs/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/lostbearlabs/tiny-tlaplus-examples","description":"Very small examples of TLA+ features.","fork":false,"url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples","forks_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/forks","keys_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/keys{/key_id}","collaborators_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/teams","hooks_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/hooks","issue_events_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/issues/events{/number}","events_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/events","assignees_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/assignees{/user}","branches_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/branches{/branch}","tags_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/tags","blobs_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/git/refs{/sha}","trees_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/git/trees{/sha}","statuses_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/statuses/{sha}","languages_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/languages","stargazers_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/stargazers","contributors_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/contributors","subscribers_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/subscribers","subscription_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/subscription","commits_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/commits{/sha}","git_commits_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/git/commits{/sha}","comments_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/comments{/number}","issue_comment_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/issues/comments{/number}","contents_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/contents/{+path}","compare_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/compare/{base}...{head}","merges_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/merges","archive_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/downloads","issues_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/issues{/number}","pulls_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/pulls{/number}","milestones_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/milestones{/number}","notifications_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/labels{/name}","releases_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/releases{/id}","deployments_url":"https://api.github.com/repos/lostbearlabs/tiny-tlaplus-examples/deployments","created_at":"2019-03-11T21:31:49Z","updated_at":"2025-04-06T11:58:23Z","pushed_at":"2019-04-14T16:11:03Z","git_url":"git://github.com/lostbearlabs/tiny-tlaplus-examples.git","ssh_url":"git@github.com:lostbearlabs/tiny-tlaplus-examples.git","clone_url":"https://github.com/lostbearlabs/tiny-tlaplus-examples.git","svn_url":"https://github.com/lostbearlabs/tiny-tlaplus-examples","homepage":null,"size":110,"stargazers_count":42,"watchers_count":42,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":1,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":{"key":"unlicense","name":"The Unlicense","spdx_id":"Unlicense","url":"https://api.github.com/licenses/unlicense","node_id":"MDc6TGljZW5zZTE1"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":1,"open_issues":1,"watchers":42,"default_branch":"master","score":1.0},{"id":368330756,"node_id":"MDEwOlJlcG9zaXRvcnkzNjgzMzA3NTY=","name":"ewd998","full_name":"lemmy/ewd998","private":false,"owner":{"login":"lemmy","id":88777,"node_id":"MDQ6VXNlcjg4Nzc3","avatar_url":"https://avatars.githubusercontent.com/u/88777?v=4","gravatar_id":"","url":"https://api.github.com/users/lemmy","html_url":"https://github.com/lemmy","followers_url":"https://api.github.com/users/lemmy/followers","following_url":"https://api.github.com/users/lemmy/following{/other_user}","gists_url":"https://api.github.com/users/lemmy/gists{/gist_id}","starred_url":"https://api.github.com/users/lemmy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lemmy/subscriptions","organizations_url":"https://api.github.com/users/lemmy/orgs","repos_url":"https://api.github.com/users/lemmy/repos","events_url":"https://api.github.com/users/lemmy/events{/privacy}","received_events_url":"https://api.github.com/users/lemmy/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/lemmy/ewd998","description":"Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF","fork":false,"url":"https://api.github.com/repos/lemmy/ewd998","forks_url":"https://api.github.com/repos/lemmy/ewd998/forks","keys_url":"https://api.github.com/repos/lemmy/ewd998/keys{/key_id}","collaborators_url":"https://api.github.com/repos/lemmy/ewd998/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/lemmy/ewd998/teams","hooks_url":"https://api.github.com/repos/lemmy/ewd998/hooks","issue_events_url":"https://api.github.com/repos/lemmy/ewd998/issues/events{/number}","events_url":"https://api.github.com/repos/lemmy/ewd998/events","assignees_url":"https://api.github.com/repos/lemmy/ewd998/assignees{/user}","branches_url":"https://api.github.com/repos/lemmy/ewd998/branches{/branch}","tags_url":"https://api.github.com/repos/lemmy/ewd998/tags","blobs_url":"https://api.github.com/repos/lemmy/ewd998/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/lemmy/ewd998/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/lemmy/ewd998/git/refs{/sha}","trees_url":"https://api.github.com/repos/lemmy/ewd998/git/trees{/sha}","statuses_url":"https://api.github.com/repos/lemmy/ewd998/statuses/{sha}","languages_url":"https://api.github.com/repos/lemmy/ewd998/languages","stargazers_url":"https://api.github.com/repos/lemmy/ewd998/stargazers","contributors_url":"https://api.github.com/repos/lemmy/ewd998/contributors","subscribers_url":"https://api.github.com/repos/lemmy/ewd998/subscribers","subscription_url":"https://api.github.com/repos/lemmy/ewd998/subscription","commits_url":"https://api.github.com/repos/lemmy/ewd998/commits{/sha}","git_commits_url":"https://api.github.com/repos/lemmy/ewd998/git/commits{/sha}","comments_url":"https://api.github.com/repos/lemmy/ewd998/comments{/number}","issue_comment_url":"https://api.github.com/repos/lemmy/ewd998/issues/comments{/number}","contents_url":"https://api.github.com/repos/lemmy/ewd998/contents/{+path}","compare_url":"https://api.github.com/repos/lemmy/ewd998/compare/{base}...{head}","merges_url":"https://api.github.com/repos/lemmy/ewd998/merges","archive_url":"https://api.github.com/repos/lemmy/ewd998/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/lemmy/ewd998/downloads","issues_url":"https://api.github.com/repos/lemmy/ewd998/issues{/number}","pulls_url":"https://api.github.com/repos/lemmy/ewd998/pulls{/number}","milestones_url":"https://api.github.com/repos/lemmy/ewd998/milestones{/number}","notifications_url":"https://api.github.com/repos/lemmy/ewd998/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/lemmy/ewd998/labels{/name}","releases_url":"https://api.github.com/repos/lemmy/ewd998/releases{/id}","deployments_url":"https://api.github.com/repos/lemmy/ewd998/deployments","created_at":"2021-05-17T21:52:49Z","updated_at":"2024-12-24T20:24:27Z","pushed_at":"2023-04-23T23:53:41Z","git_url":"git://github.com/lemmy/ewd998.git","ssh_url":"git@github.com:lemmy/ewd998.git","clone_url":"https://github.com/lemmy/ewd998.git","svn_url":"https://github.com/lemmy/ewd998","homepage":"","size":1693,"stargazers_count":42,"watchers_count":42,"language":"TLA","has_issues":true,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":13,"mirror_url":null,"archived":true,"disabled":false,"open_issues_count":1,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["liveness","model-checking","refinement","safety","specification","theorem-proving","tlaplus"],"visibility":"public","forks":13,"open_issues":1,"watchers":42,"default_branch":"main","score":1.0},{"id":177089108,"node_id":"MDEwOlJlcG9zaXRvcnkxNzcwODkxMDg=","name":"CRDT-TLA","full_name":"JYwellin/CRDT-TLA","private":false,"owner":{"login":"JYwellin","id":23517785,"node_id":"MDQ6VXNlcjIzNTE3Nzg1","avatar_url":"https://avatars.githubusercontent.com/u/23517785?v=4","gravatar_id":"","url":"https://api.github.com/users/JYwellin","html_url":"https://github.com/JYwellin","followers_url":"https://api.github.com/users/JYwellin/followers","following_url":"https://api.github.com/users/JYwellin/following{/other_user}","gists_url":"https://api.github.com/users/JYwellin/gists{/gist_id}","starred_url":"https://api.github.com/users/JYwellin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JYwellin/subscriptions","organizations_url":"https://api.github.com/users/JYwellin/orgs","repos_url":"https://api.github.com/users/JYwellin/repos","events_url":"https://api.github.com/users/JYwellin/events{/privacy}","received_events_url":"https://api.github.com/users/JYwellin/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/JYwellin/CRDT-TLA","description":"Specifying and Verifying CRDT Protocols using TLA+","fork":false,"url":"https://api.github.com/repos/JYwellin/CRDT-TLA","forks_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/forks","keys_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/keys{/key_id}","collaborators_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/teams","hooks_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/hooks","issue_events_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/issues/events{/number}","events_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/events","assignees_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/assignees{/user}","branches_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/branches{/branch}","tags_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/tags","blobs_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/git/refs{/sha}","trees_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/git/trees{/sha}","statuses_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/statuses/{sha}","languages_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/languages","stargazers_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/stargazers","contributors_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/contributors","subscribers_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/subscribers","subscription_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/subscription","commits_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/commits{/sha}","git_commits_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/git/commits{/sha}","comments_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/comments{/number}","issue_comment_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/issues/comments{/number}","contents_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/contents/{+path}","compare_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/compare/{base}...{head}","merges_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/merges","archive_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/downloads","issues_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/issues{/number}","pulls_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/pulls{/number}","milestones_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/milestones{/number}","notifications_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/labels{/name}","releases_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/releases{/id}","deployments_url":"https://api.github.com/repos/JYwellin/CRDT-TLA/deployments","created_at":"2019-03-22T07:06:18Z","updated_at":"2026-09-13T12:33:38Z","pushed_at":"2021-06-24T14:05:21Z","git_url":"git://github.com/JYwellin/CRDT-TLA.git","ssh_url":"git@github.com:JYwellin/CRDT-TLA.git","clone_url":"https://github.com/JYwellin/CRDT-TLA.git","svn_url":"https://github.com/JYwellin/CRDT-TLA","homepage":"","size":1086187,"stargazers_count":42,"watchers_count":42,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":3,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["crdt-tla","tlaplus","tlc"],"visibility":"public","forks":3,"open_issues":0,"watchers":42,"default_branch":"master","score":1.0},{"id":152388725,"node_id":"MDEwOlJlcG9zaXRvcnkxNTIzODg3MjU=","name":"fbpmn","full_name":"pascalpoizat/fbpmn","private":false,"owner":{"login":"pascalpoizat","id":6471971,"node_id":"MDQ6VXNlcjY0NzE5NzE=","avatar_url":"https://avatars.githubusercontent.com/u/6471971?v=4","gravatar_id":"","url":"https://api.github.com/users/pascalpoizat","html_url":"https://github.com/pascalpoizat","followers_url":"https://api.github.com/users/pascalpoizat/followers","following_url":"https://api.github.com/users/pascalpoizat/following{/other_user}","gists_url":"https://api.github.com/users/pascalpoizat/gists{/gist_id}","starred_url":"https://api.github.com/users/pascalpoizat/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/pascalpoizat/subscriptions","organizations_url":"https://api.github.com/users/pascalpoizat/orgs","repos_url":"https://api.github.com/users/pascalpoizat/repos","events_url":"https://api.github.com/users/pascalpoizat/events{/privacy}","received_events_url":"https://api.github.com/users/pascalpoizat/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/pascalpoizat/fbpmn","description":":microscope: formal tools for BPMN","fork":false,"url":"https://api.github.com/repos/pascalpoizat/fbpmn","forks_url":"https://api.github.com/repos/pascalpoizat/fbpmn/forks","keys_url":"https://api.github.com/repos/pascalpoizat/fbpmn/keys{/key_id}","collaborators_url":"https://api.github.com/repos/pascalpoizat/fbpmn/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/pascalpoizat/fbpmn/teams","hooks_url":"https://api.github.com/repos/pascalpoizat/fbpmn/hooks","issue_events_url":"https://api.github.com/repos/pascalpoizat/fbpmn/issues/events{/number}","events_url":"https://api.github.com/repos/pascalpoizat/fbpmn/events","assignees_url":"https://api.github.com/repos/pascalpoizat/fbpmn/assignees{/user}","branches_url":"https://api.github.com/repos/pascalpoizat/fbpmn/branches{/branch}","tags_url":"https://api.github.com/repos/pascalpoizat/fbpmn/tags","blobs_url":"https://api.github.com/repos/pascalpoizat/fbpmn/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/pascalpoizat/fbpmn/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/pascalpoizat/fbpmn/git/refs{/sha}","trees_url":"https://api.github.com/repos/pascalpoizat/fbpmn/git/trees{/sha}","statuses_url":"https://api.github.com/repos/pascalpoizat/fbpmn/statuses/{sha}","languages_url":"https://api.github.com/repos/pascalpoizat/fbpmn/languages","stargazers_url":"https://api.github.com/repos/pascalpoizat/fbpmn/stargazers","contributors_url":"https://api.github.com/repos/pascalpoizat/fbpmn/contributors","subscribers_url":"https://api.github.com/repos/pascalpoizat/fbpmn/subscribers","subscription_url":"https://api.github.com/repos/pascalpoizat/fbpmn/subscription","commits_url":"https://api.github.com/repos/pascalpoizat/fbpmn/commits{/sha}","git_commits_url":"https://api.github.com/repos/pascalpoizat/fbpmn/git/commits{/sha}","comments_url":"https://api.github.com/repos/pascalpoizat/fbpmn/comments{/number}","issue_comment_url":"https://api.github.com/repos/pascalpoizat/fbpmn/issues/comments{/number}","contents_url":"https://api.github.com/repos/pascalpoizat/fbpmn/contents/{+path}","compare_url":"https://api.github.com/repos/pascalpoizat/fbpmn/compare/{base}...{head}","merges_url":"https://api.github.com/repos/pascalpoizat/fbpmn/merges","archive_url":"https://api.github.com/repos/pascalpoizat/fbpmn/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/pascalpoizat/fbpmn/downloads","issues_url":"https://api.github.com/repos/pascalpoizat/fbpmn/issues{/number}","pulls_url":"https://api.github.com/repos/pascalpoizat/fbpmn/pulls{/number}","milestones_url":"https://api.github.com/repos/pascalpoizat/fbpmn/milestones{/number}","notifications_url":"https://api.github.com/repos/pascalpoizat/fbpmn/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/pascalpoizat/fbpmn/labels{/name}","releases_url":"https://api.github.com/repos/pascalpoizat/fbpmn/releases{/id}","deployments_url":"https://api.github.com/repos/pascalpoizat/fbpmn/deployments","created_at":"2018-10-10T08:26:01Z","updated_at":"2026-06-16T13:59:30Z","pushed_at":"2026-03-04T15:01:20Z","git_url":"git://github.com/pascalpoizat/fbpmn.git","ssh_url":"git@github.com:pascalpoizat/fbpmn.git","clone_url":"https://github.com/pascalpoizat/fbpmn.git","svn_url":"https://github.com/pascalpoizat/fbpmn","homepage":"","size":37342,"stargazers_count":39,"watchers_count":39,"language":"TLA","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":9,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":5,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["alloy","bpmn","research","tlaplus","verification"],"visibility":"public","forks":9,"open_issues":5,"watchers":39,"default_branch":"master","score":1.0}]}