{"total_count":70,"incomplete_results":false,"items":[{"id":33259867,"node_id":"MDEwOlJlcG9zaXRvcnkzMzI1OTg2Nw==","name":"boogie","full_name":"boogie-org/boogie","private":false,"owner":{"login":"boogie-org","id":11760572,"node_id":"MDEyOk9yZ2FuaXphdGlvbjExNzYwNTcy","avatar_url":"https://avatars.githubusercontent.com/u/11760572?v=4","gravatar_id":"","url":"https://api.github.com/users/boogie-org","html_url":"https://github.com/boogie-org","followers_url":"https://api.github.com/users/boogie-org/followers","following_url":"https://api.github.com/users/boogie-org/following{/other_user}","gists_url":"https://api.github.com/users/boogie-org/gists{/gist_id}","starred_url":"https://api.github.com/users/boogie-org/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/boogie-org/subscriptions","organizations_url":"https://api.github.com/users/boogie-org/orgs","repos_url":"https://api.github.com/users/boogie-org/repos","events_url":"https://api.github.com/users/boogie-org/events{/privacy}","received_events_url":"https://api.github.com/users/boogie-org/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/boogie-org/boogie","description":"Boogie","fork":false,"url":"https://api.github.com/repos/boogie-org/boogie","forks_url":"https://api.github.com/repos/boogie-org/boogie/forks","keys_url":"https://api.github.com/repos/boogie-org/boogie/keys{/key_id}","collaborators_url":"https://api.github.com/repos/boogie-org/boogie/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/boogie-org/boogie/teams","hooks_url":"https://api.github.com/repos/boogie-org/boogie/hooks","issue_events_url":"https://api.github.com/repos/boogie-org/boogie/issues/events{/number}","events_url":"https://api.github.com/repos/boogie-org/boogie/events","assignees_url":"https://api.github.com/repos/boogie-org/boogie/assignees{/user}","branches_url":"https://api.github.com/repos/boogie-org/boogie/branches{/branch}","tags_url":"https://api.github.com/repos/boogie-org/boogie/tags","blobs_url":"https://api.github.com/repos/boogie-org/boogie/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/boogie-org/boogie/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/boogie-org/boogie/git/refs{/sha}","trees_url":"https://api.github.com/repos/boogie-org/boogie/git/trees{/sha}","statuses_url":"https://api.github.com/repos/boogie-org/boogie/statuses/{sha}","languages_url":"https://api.github.com/repos/boogie-org/boogie/languages","stargazers_url":"https://api.github.com/repos/boogie-org/boogie/stargazers","contributors_url":"https://api.github.com/repos/boogie-org/boogie/contributors","subscribers_url":"https://api.github.com/repos/boogie-org/boogie/subscribers","subscription_url":"https://api.github.com/repos/boogie-org/boogie/subscription","commits_url":"https://api.github.com/repos/boogie-org/boogie/commits{/sha}","git_commits_url":"https://api.github.com/repos/boogie-org/boogie/git/commits{/sha}","comments_url":"https://api.github.com/repos/boogie-org/boogie/comments{/number}","issue_comment_url":"https://api.github.com/repos/boogie-org/boogie/issues/comments{/number}","contents_url":"https://api.github.com/repos/boogie-org/boogie/contents/{+path}","compare_url":"https://api.github.com/repos/boogie-org/boogie/compare/{base}...{head}","merges_url":"https://api.github.com/repos/boogie-org/boogie/merges","archive_url":"https://api.github.com/repos/boogie-org/boogie/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/boogie-org/boogie/downloads","issues_url":"https://api.github.com/repos/boogie-org/boogie/issues{/number}","pulls_url":"https://api.github.com/repos/boogie-org/boogie/pulls{/number}","milestones_url":"https://api.github.com/repos/boogie-org/boogie/milestones{/number}","notifications_url":"https://api.github.com/repos/boogie-org/boogie/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/boogie-org/boogie/labels{/name}","releases_url":"https://api.github.com/repos/boogie-org/boogie/releases{/id}","deployments_url":"https://api.github.com/repos/boogie-org/boogie/deployments","created_at":"2015-04-01T16:46:31Z","updated_at":"2026-04-14T15:19:57Z","pushed_at":"2026-04-19T01:50:20Z","git_url":"git://github.com/boogie-org/boogie.git","ssh_url":"git@github.com:boogie-org/boogie.git","clone_url":"https://github.com/boogie-org/boogie.git","svn_url":"https://github.com/boogie-org/boogie","homepage":"http://research.microsoft.com/en-us/projects/boogie/","size":105819,"stargazers_count":575,"watchers_count":575,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":true,"forks_count":123,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":44,"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":123,"open_issues":44,"watchers":575,"default_branch":"master","score":1.0},{"id":56342516,"node_id":"MDEwOlJlcG9zaXRvcnk1NjM0MjUxNg==","name":"corral","full_name":"boogie-org/corral","private":false,"owner":{"login":"boogie-org","id":11760572,"node_id":"MDEyOk9yZ2FuaXphdGlvbjExNzYwNTcy","avatar_url":"https://avatars.githubusercontent.com/u/11760572?v=4","gravatar_id":"","url":"https://api.github.com/users/boogie-org","html_url":"https://github.com/boogie-org","followers_url":"https://api.github.com/users/boogie-org/followers","following_url":"https://api.github.com/users/boogie-org/following{/other_user}","gists_url":"https://api.github.com/users/boogie-org/gists{/gist_id}","starred_url":"https://api.github.com/users/boogie-org/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/boogie-org/subscriptions","organizations_url":"https://api.github.com/users/boogie-org/orgs","repos_url":"https://api.github.com/users/boogie-org/repos","events_url":"https://api.github.com/users/boogie-org/events{/privacy}","received_events_url":"https://api.github.com/users/boogie-org/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/boogie-org/corral","description":"solver for the reachability modulo theories problem","fork":false,"url":"https://api.github.com/repos/boogie-org/corral","forks_url":"https://api.github.com/repos/boogie-org/corral/forks","keys_url":"https://api.github.com/repos/boogie-org/corral/keys{/key_id}","collaborators_url":"https://api.github.com/repos/boogie-org/corral/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/boogie-org/corral/teams","hooks_url":"https://api.github.com/repos/boogie-org/corral/hooks","issue_events_url":"https://api.github.com/repos/boogie-org/corral/issues/events{/number}","events_url":"https://api.github.com/repos/boogie-org/corral/events","assignees_url":"https://api.github.com/repos/boogie-org/corral/assignees{/user}","branches_url":"https://api.github.com/repos/boogie-org/corral/branches{/branch}","tags_url":"https://api.github.com/repos/boogie-org/corral/tags","blobs_url":"https://api.github.com/repos/boogie-org/corral/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/boogie-org/corral/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/boogie-org/corral/git/refs{/sha}","trees_url":"https://api.github.com/repos/boogie-org/corral/git/trees{/sha}","statuses_url":"https://api.github.com/repos/boogie-org/corral/statuses/{sha}","languages_url":"https://api.github.com/repos/boogie-org/corral/languages","stargazers_url":"https://api.github.com/repos/boogie-org/corral/stargazers","contributors_url":"https://api.github.com/repos/boogie-org/corral/contributors","subscribers_url":"https://api.github.com/repos/boogie-org/corral/subscribers","subscription_url":"https://api.github.com/repos/boogie-org/corral/subscription","commits_url":"https://api.github.com/repos/boogie-org/corral/commits{/sha}","git_commits_url":"https://api.github.com/repos/boogie-org/corral/git/commits{/sha}","comments_url":"https://api.github.com/repos/boogie-org/corral/comments{/number}","issue_comment_url":"https://api.github.com/repos/boogie-org/corral/issues/comments{/number}","contents_url":"https://api.github.com/repos/boogie-org/corral/contents/{+path}","compare_url":"https://api.github.com/repos/boogie-org/corral/compare/{base}...{head}","merges_url":"https://api.github.com/repos/boogie-org/corral/merges","archive_url":"https://api.github.com/repos/boogie-org/corral/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/boogie-org/corral/downloads","issues_url":"https://api.github.com/repos/boogie-org/corral/issues{/number}","pulls_url":"https://api.github.com/repos/boogie-org/corral/pulls{/number}","milestones_url":"https://api.github.com/repos/boogie-org/corral/milestones{/number}","notifications_url":"https://api.github.com/repos/boogie-org/corral/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/boogie-org/corral/labels{/name}","releases_url":"https://api.github.com/repos/boogie-org/corral/releases{/id}","deployments_url":"https://api.github.com/repos/boogie-org/corral/deployments","created_at":"2016-04-15T18:49:16Z","updated_at":"2026-02-16T17:23:32Z","pushed_at":"2026-03-08T05:34:49Z","git_url":"git://github.com/boogie-org/corral.git","ssh_url":"git@github.com:boogie-org/corral.git","clone_url":"https://github.com/boogie-org/corral.git","svn_url":"https://github.com/boogie-org/corral","homepage":"","size":275388,"stargazers_count":63,"watchers_count":63,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":31,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":40,"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":31,"open_issues":40,"watchers":63,"default_branch":"master","score":1.0},{"id":271285211,"node_id":"MDEwOlJlcG9zaXRvcnkyNzEyODUyMTE=","name":"Software-Analysis-PAVT","full_name":"codersguild/Software-Analysis-PAVT","private":false,"owner":{"login":"codersguild","id":25129399,"node_id":"MDQ6VXNlcjI1MTI5Mzk5","avatar_url":"https://avatars.githubusercontent.com/u/25129399?v=4","gravatar_id":"","url":"https://api.github.com/users/codersguild","html_url":"https://github.com/codersguild","followers_url":"https://api.github.com/users/codersguild/followers","following_url":"https://api.github.com/users/codersguild/following{/other_user}","gists_url":"https://api.github.com/users/codersguild/gists{/gist_id}","starred_url":"https://api.github.com/users/codersguild/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/codersguild/subscriptions","organizations_url":"https://api.github.com/users/codersguild/orgs","repos_url":"https://api.github.com/users/codersguild/repos","events_url":"https://api.github.com/users/codersguild/events{/privacy}","received_events_url":"https://api.github.com/users/codersguild/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/codersguild/Software-Analysis-PAVT","description":"Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO). ","fork":false,"url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT","forks_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/forks","keys_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/keys{/key_id}","collaborators_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/teams","hooks_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/hooks","issue_events_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/issues/events{/number}","events_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/events","assignees_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/assignees{/user}","branches_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/branches{/branch}","tags_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/tags","blobs_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/git/refs{/sha}","trees_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/git/trees{/sha}","statuses_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/statuses/{sha}","languages_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/languages","stargazers_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/stargazers","contributors_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/contributors","subscribers_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/subscribers","subscription_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/subscription","commits_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/commits{/sha}","git_commits_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/git/commits{/sha}","comments_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/comments{/number}","issue_comment_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/issues/comments{/number}","contents_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/contents/{+path}","compare_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/compare/{base}...{head}","merges_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/merges","archive_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/downloads","issues_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/issues{/number}","pulls_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/pulls{/number}","milestones_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/milestones{/number}","notifications_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/labels{/name}","releases_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/releases{/id}","deployments_url":"https://api.github.com/repos/codersguild/Software-Analysis-PAVT/deployments","created_at":"2020-06-10T13:31:19Z","updated_at":"2026-03-20T15:57:15Z","pushed_at":"2023-04-09T14:57:24Z","git_url":"git://github.com/codersguild/Software-Analysis-PAVT.git","ssh_url":"git@github.com:codersguild/Software-Analysis-PAVT.git","clone_url":"https://github.com/codersguild/Software-Analysis-PAVT.git","svn_url":"https://github.com/codersguild/Software-Analysis-PAVT","homepage":"","size":22955,"stargazers_count":41,"watchers_count":41,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":6,"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":["analysis","boogie","cbmc","cvc4","dafny","dynamic-taint-analysis","fuzzing","hacktoberfest","hacktoberfest2021","hoare-logic","llvm","sudoku-solver","uclid","uclid5","verification","z3-smt-solver","z3py"],"visibility":"public","forks":6,"open_issues":0,"watchers":41,"default_branch":"master","score":1.0},{"id":106054283,"node_id":"MDEwOlJlcG9zaXRvcnkxMDYwNTQyODM=","name":"symdiff","full_name":"boogie-org/symdiff","private":false,"owner":{"login":"boogie-org","id":11760572,"node_id":"MDEyOk9yZ2FuaXphdGlvbjExNzYwNTcy","avatar_url":"https://avatars.githubusercontent.com/u/11760572?v=4","gravatar_id":"","url":"https://api.github.com/users/boogie-org","html_url":"https://github.com/boogie-org","followers_url":"https://api.github.com/users/boogie-org/followers","following_url":"https://api.github.com/users/boogie-org/following{/other_user}","gists_url":"https://api.github.com/users/boogie-org/gists{/gist_id}","starred_url":"https://api.github.com/users/boogie-org/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/boogie-org/subscriptions","organizations_url":"https://api.github.com/users/boogie-org/orgs","repos_url":"https://api.github.com/users/boogie-org/repos","events_url":"https://api.github.com/users/boogie-org/events{/privacy}","received_events_url":"https://api.github.com/users/boogie-org/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/boogie-org/symdiff","description":"SymDiff-Differential-Program-Verifier","fork":false,"url":"https://api.github.com/repos/boogie-org/symdiff","forks_url":"https://api.github.com/repos/boogie-org/symdiff/forks","keys_url":"https://api.github.com/repos/boogie-org/symdiff/keys{/key_id}","collaborators_url":"https://api.github.com/repos/boogie-org/symdiff/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/boogie-org/symdiff/teams","hooks_url":"https://api.github.com/repos/boogie-org/symdiff/hooks","issue_events_url":"https://api.github.com/repos/boogie-org/symdiff/issues/events{/number}","events_url":"https://api.github.com/repos/boogie-org/symdiff/events","assignees_url":"https://api.github.com/repos/boogie-org/symdiff/assignees{/user}","branches_url":"https://api.github.com/repos/boogie-org/symdiff/branches{/branch}","tags_url":"https://api.github.com/repos/boogie-org/symdiff/tags","blobs_url":"https://api.github.com/repos/boogie-org/symdiff/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/boogie-org/symdiff/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/boogie-org/symdiff/git/refs{/sha}","trees_url":"https://api.github.com/repos/boogie-org/symdiff/git/trees{/sha}","statuses_url":"https://api.github.com/repos/boogie-org/symdiff/statuses/{sha}","languages_url":"https://api.github.com/repos/boogie-org/symdiff/languages","stargazers_url":"https://api.github.com/repos/boogie-org/symdiff/stargazers","contributors_url":"https://api.github.com/repos/boogie-org/symdiff/contributors","subscribers_url":"https://api.github.com/repos/boogie-org/symdiff/subscribers","subscription_url":"https://api.github.com/repos/boogie-org/symdiff/subscription","commits_url":"https://api.github.com/repos/boogie-org/symdiff/commits{/sha}","git_commits_url":"https://api.github.com/repos/boogie-org/symdiff/git/commits{/sha}","comments_url":"https://api.github.com/repos/boogie-org/symdiff/comments{/number}","issue_comment_url":"https://api.github.com/repos/boogie-org/symdiff/issues/comments{/number}","contents_url":"https://api.github.com/repos/boogie-org/symdiff/contents/{+path}","compare_url":"https://api.github.com/repos/boogie-org/symdiff/compare/{base}...{head}","merges_url":"https://api.github.com/repos/boogie-org/symdiff/merges","archive_url":"https://api.github.com/repos/boogie-org/symdiff/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/boogie-org/symdiff/downloads","issues_url":"https://api.github.com/repos/boogie-org/symdiff/issues{/number}","pulls_url":"https://api.github.com/repos/boogie-org/symdiff/pulls{/number}","milestones_url":"https://api.github.com/repos/boogie-org/symdiff/milestones{/number}","notifications_url":"https://api.github.com/repos/boogie-org/symdiff/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/boogie-org/symdiff/labels{/name}","releases_url":"https://api.github.com/repos/boogie-org/symdiff/releases{/id}","deployments_url":"https://api.github.com/repos/boogie-org/symdiff/deployments","created_at":"2017-10-06T22:09:58Z","updated_at":"2025-11-27T17:42:19Z","pushed_at":"2025-08-21T19:00:17Z","git_url":"git://github.com/boogie-org/symdiff.git","ssh_url":"git@github.com:boogie-org/symdiff.git","clone_url":"https://github.com/boogie-org/symdiff.git","svn_url":"https://github.com/boogie-org/symdiff","homepage":"https://www.microsoft.com/en-us/research/project/symdiff-differential-program-verifier/","size":13863,"stargazers_count":38,"watchers_count":38,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":9,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":3,"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":["regression-verification","relational-verification","semantic-diff"],"visibility":"public","forks":9,"open_issues":3,"watchers":38,"default_branch":"master","score":1.0},{"id":20390440,"node_id":"MDEwOlJlcG9zaXRvcnkyMDM5MDQ0MA==","name":"boogieamp","full_name":"boogie-org/boogieamp","private":false,"owner":{"login":"boogie-org","id":11760572,"node_id":"MDEyOk9yZ2FuaXphdGlvbjExNzYwNTcy","avatar_url":"https://avatars.githubusercontent.com/u/11760572?v=4","gravatar_id":"","url":"https://api.github.com/users/boogie-org","html_url":"https://github.com/boogie-org","followers_url":"https://api.github.com/users/boogie-org/followers","following_url":"https://api.github.com/users/boogie-org/following{/other_user}","gists_url":"https://api.github.com/users/boogie-org/gists{/gist_id}","starred_url":"https://api.github.com/users/boogie-org/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/boogie-org/subscriptions","organizations_url":"https://api.github.com/users/boogie-org/orgs","repos_url":"https://api.github.com/users/boogie-org/repos","events_url":"https://api.github.com/users/boogie-org/events{/privacy}","received_events_url":"https://api.github.com/users/boogie-org/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/boogie-org/boogieamp","description":"Java parser for the Boogie intermediate verification language","fork":false,"url":"https://api.github.com/repos/boogie-org/boogieamp","forks_url":"https://api.github.com/repos/boogie-org/boogieamp/forks","keys_url":"https://api.github.com/repos/boogie-org/boogieamp/keys{/key_id}","collaborators_url":"https://api.github.com/repos/boogie-org/boogieamp/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/boogie-org/boogieamp/teams","hooks_url":"https://api.github.com/repos/boogie-org/boogieamp/hooks","issue_events_url":"https://api.github.com/repos/boogie-org/boogieamp/issues/events{/number}","events_url":"https://api.github.com/repos/boogie-org/boogieamp/events","assignees_url":"https://api.github.com/repos/boogie-org/boogieamp/assignees{/user}","branches_url":"https://api.github.com/repos/boogie-org/boogieamp/branches{/branch}","tags_url":"https://api.github.com/repos/boogie-org/boogieamp/tags","blobs_url":"https://api.github.com/repos/boogie-org/boogieamp/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/boogie-org/boogieamp/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/boogie-org/boogieamp/git/refs{/sha}","trees_url":"https://api.github.com/repos/boogie-org/boogieamp/git/trees{/sha}","statuses_url":"https://api.github.com/repos/boogie-org/boogieamp/statuses/{sha}","languages_url":"https://api.github.com/repos/boogie-org/boogieamp/languages","stargazers_url":"https://api.github.com/repos/boogie-org/boogieamp/stargazers","contributors_url":"https://api.github.com/repos/boogie-org/boogieamp/contributors","subscribers_url":"https://api.github.com/repos/boogie-org/boogieamp/subscribers","subscription_url":"https://api.github.com/repos/boogie-org/boogieamp/subscription","commits_url":"https://api.github.com/repos/boogie-org/boogieamp/commits{/sha}","git_commits_url":"https://api.github.com/repos/boogie-org/boogieamp/git/commits{/sha}","comments_url":"https://api.github.com/repos/boogie-org/boogieamp/comments{/number}","issue_comment_url":"https://api.github.com/repos/boogie-org/boogieamp/issues/comments{/number}","contents_url":"https://api.github.com/repos/boogie-org/boogieamp/contents/{+path}","compare_url":"https://api.github.com/repos/boogie-org/boogieamp/compare/{base}...{head}","merges_url":"https://api.github.com/repos/boogie-org/boogieamp/merges","archive_url":"https://api.github.com/repos/boogie-org/boogieamp/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/boogie-org/boogieamp/downloads","issues_url":"https://api.github.com/repos/boogie-org/boogieamp/issues{/number}","pulls_url":"https://api.github.com/repos/boogie-org/boogieamp/pulls{/number}","milestones_url":"https://api.github.com/repos/boogie-org/boogieamp/milestones{/number}","notifications_url":"https://api.github.com/repos/boogie-org/boogieamp/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/boogie-org/boogieamp/labels{/name}","releases_url":"https://api.github.com/repos/boogie-org/boogieamp/releases{/id}","deployments_url":"https://api.github.com/repos/boogie-org/boogieamp/deployments","created_at":"2014-06-02T01:31:52Z","updated_at":"2024-08-23T20:37:01Z","pushed_at":"2024-04-15T17:47:53Z","git_url":"git://github.com/boogie-org/boogieamp.git","ssh_url":"git@github.com:boogie-org/boogieamp.git","clone_url":"https://github.com/boogie-org/boogieamp.git","svn_url":"https://github.com/boogie-org/boogieamp","homepage":null,"size":10364,"stargazers_count":11,"watchers_count":11,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":2,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":2,"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":2,"open_issues":2,"watchers":11,"default_branch":"master","score":1.0},{"id":580760541,"node_id":"R_kgDOIp2z3Q","name":"TAP-lambda","full_name":"arxgy/TAP-lambda","private":false,"owner":{"login":"arxgy","id":74357419,"node_id":"MDQ6VXNlcjc0MzU3NDE5","avatar_url":"https://avatars.githubusercontent.com/u/74357419?v=4","gravatar_id":"","url":"https://api.github.com/users/arxgy","html_url":"https://github.com/arxgy","followers_url":"https://api.github.com/users/arxgy/followers","following_url":"https://api.github.com/users/arxgy/following{/other_user}","gists_url":"https://api.github.com/users/arxgy/gists{/gist_id}","starred_url":"https://api.github.com/users/arxgy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/arxgy/subscriptions","organizations_url":"https://api.github.com/users/arxgy/orgs","repos_url":"https://api.github.com/users/arxgy/repos","events_url":"https://api.github.com/users/arxgy/events{/privacy}","received_events_url":"https://api.github.com/users/arxgy/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/arxgy/TAP-lambda","description":"Formal Model of \"A Formal Approach to Multi-Layered Privileges for Enclaves\" (NDSS 2025)","fork":false,"url":"https://api.github.com/repos/arxgy/TAP-lambda","forks_url":"https://api.github.com/repos/arxgy/TAP-lambda/forks","keys_url":"https://api.github.com/repos/arxgy/TAP-lambda/keys{/key_id}","collaborators_url":"https://api.github.com/repos/arxgy/TAP-lambda/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/arxgy/TAP-lambda/teams","hooks_url":"https://api.github.com/repos/arxgy/TAP-lambda/hooks","issue_events_url":"https://api.github.com/repos/arxgy/TAP-lambda/issues/events{/number}","events_url":"https://api.github.com/repos/arxgy/TAP-lambda/events","assignees_url":"https://api.github.com/repos/arxgy/TAP-lambda/assignees{/user}","branches_url":"https://api.github.com/repos/arxgy/TAP-lambda/branches{/branch}","tags_url":"https://api.github.com/repos/arxgy/TAP-lambda/tags","blobs_url":"https://api.github.com/repos/arxgy/TAP-lambda/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/arxgy/TAP-lambda/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/arxgy/TAP-lambda/git/refs{/sha}","trees_url":"https://api.github.com/repos/arxgy/TAP-lambda/git/trees{/sha}","statuses_url":"https://api.github.com/repos/arxgy/TAP-lambda/statuses/{sha}","languages_url":"https://api.github.com/repos/arxgy/TAP-lambda/languages","stargazers_url":"https://api.github.com/repos/arxgy/TAP-lambda/stargazers","contributors_url":"https://api.github.com/repos/arxgy/TAP-lambda/contributors","subscribers_url":"https://api.github.com/repos/arxgy/TAP-lambda/subscribers","subscription_url":"https://api.github.com/repos/arxgy/TAP-lambda/subscription","commits_url":"https://api.github.com/repos/arxgy/TAP-lambda/commits{/sha}","git_commits_url":"https://api.github.com/repos/arxgy/TAP-lambda/git/commits{/sha}","comments_url":"https://api.github.com/repos/arxgy/TAP-lambda/comments{/number}","issue_comment_url":"https://api.github.com/repos/arxgy/TAP-lambda/issues/comments{/number}","contents_url":"https://api.github.com/repos/arxgy/TAP-lambda/contents/{+path}","compare_url":"https://api.github.com/repos/arxgy/TAP-lambda/compare/{base}...{head}","merges_url":"https://api.github.com/repos/arxgy/TAP-lambda/merges","archive_url":"https://api.github.com/repos/arxgy/TAP-lambda/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/arxgy/TAP-lambda/downloads","issues_url":"https://api.github.com/repos/arxgy/TAP-lambda/issues{/number}","pulls_url":"https://api.github.com/repos/arxgy/TAP-lambda/pulls{/number}","milestones_url":"https://api.github.com/repos/arxgy/TAP-lambda/milestones{/number}","notifications_url":"https://api.github.com/repos/arxgy/TAP-lambda/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/arxgy/TAP-lambda/labels{/name}","releases_url":"https://api.github.com/repos/arxgy/TAP-lambda/releases{/id}","deployments_url":"https://api.github.com/repos/arxgy/TAP-lambda/deployments","created_at":"2022-12-21T11:32:47Z","updated_at":"2025-11-29T05:53:05Z","pushed_at":"2024-04-28T17:52:31Z","git_url":"git://github.com/arxgy/TAP-lambda.git","ssh_url":"git@github.com:arxgy/TAP-lambda.git","clone_url":"https://github.com/arxgy/TAP-lambda.git","svn_url":"https://github.com/arxgy/TAP-lambda","homepage":"","size":368,"stargazers_count":7,"watchers_count":7,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":0,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"gpl-3.0","name":"GNU General Public License v3.0","spdx_id":"GPL-3.0","url":"https://api.github.com/licenses/gpl-3.0","node_id":"MDc6TGljZW5zZTk="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":0,"open_issues":0,"watchers":7,"default_branch":"master","score":1.0},{"id":255151763,"node_id":"MDEwOlJlcG9zaXRvcnkyNTUxNTE3NjM=","name":"boogie-semantics","full_name":"kframework/boogie-semantics","private":false,"owner":{"login":"kframework","id":5104335,"node_id":"MDEyOk9yZ2FuaXphdGlvbjUxMDQzMzU=","avatar_url":"https://avatars.githubusercontent.com/u/5104335?v=4","gravatar_id":"","url":"https://api.github.com/users/kframework","html_url":"https://github.com/kframework","followers_url":"https://api.github.com/users/kframework/followers","following_url":"https://api.github.com/users/kframework/following{/other_user}","gists_url":"https://api.github.com/users/kframework/gists{/gist_id}","starred_url":"https://api.github.com/users/kframework/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kframework/subscriptions","organizations_url":"https://api.github.com/users/kframework/orgs","repos_url":"https://api.github.com/users/kframework/repos","events_url":"https://api.github.com/users/kframework/events{/privacy}","received_events_url":"https://api.github.com/users/kframework/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/kframework/boogie-semantics","description":null,"fork":false,"url":"https://api.github.com/repos/kframework/boogie-semantics","forks_url":"https://api.github.com/repos/kframework/boogie-semantics/forks","keys_url":"https://api.github.com/repos/kframework/boogie-semantics/keys{/key_id}","collaborators_url":"https://api.github.com/repos/kframework/boogie-semantics/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/kframework/boogie-semantics/teams","hooks_url":"https://api.github.com/repos/kframework/boogie-semantics/hooks","issue_events_url":"https://api.github.com/repos/kframework/boogie-semantics/issues/events{/number}","events_url":"https://api.github.com/repos/kframework/boogie-semantics/events","assignees_url":"https://api.github.com/repos/kframework/boogie-semantics/assignees{/user}","branches_url":"https://api.github.com/repos/kframework/boogie-semantics/branches{/branch}","tags_url":"https://api.github.com/repos/kframework/boogie-semantics/tags","blobs_url":"https://api.github.com/repos/kframework/boogie-semantics/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/kframework/boogie-semantics/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/kframework/boogie-semantics/git/refs{/sha}","trees_url":"https://api.github.com/repos/kframework/boogie-semantics/git/trees{/sha}","statuses_url":"https://api.github.com/repos/kframework/boogie-semantics/statuses/{sha}","languages_url":"https://api.github.com/repos/kframework/boogie-semantics/languages","stargazers_url":"https://api.github.com/repos/kframework/boogie-semantics/stargazers","contributors_url":"https://api.github.com/repos/kframework/boogie-semantics/contributors","subscribers_url":"https://api.github.com/repos/kframework/boogie-semantics/subscribers","subscription_url":"https://api.github.com/repos/kframework/boogie-semantics/subscription","commits_url":"https://api.github.com/repos/kframework/boogie-semantics/commits{/sha}","git_commits_url":"https://api.github.com/repos/kframework/boogie-semantics/git/commits{/sha}","comments_url":"https://api.github.com/repos/kframework/boogie-semantics/comments{/number}","issue_comment_url":"https://api.github.com/repos/kframework/boogie-semantics/issues/comments{/number}","contents_url":"https://api.github.com/repos/kframework/boogie-semantics/contents/{+path}","compare_url":"https://api.github.com/repos/kframework/boogie-semantics/compare/{base}...{head}","merges_url":"https://api.github.com/repos/kframework/boogie-semantics/merges","archive_url":"https://api.github.com/repos/kframework/boogie-semantics/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/kframework/boogie-semantics/downloads","issues_url":"https://api.github.com/repos/kframework/boogie-semantics/issues{/number}","pulls_url":"https://api.github.com/repos/kframework/boogie-semantics/pulls{/number}","milestones_url":"https://api.github.com/repos/kframework/boogie-semantics/milestones{/number}","notifications_url":"https://api.github.com/repos/kframework/boogie-semantics/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/kframework/boogie-semantics/labels{/name}","releases_url":"https://api.github.com/repos/kframework/boogie-semantics/releases{/id}","deployments_url":"https://api.github.com/repos/kframework/boogie-semantics/deployments","created_at":"2020-04-12T19:08:05Z","updated_at":"2025-12-07T23:39:37Z","pushed_at":"2023-11-02T14:26:10Z","git_url":"git://github.com/kframework/boogie-semantics.git","ssh_url":"git@github.com:kframework/boogie-semantics.git","clone_url":"https://github.com/kframework/boogie-semantics.git","svn_url":"https://github.com/kframework/boogie-semantics","homepage":null,"size":691,"stargazers_count":7,"watchers_count":7,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":1,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":4,"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":1,"open_issues":4,"watchers":7,"default_branch":"master","score":1.0},{"id":17609648,"node_id":"MDEwOlJlcG9zaXRvcnkxNzYwOTY0OA==","name":"bam-bam-boogieman","full_name":"michael-emmi/bam-bam-boogieman","private":false,"owner":{"login":"michael-emmi","id":1457498,"node_id":"MDQ6VXNlcjE0NTc0OTg=","avatar_url":"https://avatars.githubusercontent.com/u/1457498?v=4","gravatar_id":"","url":"https://api.github.com/users/michael-emmi","html_url":"https://github.com/michael-emmi","followers_url":"https://api.github.com/users/michael-emmi/followers","following_url":"https://api.github.com/users/michael-emmi/following{/other_user}","gists_url":"https://api.github.com/users/michael-emmi/gists{/gist_id}","starred_url":"https://api.github.com/users/michael-emmi/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/michael-emmi/subscriptions","organizations_url":"https://api.github.com/users/michael-emmi/orgs","repos_url":"https://api.github.com/users/michael-emmi/repos","events_url":"https://api.github.com/users/michael-emmi/events{/privacy}","received_events_url":"https://api.github.com/users/michael-emmi/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/michael-emmi/bam-bam-boogieman","description":"Boogie AST Manipulator","fork":false,"url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman","forks_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/forks","keys_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/keys{/key_id}","collaborators_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/teams","hooks_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/hooks","issue_events_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/issues/events{/number}","events_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/events","assignees_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/assignees{/user}","branches_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/branches{/branch}","tags_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/tags","blobs_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/git/refs{/sha}","trees_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/git/trees{/sha}","statuses_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/statuses/{sha}","languages_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/languages","stargazers_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/stargazers","contributors_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/contributors","subscribers_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/subscribers","subscription_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/subscription","commits_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/commits{/sha}","git_commits_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/git/commits{/sha}","comments_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/comments{/number}","issue_comment_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/issues/comments{/number}","contents_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/contents/{+path}","compare_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/compare/{base}...{head}","merges_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/merges","archive_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/downloads","issues_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/issues{/number}","pulls_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/pulls{/number}","milestones_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/milestones{/number}","notifications_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/labels{/name}","releases_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/releases{/id}","deployments_url":"https://api.github.com/repos/michael-emmi/bam-bam-boogieman/deployments","created_at":"2014-03-10T21:44:15Z","updated_at":"2025-07-29T13:44:31Z","pushed_at":"2022-03-18T20:54:51Z","git_url":"git://github.com/michael-emmi/bam-bam-boogieman.git","ssh_url":"git@github.com:michael-emmi/bam-bam-boogieman.git","clone_url":"https://github.com/michael-emmi/bam-bam-boogieman.git","svn_url":"https://github.com/michael-emmi/bam-bam-boogieman","homepage":"","size":835,"stargazers_count":5,"watchers_count":5,"language":"Boogie","has_issues":false,"has_projects":false,"has_downloads":true,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":7,"mirror_url":null,"archived":true,"disabled":false,"open_issues_count":6,"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":["boogie","program-transformations"],"visibility":"public","forks":7,"open_issues":6,"watchers":5,"default_branch":"master","score":1.0},{"id":559250559,"node_id":"R_kgDOIVV8fw","name":"cuvee","full_name":"gernst/cuvee","private":false,"owner":{"login":"gernst","id":272746,"node_id":"MDQ6VXNlcjI3Mjc0Ng==","avatar_url":"https://avatars.githubusercontent.com/u/272746?v=4","gravatar_id":"","url":"https://api.github.com/users/gernst","html_url":"https://github.com/gernst","followers_url":"https://api.github.com/users/gernst/followers","following_url":"https://api.github.com/users/gernst/following{/other_user}","gists_url":"https://api.github.com/users/gernst/gists{/gist_id}","starred_url":"https://api.github.com/users/gernst/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gernst/subscriptions","organizations_url":"https://api.github.com/users/gernst/orgs","repos_url":"https://api.github.com/users/gernst/repos","events_url":"https://api.github.com/users/gernst/events{/privacy}","received_events_url":"https://api.github.com/users/gernst/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/gernst/cuvee","description":"A tool for Boogie and SMT-LIB engineering","fork":false,"url":"https://api.github.com/repos/gernst/cuvee","forks_url":"https://api.github.com/repos/gernst/cuvee/forks","keys_url":"https://api.github.com/repos/gernst/cuvee/keys{/key_id}","collaborators_url":"https://api.github.com/repos/gernst/cuvee/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/gernst/cuvee/teams","hooks_url":"https://api.github.com/repos/gernst/cuvee/hooks","issue_events_url":"https://api.github.com/repos/gernst/cuvee/issues/events{/number}","events_url":"https://api.github.com/repos/gernst/cuvee/events","assignees_url":"https://api.github.com/repos/gernst/cuvee/assignees{/user}","branches_url":"https://api.github.com/repos/gernst/cuvee/branches{/branch}","tags_url":"https://api.github.com/repos/gernst/cuvee/tags","blobs_url":"https://api.github.com/repos/gernst/cuvee/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/gernst/cuvee/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/gernst/cuvee/git/refs{/sha}","trees_url":"https://api.github.com/repos/gernst/cuvee/git/trees{/sha}","statuses_url":"https://api.github.com/repos/gernst/cuvee/statuses/{sha}","languages_url":"https://api.github.com/repos/gernst/cuvee/languages","stargazers_url":"https://api.github.com/repos/gernst/cuvee/stargazers","contributors_url":"https://api.github.com/repos/gernst/cuvee/contributors","subscribers_url":"https://api.github.com/repos/gernst/cuvee/subscribers","subscription_url":"https://api.github.com/repos/gernst/cuvee/subscription","commits_url":"https://api.github.com/repos/gernst/cuvee/commits{/sha}","git_commits_url":"https://api.github.com/repos/gernst/cuvee/git/commits{/sha}","comments_url":"https://api.github.com/repos/gernst/cuvee/comments{/number}","issue_comment_url":"https://api.github.com/repos/gernst/cuvee/issues/comments{/number}","contents_url":"https://api.github.com/repos/gernst/cuvee/contents/{+path}","compare_url":"https://api.github.com/repos/gernst/cuvee/compare/{base}...{head}","merges_url":"https://api.github.com/repos/gernst/cuvee/merges","archive_url":"https://api.github.com/repos/gernst/cuvee/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/gernst/cuvee/downloads","issues_url":"https://api.github.com/repos/gernst/cuvee/issues{/number}","pulls_url":"https://api.github.com/repos/gernst/cuvee/pulls{/number}","milestones_url":"https://api.github.com/repos/gernst/cuvee/milestones{/number}","notifications_url":"https://api.github.com/repos/gernst/cuvee/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/gernst/cuvee/labels{/name}","releases_url":"https://api.github.com/repos/gernst/cuvee/releases{/id}","deployments_url":"https://api.github.com/repos/gernst/cuvee/deployments","created_at":"2022-10-29T14:28:17Z","updated_at":"2025-11-19T14:32:42Z","pushed_at":"2025-10-30T15:29:05Z","git_url":"git://github.com/gernst/cuvee.git","ssh_url":"git@github.com:gernst/cuvee.git","clone_url":"https://github.com/gernst/cuvee.git","svn_url":"https://github.com/gernst/cuvee","homepage":null,"size":46543,"stargazers_count":5,"watchers_count":5,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":2,"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":2,"open_issues":0,"watchers":5,"default_branch":"main","score":1.0},{"id":369522570,"node_id":"MDEwOlJlcG9zaXRvcnkzNjk1MjI1NzA=","name":"tornado-vote","full_name":"ananas-block/tornado-vote","private":false,"owner":{"login":"ananas-block","id":58553958,"node_id":"MDQ6VXNlcjU4NTUzOTU4","avatar_url":"https://avatars.githubusercontent.com/u/58553958?v=4","gravatar_id":"","url":"https://api.github.com/users/ananas-block","html_url":"https://github.com/ananas-block","followers_url":"https://api.github.com/users/ananas-block/followers","following_url":"https://api.github.com/users/ananas-block/following{/other_user}","gists_url":"https://api.github.com/users/ananas-block/gists{/gist_id}","starred_url":"https://api.github.com/users/ananas-block/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ananas-block/subscriptions","organizations_url":"https://api.github.com/users/ananas-block/orgs","repos_url":"https://api.github.com/users/ananas-block/repos","events_url":"https://api.github.com/users/ananas-block/events{/privacy}","received_events_url":"https://api.github.com/users/ananas-block/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/ananas-block/tornado-vote","description":null,"fork":false,"url":"https://api.github.com/repos/ananas-block/tornado-vote","forks_url":"https://api.github.com/repos/ananas-block/tornado-vote/forks","keys_url":"https://api.github.com/repos/ananas-block/tornado-vote/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ananas-block/tornado-vote/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ananas-block/tornado-vote/teams","hooks_url":"https://api.github.com/repos/ananas-block/tornado-vote/hooks","issue_events_url":"https://api.github.com/repos/ananas-block/tornado-vote/issues/events{/number}","events_url":"https://api.github.com/repos/ananas-block/tornado-vote/events","assignees_url":"https://api.github.com/repos/ananas-block/tornado-vote/assignees{/user}","branches_url":"https://api.github.com/repos/ananas-block/tornado-vote/branches{/branch}","tags_url":"https://api.github.com/repos/ananas-block/tornado-vote/tags","blobs_url":"https://api.github.com/repos/ananas-block/tornado-vote/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ananas-block/tornado-vote/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ananas-block/tornado-vote/git/refs{/sha}","trees_url":"https://api.github.com/repos/ananas-block/tornado-vote/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ananas-block/tornado-vote/statuses/{sha}","languages_url":"https://api.github.com/repos/ananas-block/tornado-vote/languages","stargazers_url":"https://api.github.com/repos/ananas-block/tornado-vote/stargazers","contributors_url":"https://api.github.com/repos/ananas-block/tornado-vote/contributors","subscribers_url":"https://api.github.com/repos/ananas-block/tornado-vote/subscribers","subscription_url":"https://api.github.com/repos/ananas-block/tornado-vote/subscription","commits_url":"https://api.github.com/repos/ananas-block/tornado-vote/commits{/sha}","git_commits_url":"https://api.github.com/repos/ananas-block/tornado-vote/git/commits{/sha}","comments_url":"https://api.github.com/repos/ananas-block/tornado-vote/comments{/number}","issue_comment_url":"https://api.github.com/repos/ananas-block/tornado-vote/issues/comments{/number}","contents_url":"https://api.github.com/repos/ananas-block/tornado-vote/contents/{+path}","compare_url":"https://api.github.com/repos/ananas-block/tornado-vote/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ananas-block/tornado-vote/merges","archive_url":"https://api.github.com/repos/ananas-block/tornado-vote/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ananas-block/tornado-vote/downloads","issues_url":"https://api.github.com/repos/ananas-block/tornado-vote/issues{/number}","pulls_url":"https://api.github.com/repos/ananas-block/tornado-vote/pulls{/number}","milestones_url":"https://api.github.com/repos/ananas-block/tornado-vote/milestones{/number}","notifications_url":"https://api.github.com/repos/ananas-block/tornado-vote/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ananas-block/tornado-vote/labels{/name}","releases_url":"https://api.github.com/repos/ananas-block/tornado-vote/releases{/id}","deployments_url":"https://api.github.com/repos/ananas-block/tornado-vote/deployments","created_at":"2021-05-21T12:06:49Z","updated_at":"2023-12-09T18:15:11Z","pushed_at":"2021-07-30T16:41:37Z","git_url":"git://github.com/ananas-block/tornado-vote.git","ssh_url":"git@github.com:ananas-block/tornado-vote.git","clone_url":"https://github.com/ananas-block/tornado-vote.git","svn_url":"https://github.com/ananas-block/tornado-vote","homepage":null,"size":8258,"stargazers_count":5,"watchers_count":5,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":2,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"gpl-3.0","name":"GNU General Public License v3.0","spdx_id":"GPL-3.0","url":"https://api.github.com/licenses/gpl-3.0","node_id":"MDc6TGljZW5zZTk="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":2,"open_issues":0,"watchers":5,"default_branch":"master","score":1.0},{"id":343892466,"node_id":"MDEwOlJlcG9zaXRvcnkzNDM4OTI0NjY=","name":"boogie-proofgen","full_name":"viperproject/boogie-proofgen","private":false,"owner":{"login":"viperproject","id":19855605,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE5ODU1NjA1","avatar_url":"https://avatars.githubusercontent.com/u/19855605?v=4","gravatar_id":"","url":"https://api.github.com/users/viperproject","html_url":"https://github.com/viperproject","followers_url":"https://api.github.com/users/viperproject/followers","following_url":"https://api.github.com/users/viperproject/following{/other_user}","gists_url":"https://api.github.com/users/viperproject/gists{/gist_id}","starred_url":"https://api.github.com/users/viperproject/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/viperproject/subscriptions","organizations_url":"https://api.github.com/users/viperproject/orgs","repos_url":"https://api.github.com/users/viperproject/repos","events_url":"https://api.github.com/users/viperproject/events{/privacy}","received_events_url":"https://api.github.com/users/viperproject/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/viperproject/boogie-proofgen","description":null,"fork":false,"url":"https://api.github.com/repos/viperproject/boogie-proofgen","forks_url":"https://api.github.com/repos/viperproject/boogie-proofgen/forks","keys_url":"https://api.github.com/repos/viperproject/boogie-proofgen/keys{/key_id}","collaborators_url":"https://api.github.com/repos/viperproject/boogie-proofgen/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/viperproject/boogie-proofgen/teams","hooks_url":"https://api.github.com/repos/viperproject/boogie-proofgen/hooks","issue_events_url":"https://api.github.com/repos/viperproject/boogie-proofgen/issues/events{/number}","events_url":"https://api.github.com/repos/viperproject/boogie-proofgen/events","assignees_url":"https://api.github.com/repos/viperproject/boogie-proofgen/assignees{/user}","branches_url":"https://api.github.com/repos/viperproject/boogie-proofgen/branches{/branch}","tags_url":"https://api.github.com/repos/viperproject/boogie-proofgen/tags","blobs_url":"https://api.github.com/repos/viperproject/boogie-proofgen/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/viperproject/boogie-proofgen/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/viperproject/boogie-proofgen/git/refs{/sha}","trees_url":"https://api.github.com/repos/viperproject/boogie-proofgen/git/trees{/sha}","statuses_url":"https://api.github.com/repos/viperproject/boogie-proofgen/statuses/{sha}","languages_url":"https://api.github.com/repos/viperproject/boogie-proofgen/languages","stargazers_url":"https://api.github.com/repos/viperproject/boogie-proofgen/stargazers","contributors_url":"https://api.github.com/repos/viperproject/boogie-proofgen/contributors","subscribers_url":"https://api.github.com/repos/viperproject/boogie-proofgen/subscribers","subscription_url":"https://api.github.com/repos/viperproject/boogie-proofgen/subscription","commits_url":"https://api.github.com/repos/viperproject/boogie-proofgen/commits{/sha}","git_commits_url":"https://api.github.com/repos/viperproject/boogie-proofgen/git/commits{/sha}","comments_url":"https://api.github.com/repos/viperproject/boogie-proofgen/comments{/number}","issue_comment_url":"https://api.github.com/repos/viperproject/boogie-proofgen/issues/comments{/number}","contents_url":"https://api.github.com/repos/viperproject/boogie-proofgen/contents/{+path}","compare_url":"https://api.github.com/repos/viperproject/boogie-proofgen/compare/{base}...{head}","merges_url":"https://api.github.com/repos/viperproject/boogie-proofgen/merges","archive_url":"https://api.github.com/repos/viperproject/boogie-proofgen/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/viperproject/boogie-proofgen/downloads","issues_url":"https://api.github.com/repos/viperproject/boogie-proofgen/issues{/number}","pulls_url":"https://api.github.com/repos/viperproject/boogie-proofgen/pulls{/number}","milestones_url":"https://api.github.com/repos/viperproject/boogie-proofgen/milestones{/number}","notifications_url":"https://api.github.com/repos/viperproject/boogie-proofgen/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/viperproject/boogie-proofgen/labels{/name}","releases_url":"https://api.github.com/repos/viperproject/boogie-proofgen/releases{/id}","deployments_url":"https://api.github.com/repos/viperproject/boogie-proofgen/deployments","created_at":"2021-03-02T19:42:50Z","updated_at":"2025-09-16T10:17:46Z","pushed_at":"2024-12-21T12:02:40Z","git_url":"git://github.com/viperproject/boogie-proofgen.git","ssh_url":"git@github.com:viperproject/boogie-proofgen.git","clone_url":"https://github.com/viperproject/boogie-proofgen.git","svn_url":"https://github.com/viperproject/boogie-proofgen","homepage":null,"size":100942,"stargazers_count":5,"watchers_count":5,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":2,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":4,"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":2,"open_issues":4,"watchers":5,"default_branch":"master","score":1.0},{"id":730486434,"node_id":"R_kgDOK4pWog","name":"P4Inv","full_name":"NV-ThuFV/P4Inv","private":false,"owner":{"login":"NV-ThuFV","id":232305215,"node_id":"O_kgDODdiyPw","avatar_url":"https://avatars.githubusercontent.com/u/232305215?v=4","gravatar_id":"","url":"https://api.github.com/users/NV-ThuFV","html_url":"https://github.com/NV-ThuFV","followers_url":"https://api.github.com/users/NV-ThuFV/followers","following_url":"https://api.github.com/users/NV-ThuFV/following{/other_user}","gists_url":"https://api.github.com/users/NV-ThuFV/gists{/gist_id}","starred_url":"https://api.github.com/users/NV-ThuFV/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/NV-ThuFV/subscriptions","organizations_url":"https://api.github.com/users/NV-ThuFV/orgs","repos_url":"https://api.github.com/users/NV-ThuFV/repos","events_url":"https://api.github.com/users/NV-ThuFV/events{/privacy}","received_events_url":"https://api.github.com/users/NV-ThuFV/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/NV-ThuFV/P4Inv","description":null,"fork":false,"url":"https://api.github.com/repos/NV-ThuFV/P4Inv","forks_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/forks","keys_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/keys{/key_id}","collaborators_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/teams","hooks_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/hooks","issue_events_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/issues/events{/number}","events_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/events","assignees_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/assignees{/user}","branches_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/branches{/branch}","tags_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/tags","blobs_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/git/refs{/sha}","trees_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/git/trees{/sha}","statuses_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/statuses/{sha}","languages_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/languages","stargazers_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/stargazers","contributors_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/contributors","subscribers_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/subscribers","subscription_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/subscription","commits_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/commits{/sha}","git_commits_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/git/commits{/sha}","comments_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/comments{/number}","issue_comment_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/issues/comments{/number}","contents_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/contents/{+path}","compare_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/compare/{base}...{head}","merges_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/merges","archive_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/downloads","issues_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/issues{/number}","pulls_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/pulls{/number}","milestones_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/milestones{/number}","notifications_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/labels{/name}","releases_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/releases{/id}","deployments_url":"https://api.github.com/repos/NV-ThuFV/P4Inv/deployments","created_at":"2023-12-12T03:05:33Z","updated_at":"2025-09-15T09:30:21Z","pushed_at":"2023-12-13T02:57:03Z","git_url":"git://github.com/NV-ThuFV/P4Inv.git","ssh_url":"git@github.com:NV-ThuFV/P4Inv.git","clone_url":"https://github.com/NV-ThuFV/P4Inv.git","svn_url":"https://github.com/NV-ThuFV/P4Inv","homepage":null,"size":18281,"stargazers_count":4,"watchers_count":4,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":0,"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":0,"open_issues":0,"watchers":4,"default_branch":"master","score":1.0},{"id":297739040,"node_id":"MDEwOlJlcG9zaXRvcnkyOTc3MzkwNDA=","name":"contracts","full_name":"pontem-network/contracts","private":false,"owner":{"login":"pontem-network","id":79349007,"node_id":"MDEyOk9yZ2FuaXphdGlvbjc5MzQ5MDA3","avatar_url":"https://avatars.githubusercontent.com/u/79349007?v=4","gravatar_id":"","url":"https://api.github.com/users/pontem-network","html_url":"https://github.com/pontem-network","followers_url":"https://api.github.com/users/pontem-network/followers","following_url":"https://api.github.com/users/pontem-network/following{/other_user}","gists_url":"https://api.github.com/users/pontem-network/gists{/gist_id}","starred_url":"https://api.github.com/users/pontem-network/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/pontem-network/subscriptions","organizations_url":"https://api.github.com/users/pontem-network/orgs","repos_url":"https://api.github.com/users/pontem-network/repos","events_url":"https://api.github.com/users/pontem-network/events{/privacy}","received_events_url":"https://api.github.com/users/pontem-network/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/pontem-network/contracts","description":"Move Financial Contracts: Token, Auction, CDP","fork":false,"url":"https://api.github.com/repos/pontem-network/contracts","forks_url":"https://api.github.com/repos/pontem-network/contracts/forks","keys_url":"https://api.github.com/repos/pontem-network/contracts/keys{/key_id}","collaborators_url":"https://api.github.com/repos/pontem-network/contracts/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/pontem-network/contracts/teams","hooks_url":"https://api.github.com/repos/pontem-network/contracts/hooks","issue_events_url":"https://api.github.com/repos/pontem-network/contracts/issues/events{/number}","events_url":"https://api.github.com/repos/pontem-network/contracts/events","assignees_url":"https://api.github.com/repos/pontem-network/contracts/assignees{/user}","branches_url":"https://api.github.com/repos/pontem-network/contracts/branches{/branch}","tags_url":"https://api.github.com/repos/pontem-network/contracts/tags","blobs_url":"https://api.github.com/repos/pontem-network/contracts/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/pontem-network/contracts/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/pontem-network/contracts/git/refs{/sha}","trees_url":"https://api.github.com/repos/pontem-network/contracts/git/trees{/sha}","statuses_url":"https://api.github.com/repos/pontem-network/contracts/statuses/{sha}","languages_url":"https://api.github.com/repos/pontem-network/contracts/languages","stargazers_url":"https://api.github.com/repos/pontem-network/contracts/stargazers","contributors_url":"https://api.github.com/repos/pontem-network/contracts/contributors","subscribers_url":"https://api.github.com/repos/pontem-network/contracts/subscribers","subscription_url":"https://api.github.com/repos/pontem-network/contracts/subscription","commits_url":"https://api.github.com/repos/pontem-network/contracts/commits{/sha}","git_commits_url":"https://api.github.com/repos/pontem-network/contracts/git/commits{/sha}","comments_url":"https://api.github.com/repos/pontem-network/contracts/comments{/number}","issue_comment_url":"https://api.github.com/repos/pontem-network/contracts/issues/comments{/number}","contents_url":"https://api.github.com/repos/pontem-network/contracts/contents/{+path}","compare_url":"https://api.github.com/repos/pontem-network/contracts/compare/{base}...{head}","merges_url":"https://api.github.com/repos/pontem-network/contracts/merges","archive_url":"https://api.github.com/repos/pontem-network/contracts/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/pontem-network/contracts/downloads","issues_url":"https://api.github.com/repos/pontem-network/contracts/issues{/number}","pulls_url":"https://api.github.com/repos/pontem-network/contracts/pulls{/number}","milestones_url":"https://api.github.com/repos/pontem-network/contracts/milestones{/number}","notifications_url":"https://api.github.com/repos/pontem-network/contracts/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/pontem-network/contracts/labels{/name}","releases_url":"https://api.github.com/repos/pontem-network/contracts/releases{/id}","deployments_url":"https://api.github.com/repos/pontem-network/contracts/deployments","created_at":"2020-09-22T18:35:55Z","updated_at":"2025-09-07T12:27:43Z","pushed_at":"2021-08-20T13:58:12Z","git_url":"git://github.com/pontem-network/contracts.git","ssh_url":"git@github.com:pontem-network/contracts.git","clone_url":"https://github.com/pontem-network/contracts.git","svn_url":"https://github.com/pontem-network/contracts","homepage":null,"size":212,"stargazers_count":4,"watchers_count":4,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":1,"mirror_url":null,"archived":true,"disabled":false,"open_issues_count":2,"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":1,"open_issues":2,"watchers":4,"default_branch":"master","score":1.0},{"id":269784461,"node_id":"MDEwOlJlcG9zaXRvcnkyNjk3ODQ0NjE=","name":"TextClassification","full_name":"Samialsayadi/TextClassification","private":false,"owner":{"login":"Samialsayadi","id":12277761,"node_id":"MDQ6VXNlcjEyMjc3NzYx","avatar_url":"https://avatars.githubusercontent.com/u/12277761?v=4","gravatar_id":"","url":"https://api.github.com/users/Samialsayadi","html_url":"https://github.com/Samialsayadi","followers_url":"https://api.github.com/users/Samialsayadi/followers","following_url":"https://api.github.com/users/Samialsayadi/following{/other_user}","gists_url":"https://api.github.com/users/Samialsayadi/gists{/gist_id}","starred_url":"https://api.github.com/users/Samialsayadi/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Samialsayadi/subscriptions","organizations_url":"https://api.github.com/users/Samialsayadi/orgs","repos_url":"https://api.github.com/users/Samialsayadi/repos","events_url":"https://api.github.com/users/Samialsayadi/events{/privacy}","received_events_url":"https://api.github.com/users/Samialsayadi/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Samialsayadi/TextClassification","description":"Fuzzy classification","fork":false,"url":"https://api.github.com/repos/Samialsayadi/TextClassification","forks_url":"https://api.github.com/repos/Samialsayadi/TextClassification/forks","keys_url":"https://api.github.com/repos/Samialsayadi/TextClassification/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Samialsayadi/TextClassification/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Samialsayadi/TextClassification/teams","hooks_url":"https://api.github.com/repos/Samialsayadi/TextClassification/hooks","issue_events_url":"https://api.github.com/repos/Samialsayadi/TextClassification/issues/events{/number}","events_url":"https://api.github.com/repos/Samialsayadi/TextClassification/events","assignees_url":"https://api.github.com/repos/Samialsayadi/TextClassification/assignees{/user}","branches_url":"https://api.github.com/repos/Samialsayadi/TextClassification/branches{/branch}","tags_url":"https://api.github.com/repos/Samialsayadi/TextClassification/tags","blobs_url":"https://api.github.com/repos/Samialsayadi/TextClassification/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Samialsayadi/TextClassification/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Samialsayadi/TextClassification/git/refs{/sha}","trees_url":"https://api.github.com/repos/Samialsayadi/TextClassification/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Samialsayadi/TextClassification/statuses/{sha}","languages_url":"https://api.github.com/repos/Samialsayadi/TextClassification/languages","stargazers_url":"https://api.github.com/repos/Samialsayadi/TextClassification/stargazers","contributors_url":"https://api.github.com/repos/Samialsayadi/TextClassification/contributors","subscribers_url":"https://api.github.com/repos/Samialsayadi/TextClassification/subscribers","subscription_url":"https://api.github.com/repos/Samialsayadi/TextClassification/subscription","commits_url":"https://api.github.com/repos/Samialsayadi/TextClassification/commits{/sha}","git_commits_url":"https://api.github.com/repos/Samialsayadi/TextClassification/git/commits{/sha}","comments_url":"https://api.github.com/repos/Samialsayadi/TextClassification/comments{/number}","issue_comment_url":"https://api.github.com/repos/Samialsayadi/TextClassification/issues/comments{/number}","contents_url":"https://api.github.com/repos/Samialsayadi/TextClassification/contents/{+path}","compare_url":"https://api.github.com/repos/Samialsayadi/TextClassification/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Samialsayadi/TextClassification/merges","archive_url":"https://api.github.com/repos/Samialsayadi/TextClassification/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Samialsayadi/TextClassification/downloads","issues_url":"https://api.github.com/repos/Samialsayadi/TextClassification/issues{/number}","pulls_url":"https://api.github.com/repos/Samialsayadi/TextClassification/pulls{/number}","milestones_url":"https://api.github.com/repos/Samialsayadi/TextClassification/milestones{/number}","notifications_url":"https://api.github.com/repos/Samialsayadi/TextClassification/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Samialsayadi/TextClassification/labels{/name}","releases_url":"https://api.github.com/repos/Samialsayadi/TextClassification/releases{/id}","deployments_url":"https://api.github.com/repos/Samialsayadi/TextClassification/deployments","created_at":"2020-06-05T21:38:07Z","updated_at":"2025-03-28T14:19:06Z","pushed_at":"2025-03-28T14:19:02Z","git_url":"git://github.com/Samialsayadi/TextClassification.git","ssh_url":"git@github.com:Samialsayadi/TextClassification.git","clone_url":"https://github.com/Samialsayadi/TextClassification.git","svn_url":"https://github.com/Samialsayadi/TextClassification","homepage":null,"size":1335,"stargazers_count":2,"watchers_count":2,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":0,"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":0,"open_issues":0,"watchers":2,"default_branch":"master","score":1.0},{"id":537185783,"node_id":"R_kgDOIATN9w","name":"Learn-Boogie","full_name":"seanpm2001/Learn-Boogie","private":false,"owner":{"login":"seanpm2001","id":65933340,"node_id":"MDQ6VXNlcjY1OTMzMzQw","avatar_url":"https://avatars.githubusercontent.com/u/65933340?v=4","gravatar_id":"","url":"https://api.github.com/users/seanpm2001","html_url":"https://github.com/seanpm2001","followers_url":"https://api.github.com/users/seanpm2001/followers","following_url":"https://api.github.com/users/seanpm2001/following{/other_user}","gists_url":"https://api.github.com/users/seanpm2001/gists{/gist_id}","starred_url":"https://api.github.com/users/seanpm2001/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/seanpm2001/subscriptions","organizations_url":"https://api.github.com/users/seanpm2001/orgs","repos_url":"https://api.github.com/users/seanpm2001/repos","events_url":"https://api.github.com/users/seanpm2001/events{/privacy}","received_events_url":"https://api.github.com/users/seanpm2001/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/seanpm2001/Learn-Boogie","description":"A repository for showcasing my knowledge of the Boogie programming language, and continuing to learn the language.","fork":false,"url":"https://api.github.com/repos/seanpm2001/Learn-Boogie","forks_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/forks","keys_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/keys{/key_id}","collaborators_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/teams","hooks_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/hooks","issue_events_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/issues/events{/number}","events_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/events","assignees_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/assignees{/user}","branches_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/branches{/branch}","tags_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/tags","blobs_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/git/refs{/sha}","trees_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/git/trees{/sha}","statuses_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/statuses/{sha}","languages_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/languages","stargazers_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/stargazers","contributors_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/contributors","subscribers_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/subscribers","subscription_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/subscription","commits_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/commits{/sha}","git_commits_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/git/commits{/sha}","comments_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/comments{/number}","issue_comment_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/issues/comments{/number}","contents_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/contents/{+path}","compare_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/compare/{base}...{head}","merges_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/merges","archive_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/downloads","issues_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/issues{/number}","pulls_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/pulls{/number}","milestones_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/milestones{/number}","notifications_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/labels{/name}","releases_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/releases{/id}","deployments_url":"https://api.github.com/repos/seanpm2001/Learn-Boogie/deployments","created_at":"2022-09-15T19:54:38Z","updated_at":"2022-11-25T00:20:55Z","pushed_at":"2022-09-15T23:11:42Z","git_url":"git://github.com/seanpm2001/Learn-Boogie.git","ssh_url":"git@github.com:seanpm2001/Learn-Boogie.git","clone_url":"https://github.com/seanpm2001/Learn-Boogie.git","svn_url":"https://github.com/seanpm2001/Learn-Boogie","homepage":"https://github.com/seanpm2001/Learn/","size":605,"stargazers_count":2,"watchers_count":2,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":true,"forks_count":1,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"gpl-3.0","name":"GNU General Public License v3.0","spdx_id":"GPL-3.0","url":"https://api.github.com/licenses/gpl-3.0","node_id":"MDc6TGljZW5zZTk="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["article","boogie","boogie-collection","boogie-lang","boogie-language","bpl","gpl3","gplv3","knowledge","learn","learn-boogie","learn-boogie-lang","learn-boogie-language","md","seanpm2001","seanpm2001-education","seanpm2001-learn","txt"],"visibility":"public","forks":1,"open_issues":0,"watchers":2,"default_branch":"Learn-Boogie_Main-dev","score":1.0},{"id":537186173,"node_id":"R_kgDOIATPfQ","name":"SNU_2D_ProgrammingTools_IDE_Boogie","full_name":"seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie","private":false,"owner":{"login":"seanpm2001","id":65933340,"node_id":"MDQ6VXNlcjY1OTMzMzQw","avatar_url":"https://avatars.githubusercontent.com/u/65933340?v=4","gravatar_id":"","url":"https://api.github.com/users/seanpm2001","html_url":"https://github.com/seanpm2001","followers_url":"https://api.github.com/users/seanpm2001/followers","following_url":"https://api.github.com/users/seanpm2001/following{/other_user}","gists_url":"https://api.github.com/users/seanpm2001/gists{/gist_id}","starred_url":"https://api.github.com/users/seanpm2001/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/seanpm2001/subscriptions","organizations_url":"https://api.github.com/users/seanpm2001/orgs","repos_url":"https://api.github.com/users/seanpm2001/repos","events_url":"https://api.github.com/users/seanpm2001/events{/privacy}","received_events_url":"https://api.github.com/users/seanpm2001/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie","description":"The Boogie Programming language IDE submodule for SNU Programming Tools.","fork":false,"url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie","forks_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/forks","keys_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/keys{/key_id}","collaborators_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/teams","hooks_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/hooks","issue_events_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/issues/events{/number}","events_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/events","assignees_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/assignees{/user}","branches_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/branches{/branch}","tags_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/tags","blobs_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/git/refs{/sha}","trees_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/git/trees{/sha}","statuses_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/statuses/{sha}","languages_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/languages","stargazers_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/stargazers","contributors_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/contributors","subscribers_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/subscribers","subscription_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/subscription","commits_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/commits{/sha}","git_commits_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/git/commits{/sha}","comments_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/comments{/number}","issue_comment_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/issues/comments{/number}","contents_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/contents/{+path}","compare_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/compare/{base}...{head}","merges_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/merges","archive_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/downloads","issues_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/issues{/number}","pulls_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/pulls{/number}","milestones_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/milestones{/number}","notifications_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/labels{/name}","releases_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/releases{/id}","deployments_url":"https://api.github.com/repos/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie/deployments","created_at":"2022-09-15T19:55:49Z","updated_at":"2022-11-25T00:21:23Z","pushed_at":"2022-09-15T23:15:33Z","git_url":"git://github.com/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie.git","ssh_url":"git@github.com:seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie.git","clone_url":"https://github.com/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie.git","svn_url":"https://github.com/seanpm2001/SNU_2D_ProgrammingTools_IDE_Boogie","homepage":"https://github.com/seanpm2001/SNU_2D_ProgrammingTools/","size":645,"stargazers_count":2,"watchers_count":2,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":true,"forks_count":1,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"gpl-3.0","name":"GNU General Public License v3.0","spdx_id":"GPL-3.0","url":"https://api.github.com/licenses/gpl-3.0","node_id":"MDc6TGljZW5zZTk="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["boogie","boogie-lang","boogie-language","gpl3","gplv3","ide","md","programming","snu","snu-2d","snu-2d-programming-tools","snu-2d-programmingtools","snu-development","snu-programming-tools","snu2d-programmingtools","snu2dprogrammingtools","snuprogrammingtools","txt","web-development","web-ide"],"visibility":"public","forks":1,"open_issues":0,"watchers":2,"default_branch":"SNU_2D_ProgrammingTools_IDE_Boogie_Main-dev","score":1.0},{"id":760390912,"node_id":"R_kgDOLVKlAA","name":"CT_Prover","full_name":"S3L-official/CT_Prover","private":false,"owner":{"login":"S3L-official","id":112294727,"node_id":"U_kgDOBrF7Rw","avatar_url":"https://avatars.githubusercontent.com/u/112294727?v=4","gravatar_id":"","url":"https://api.github.com/users/S3L-official","html_url":"https://github.com/S3L-official","followers_url":"https://api.github.com/users/S3L-official/followers","following_url":"https://api.github.com/users/S3L-official/following{/other_user}","gists_url":"https://api.github.com/users/S3L-official/gists{/gist_id}","starred_url":"https://api.github.com/users/S3L-official/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/S3L-official/subscriptions","organizations_url":"https://api.github.com/users/S3L-official/orgs","repos_url":"https://api.github.com/users/S3L-official/repos","events_url":"https://api.github.com/users/S3L-official/events{/privacy}","received_events_url":"https://api.github.com/users/S3L-official/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/S3L-official/CT_Prover","description":null,"fork":false,"url":"https://api.github.com/repos/S3L-official/CT_Prover","forks_url":"https://api.github.com/repos/S3L-official/CT_Prover/forks","keys_url":"https://api.github.com/repos/S3L-official/CT_Prover/keys{/key_id}","collaborators_url":"https://api.github.com/repos/S3L-official/CT_Prover/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/S3L-official/CT_Prover/teams","hooks_url":"https://api.github.com/repos/S3L-official/CT_Prover/hooks","issue_events_url":"https://api.github.com/repos/S3L-official/CT_Prover/issues/events{/number}","events_url":"https://api.github.com/repos/S3L-official/CT_Prover/events","assignees_url":"https://api.github.com/repos/S3L-official/CT_Prover/assignees{/user}","branches_url":"https://api.github.com/repos/S3L-official/CT_Prover/branches{/branch}","tags_url":"https://api.github.com/repos/S3L-official/CT_Prover/tags","blobs_url":"https://api.github.com/repos/S3L-official/CT_Prover/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/S3L-official/CT_Prover/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/S3L-official/CT_Prover/git/refs{/sha}","trees_url":"https://api.github.com/repos/S3L-official/CT_Prover/git/trees{/sha}","statuses_url":"https://api.github.com/repos/S3L-official/CT_Prover/statuses/{sha}","languages_url":"https://api.github.com/repos/S3L-official/CT_Prover/languages","stargazers_url":"https://api.github.com/repos/S3L-official/CT_Prover/stargazers","contributors_url":"https://api.github.com/repos/S3L-official/CT_Prover/contributors","subscribers_url":"https://api.github.com/repos/S3L-official/CT_Prover/subscribers","subscription_url":"https://api.github.com/repos/S3L-official/CT_Prover/subscription","commits_url":"https://api.github.com/repos/S3L-official/CT_Prover/commits{/sha}","git_commits_url":"https://api.github.com/repos/S3L-official/CT_Prover/git/commits{/sha}","comments_url":"https://api.github.com/repos/S3L-official/CT_Prover/comments{/number}","issue_comment_url":"https://api.github.com/repos/S3L-official/CT_Prover/issues/comments{/number}","contents_url":"https://api.github.com/repos/S3L-official/CT_Prover/contents/{+path}","compare_url":"https://api.github.com/repos/S3L-official/CT_Prover/compare/{base}...{head}","merges_url":"https://api.github.com/repos/S3L-official/CT_Prover/merges","archive_url":"https://api.github.com/repos/S3L-official/CT_Prover/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/S3L-official/CT_Prover/downloads","issues_url":"https://api.github.com/repos/S3L-official/CT_Prover/issues{/number}","pulls_url":"https://api.github.com/repos/S3L-official/CT_Prover/pulls{/number}","milestones_url":"https://api.github.com/repos/S3L-official/CT_Prover/milestones{/number}","notifications_url":"https://api.github.com/repos/S3L-official/CT_Prover/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/S3L-official/CT_Prover/labels{/name}","releases_url":"https://api.github.com/repos/S3L-official/CT_Prover/releases{/id}","deployments_url":"https://api.github.com/repos/S3L-official/CT_Prover/deployments","created_at":"2024-02-20T10:32:11Z","updated_at":"2024-03-20T00:28:16Z","pushed_at":"2024-02-21T13:26:08Z","git_url":"git://github.com/S3L-official/CT_Prover.git","ssh_url":"git@github.com:S3L-official/CT_Prover.git","clone_url":"https://github.com/S3L-official/CT_Prover.git","svn_url":"https://github.com/S3L-official/CT_Prover","homepage":null,"size":146553,"stargazers_count":2,"watchers_count":2,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":1,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":3,"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":1,"open_issues":3,"watchers":2,"default_branch":"master","score":1.0},{"id":526064000,"node_id":"R_kgDOH1sZgA","name":"P4LTL-datasets","full_name":"GreenieQwQ/P4LTL-datasets","private":false,"owner":{"login":"GreenieQwQ","id":55385374,"node_id":"MDQ6VXNlcjU1Mzg1Mzc0","avatar_url":"https://avatars.githubusercontent.com/u/55385374?v=4","gravatar_id":"","url":"https://api.github.com/users/GreenieQwQ","html_url":"https://github.com/GreenieQwQ","followers_url":"https://api.github.com/users/GreenieQwQ/followers","following_url":"https://api.github.com/users/GreenieQwQ/following{/other_user}","gists_url":"https://api.github.com/users/GreenieQwQ/gists{/gist_id}","starred_url":"https://api.github.com/users/GreenieQwQ/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/GreenieQwQ/subscriptions","organizations_url":"https://api.github.com/users/GreenieQwQ/orgs","repos_url":"https://api.github.com/users/GreenieQwQ/repos","events_url":"https://api.github.com/users/GreenieQwQ/events{/privacy}","received_events_url":"https://api.github.com/users/GreenieQwQ/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/GreenieQwQ/P4LTL-datasets","description":null,"fork":false,"url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets","forks_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/forks","keys_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/keys{/key_id}","collaborators_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/teams","hooks_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/hooks","issue_events_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/issues/events{/number}","events_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/events","assignees_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/assignees{/user}","branches_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/branches{/branch}","tags_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/tags","blobs_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/git/refs{/sha}","trees_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/git/trees{/sha}","statuses_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/statuses/{sha}","languages_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/languages","stargazers_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/stargazers","contributors_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/contributors","subscribers_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/subscribers","subscription_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/subscription","commits_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/commits{/sha}","git_commits_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/git/commits{/sha}","comments_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/comments{/number}","issue_comment_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/issues/comments{/number}","contents_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/contents/{+path}","compare_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/compare/{base}...{head}","merges_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/merges","archive_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/downloads","issues_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/issues{/number}","pulls_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/pulls{/number}","milestones_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/milestones{/number}","notifications_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/labels{/name}","releases_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/releases{/id}","deployments_url":"https://api.github.com/repos/GreenieQwQ/P4LTL-datasets/deployments","created_at":"2022-08-18T05:06:45Z","updated_at":"2023-04-08T09:16:06Z","pushed_at":"2023-02-20T07:15:35Z","git_url":"git://github.com/GreenieQwQ/P4LTL-datasets.git","ssh_url":"git@github.com:GreenieQwQ/P4LTL-datasets.git","clone_url":"https://github.com/GreenieQwQ/P4LTL-datasets.git","svn_url":"https://github.com/GreenieQwQ/P4LTL-datasets","homepage":null,"size":8148,"stargazers_count":2,"watchers_count":2,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":0,"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":0,"open_issues":0,"watchers":2,"default_branch":"master","score":1.0},{"id":715272177,"node_id":"R_kgDOKqIv8Q","name":"ids-artifact","full_name":"codyjrivera/ids-artifact","private":false,"owner":{"login":"codyjrivera","id":42156440,"node_id":"MDQ6VXNlcjQyMTU2NDQw","avatar_url":"https://avatars.githubusercontent.com/u/42156440?v=4","gravatar_id":"","url":"https://api.github.com/users/codyjrivera","html_url":"https://github.com/codyjrivera","followers_url":"https://api.github.com/users/codyjrivera/followers","following_url":"https://api.github.com/users/codyjrivera/following{/other_user}","gists_url":"https://api.github.com/users/codyjrivera/gists{/gist_id}","starred_url":"https://api.github.com/users/codyjrivera/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/codyjrivera/subscriptions","organizations_url":"https://api.github.com/users/codyjrivera/orgs","repos_url":"https://api.github.com/users/codyjrivera/repos","events_url":"https://api.github.com/users/codyjrivera/events{/privacy}","received_events_url":"https://api.github.com/users/codyjrivera/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/codyjrivera/ids-artifact","description":"Artifact for \"Predictable Verification using Intrinsic Definitions\" in PLDI 2024","fork":false,"url":"https://api.github.com/repos/codyjrivera/ids-artifact","forks_url":"https://api.github.com/repos/codyjrivera/ids-artifact/forks","keys_url":"https://api.github.com/repos/codyjrivera/ids-artifact/keys{/key_id}","collaborators_url":"https://api.github.com/repos/codyjrivera/ids-artifact/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/codyjrivera/ids-artifact/teams","hooks_url":"https://api.github.com/repos/codyjrivera/ids-artifact/hooks","issue_events_url":"https://api.github.com/repos/codyjrivera/ids-artifact/issues/events{/number}","events_url":"https://api.github.com/repos/codyjrivera/ids-artifact/events","assignees_url":"https://api.github.com/repos/codyjrivera/ids-artifact/assignees{/user}","branches_url":"https://api.github.com/repos/codyjrivera/ids-artifact/branches{/branch}","tags_url":"https://api.github.com/repos/codyjrivera/ids-artifact/tags","blobs_url":"https://api.github.com/repos/codyjrivera/ids-artifact/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/codyjrivera/ids-artifact/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/codyjrivera/ids-artifact/git/refs{/sha}","trees_url":"https://api.github.com/repos/codyjrivera/ids-artifact/git/trees{/sha}","statuses_url":"https://api.github.com/repos/codyjrivera/ids-artifact/statuses/{sha}","languages_url":"https://api.github.com/repos/codyjrivera/ids-artifact/languages","stargazers_url":"https://api.github.com/repos/codyjrivera/ids-artifact/stargazers","contributors_url":"https://api.github.com/repos/codyjrivera/ids-artifact/contributors","subscribers_url":"https://api.github.com/repos/codyjrivera/ids-artifact/subscribers","subscription_url":"https://api.github.com/repos/codyjrivera/ids-artifact/subscription","commits_url":"https://api.github.com/repos/codyjrivera/ids-artifact/commits{/sha}","git_commits_url":"https://api.github.com/repos/codyjrivera/ids-artifact/git/commits{/sha}","comments_url":"https://api.github.com/repos/codyjrivera/ids-artifact/comments{/number}","issue_comment_url":"https://api.github.com/repos/codyjrivera/ids-artifact/issues/comments{/number}","contents_url":"https://api.github.com/repos/codyjrivera/ids-artifact/contents/{+path}","compare_url":"https://api.github.com/repos/codyjrivera/ids-artifact/compare/{base}...{head}","merges_url":"https://api.github.com/repos/codyjrivera/ids-artifact/merges","archive_url":"https://api.github.com/repos/codyjrivera/ids-artifact/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/codyjrivera/ids-artifact/downloads","issues_url":"https://api.github.com/repos/codyjrivera/ids-artifact/issues{/number}","pulls_url":"https://api.github.com/repos/codyjrivera/ids-artifact/pulls{/number}","milestones_url":"https://api.github.com/repos/codyjrivera/ids-artifact/milestones{/number}","notifications_url":"https://api.github.com/repos/codyjrivera/ids-artifact/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/codyjrivera/ids-artifact/labels{/name}","releases_url":"https://api.github.com/repos/codyjrivera/ids-artifact/releases{/id}","deployments_url":"https://api.github.com/repos/codyjrivera/ids-artifact/deployments","created_at":"2023-11-06T20:07:51Z","updated_at":"2025-04-20T15:58:43Z","pushed_at":"2025-01-02T21:17:25Z","git_url":"git://github.com/codyjrivera/ids-artifact.git","ssh_url":"git@github.com:codyjrivera/ids-artifact.git","clone_url":"https://github.com/codyjrivera/ids-artifact.git","svn_url":"https://github.com/codyjrivera/ids-artifact","homepage":"","size":1227,"stargazers_count":2,"watchers_count":2,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":0,"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":0,"open_issues":0,"watchers":2,"default_branch":"main","score":1.0},{"id":987354752,"node_id":"R_kgDOOtnWgA","name":"Salmon-Onigiri","full_name":"TheMightyGinkgo/Salmon-Onigiri","private":false,"owner":{"login":"TheMightyGinkgo","id":208680478,"node_id":"U_kgDODHA2Hg","avatar_url":"https://avatars.githubusercontent.com/u/208680478?v=4","gravatar_id":"","url":"https://api.github.com/users/TheMightyGinkgo","html_url":"https://github.com/TheMightyGinkgo","followers_url":"https://api.github.com/users/TheMightyGinkgo/followers","following_url":"https://api.github.com/users/TheMightyGinkgo/following{/other_user}","gists_url":"https://api.github.com/users/TheMightyGinkgo/gists{/gist_id}","starred_url":"https://api.github.com/users/TheMightyGinkgo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/TheMightyGinkgo/subscriptions","organizations_url":"https://api.github.com/users/TheMightyGinkgo/orgs","repos_url":"https://api.github.com/users/TheMightyGinkgo/repos","events_url":"https://api.github.com/users/TheMightyGinkgo/events{/privacy}","received_events_url":"https://api.github.com/users/TheMightyGinkgo/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/TheMightyGinkgo/Salmon-Onigiri","description":"A fork of Onigiri, a Blender plugin that lets you convert any skeletoninto a SL skeleton","fork":false,"url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri","forks_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/forks","keys_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/keys{/key_id}","collaborators_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/teams","hooks_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/hooks","issue_events_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/issues/events{/number}","events_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/events","assignees_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/assignees{/user}","branches_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/branches{/branch}","tags_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/tags","blobs_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/git/refs{/sha}","trees_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/git/trees{/sha}","statuses_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/statuses/{sha}","languages_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/languages","stargazers_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/stargazers","contributors_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/contributors","subscribers_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/subscribers","subscription_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/subscription","commits_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/commits{/sha}","git_commits_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/git/commits{/sha}","comments_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/comments{/number}","issue_comment_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/issues/comments{/number}","contents_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/contents/{+path}","compare_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/compare/{base}...{head}","merges_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/merges","archive_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/downloads","issues_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/issues{/number}","pulls_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/pulls{/number}","milestones_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/milestones{/number}","notifications_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/labels{/name}","releases_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/releases{/id}","deployments_url":"https://api.github.com/repos/TheMightyGinkgo/Salmon-Onigiri/deployments","created_at":"2025-05-21T00:48:16Z","updated_at":"2026-02-18T18:24:48Z","pushed_at":"2025-06-27T11:29:10Z","git_url":"git://github.com/TheMightyGinkgo/Salmon-Onigiri.git","ssh_url":"git@github.com:TheMightyGinkgo/Salmon-Onigiri.git","clone_url":"https://github.com/TheMightyGinkgo/Salmon-Onigiri.git","svn_url":"https://github.com/TheMightyGinkgo/Salmon-Onigiri","homepage":"","size":4549,"stargazers_count":1,"watchers_count":1,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":0,"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":0,"open_issues":1,"watchers":1,"default_branch":"main","score":1.0},{"id":726922638,"node_id":"R_kgDOK1P1jg","name":"security-course","full_name":"iftikharuddin/security-course","private":false,"owner":{"login":"iftikharuddin","id":10365184,"node_id":"MDQ6VXNlcjEwMzY1MTg0","avatar_url":"https://avatars.githubusercontent.com/u/10365184?v=4","gravatar_id":"","url":"https://api.github.com/users/iftikharuddin","html_url":"https://github.com/iftikharuddin","followers_url":"https://api.github.com/users/iftikharuddin/followers","following_url":"https://api.github.com/users/iftikharuddin/following{/other_user}","gists_url":"https://api.github.com/users/iftikharuddin/gists{/gist_id}","starred_url":"https://api.github.com/users/iftikharuddin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/iftikharuddin/subscriptions","organizations_url":"https://api.github.com/users/iftikharuddin/orgs","repos_url":"https://api.github.com/users/iftikharuddin/repos","events_url":"https://api.github.com/users/iftikharuddin/events{/privacy}","received_events_url":"https://api.github.com/users/iftikharuddin/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/iftikharuddin/security-course","description":"security-course by Patrick ( Updraft ) + all my learnings and exercises","fork":false,"url":"https://api.github.com/repos/iftikharuddin/security-course","forks_url":"https://api.github.com/repos/iftikharuddin/security-course/forks","keys_url":"https://api.github.com/repos/iftikharuddin/security-course/keys{/key_id}","collaborators_url":"https://api.github.com/repos/iftikharuddin/security-course/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/iftikharuddin/security-course/teams","hooks_url":"https://api.github.com/repos/iftikharuddin/security-course/hooks","issue_events_url":"https://api.github.com/repos/iftikharuddin/security-course/issues/events{/number}","events_url":"https://api.github.com/repos/iftikharuddin/security-course/events","assignees_url":"https://api.github.com/repos/iftikharuddin/security-course/assignees{/user}","branches_url":"https://api.github.com/repos/iftikharuddin/security-course/branches{/branch}","tags_url":"https://api.github.com/repos/iftikharuddin/security-course/tags","blobs_url":"https://api.github.com/repos/iftikharuddin/security-course/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/iftikharuddin/security-course/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/iftikharuddin/security-course/git/refs{/sha}","trees_url":"https://api.github.com/repos/iftikharuddin/security-course/git/trees{/sha}","statuses_url":"https://api.github.com/repos/iftikharuddin/security-course/statuses/{sha}","languages_url":"https://api.github.com/repos/iftikharuddin/security-course/languages","stargazers_url":"https://api.github.com/repos/iftikharuddin/security-course/stargazers","contributors_url":"https://api.github.com/repos/iftikharuddin/security-course/contributors","subscribers_url":"https://api.github.com/repos/iftikharuddin/security-course/subscribers","subscription_url":"https://api.github.com/repos/iftikharuddin/security-course/subscription","commits_url":"https://api.github.com/repos/iftikharuddin/security-course/commits{/sha}","git_commits_url":"https://api.github.com/repos/iftikharuddin/security-course/git/commits{/sha}","comments_url":"https://api.github.com/repos/iftikharuddin/security-course/comments{/number}","issue_comment_url":"https://api.github.com/repos/iftikharuddin/security-course/issues/comments{/number}","contents_url":"https://api.github.com/repos/iftikharuddin/security-course/contents/{+path}","compare_url":"https://api.github.com/repos/iftikharuddin/security-course/compare/{base}...{head}","merges_url":"https://api.github.com/repos/iftikharuddin/security-course/merges","archive_url":"https://api.github.com/repos/iftikharuddin/security-course/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/iftikharuddin/security-course/downloads","issues_url":"https://api.github.com/repos/iftikharuddin/security-course/issues{/number}","pulls_url":"https://api.github.com/repos/iftikharuddin/security-course/pulls{/number}","milestones_url":"https://api.github.com/repos/iftikharuddin/security-course/milestones{/number}","notifications_url":"https://api.github.com/repos/iftikharuddin/security-course/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/iftikharuddin/security-course/labels{/name}","releases_url":"https://api.github.com/repos/iftikharuddin/security-course/releases{/id}","deployments_url":"https://api.github.com/repos/iftikharuddin/security-course/deployments","created_at":"2023-12-03T19:42:08Z","updated_at":"2025-09-17T13:58:41Z","pushed_at":"2025-09-17T13:58:37Z","git_url":"git://github.com/iftikharuddin/security-course.git","ssh_url":"git@github.com:iftikharuddin/security-course.git","clone_url":"https://github.com/iftikharuddin/security-course.git","svn_url":"https://github.com/iftikharuddin/security-course","homepage":"","size":440,"stargazers_count":1,"watchers_count":1,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":1,"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":1,"open_issues":0,"watchers":1,"default_branch":"master","score":1.0},{"id":349065756,"node_id":"MDEwOlJlcG9zaXRvcnkzNDkwNjU3NTY=","name":"BoogieCollection","full_name":"emptylambda/BoogieCollection","private":false,"owner":{"login":"emptylambda","id":3695522,"node_id":"MDQ6VXNlcjM2OTU1MjI=","avatar_url":"https://avatars.githubusercontent.com/u/3695522?v=4","gravatar_id":"","url":"https://api.github.com/users/emptylambda","html_url":"https://github.com/emptylambda","followers_url":"https://api.github.com/users/emptylambda/followers","following_url":"https://api.github.com/users/emptylambda/following{/other_user}","gists_url":"https://api.github.com/users/emptylambda/gists{/gist_id}","starred_url":"https://api.github.com/users/emptylambda/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/emptylambda/subscriptions","organizations_url":"https://api.github.com/users/emptylambda/orgs","repos_url":"https://api.github.com/users/emptylambda/repos","events_url":"https://api.github.com/users/emptylambda/events{/privacy}","received_events_url":"https://api.github.com/users/emptylambda/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/emptylambda/BoogieCollection","description":"a collection of Boogie benchmarks","fork":false,"url":"https://api.github.com/repos/emptylambda/BoogieCollection","forks_url":"https://api.github.com/repos/emptylambda/BoogieCollection/forks","keys_url":"https://api.github.com/repos/emptylambda/BoogieCollection/keys{/key_id}","collaborators_url":"https://api.github.com/repos/emptylambda/BoogieCollection/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/emptylambda/BoogieCollection/teams","hooks_url":"https://api.github.com/repos/emptylambda/BoogieCollection/hooks","issue_events_url":"https://api.github.com/repos/emptylambda/BoogieCollection/issues/events{/number}","events_url":"https://api.github.com/repos/emptylambda/BoogieCollection/events","assignees_url":"https://api.github.com/repos/emptylambda/BoogieCollection/assignees{/user}","branches_url":"https://api.github.com/repos/emptylambda/BoogieCollection/branches{/branch}","tags_url":"https://api.github.com/repos/emptylambda/BoogieCollection/tags","blobs_url":"https://api.github.com/repos/emptylambda/BoogieCollection/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/emptylambda/BoogieCollection/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/emptylambda/BoogieCollection/git/refs{/sha}","trees_url":"https://api.github.com/repos/emptylambda/BoogieCollection/git/trees{/sha}","statuses_url":"https://api.github.com/repos/emptylambda/BoogieCollection/statuses/{sha}","languages_url":"https://api.github.com/repos/emptylambda/BoogieCollection/languages","stargazers_url":"https://api.github.com/repos/emptylambda/BoogieCollection/stargazers","contributors_url":"https://api.github.com/repos/emptylambda/BoogieCollection/contributors","subscribers_url":"https://api.github.com/repos/emptylambda/BoogieCollection/subscribers","subscription_url":"https://api.github.com/repos/emptylambda/BoogieCollection/subscription","commits_url":"https://api.github.com/repos/emptylambda/BoogieCollection/commits{/sha}","git_commits_url":"https://api.github.com/repos/emptylambda/BoogieCollection/git/commits{/sha}","comments_url":"https://api.github.com/repos/emptylambda/BoogieCollection/comments{/number}","issue_comment_url":"https://api.github.com/repos/emptylambda/BoogieCollection/issues/comments{/number}","contents_url":"https://api.github.com/repos/emptylambda/BoogieCollection/contents/{+path}","compare_url":"https://api.github.com/repos/emptylambda/BoogieCollection/compare/{base}...{head}","merges_url":"https://api.github.com/repos/emptylambda/BoogieCollection/merges","archive_url":"https://api.github.com/repos/emptylambda/BoogieCollection/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/emptylambda/BoogieCollection/downloads","issues_url":"https://api.github.com/repos/emptylambda/BoogieCollection/issues{/number}","pulls_url":"https://api.github.com/repos/emptylambda/BoogieCollection/pulls{/number}","milestones_url":"https://api.github.com/repos/emptylambda/BoogieCollection/milestones{/number}","notifications_url":"https://api.github.com/repos/emptylambda/BoogieCollection/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/emptylambda/BoogieCollection/labels{/name}","releases_url":"https://api.github.com/repos/emptylambda/BoogieCollection/releases{/id}","deployments_url":"https://api.github.com/repos/emptylambda/BoogieCollection/deployments","created_at":"2021-03-18T12:30:36Z","updated_at":"2023-01-16T15:29:00Z","pushed_at":"2021-03-24T06:32:56Z","git_url":"git://github.com/emptylambda/BoogieCollection.git","ssh_url":"git@github.com:emptylambda/BoogieCollection.git","clone_url":"https://github.com/emptylambda/BoogieCollection.git","svn_url":"https://github.com/emptylambda/BoogieCollection","homepage":null,"size":6133,"stargazers_count":1,"watchers_count":1,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":0,"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":0,"open_issues":0,"watchers":1,"default_branch":"main","score":1.0},{"id":526444630,"node_id":"R_kgDOH2DoVg","name":"move-coin","full_name":"pwollemi/move-coin","private":false,"owner":{"login":"pwollemi","id":52328084,"node_id":"MDQ6VXNlcjUyMzI4MDg0","avatar_url":"https://avatars.githubusercontent.com/u/52328084?v=4","gravatar_id":"","url":"https://api.github.com/users/pwollemi","html_url":"https://github.com/pwollemi","followers_url":"https://api.github.com/users/pwollemi/followers","following_url":"https://api.github.com/users/pwollemi/following{/other_user}","gists_url":"https://api.github.com/users/pwollemi/gists{/gist_id}","starred_url":"https://api.github.com/users/pwollemi/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/pwollemi/subscriptions","organizations_url":"https://api.github.com/users/pwollemi/orgs","repos_url":"https://api.github.com/users/pwollemi/repos","events_url":"https://api.github.com/users/pwollemi/events{/privacy}","received_events_url":"https://api.github.com/users/pwollemi/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/pwollemi/move-coin","description":null,"fork":false,"url":"https://api.github.com/repos/pwollemi/move-coin","forks_url":"https://api.github.com/repos/pwollemi/move-coin/forks","keys_url":"https://api.github.com/repos/pwollemi/move-coin/keys{/key_id}","collaborators_url":"https://api.github.com/repos/pwollemi/move-coin/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/pwollemi/move-coin/teams","hooks_url":"https://api.github.com/repos/pwollemi/move-coin/hooks","issue_events_url":"https://api.github.com/repos/pwollemi/move-coin/issues/events{/number}","events_url":"https://api.github.com/repos/pwollemi/move-coin/events","assignees_url":"https://api.github.com/repos/pwollemi/move-coin/assignees{/user}","branches_url":"https://api.github.com/repos/pwollemi/move-coin/branches{/branch}","tags_url":"https://api.github.com/repos/pwollemi/move-coin/tags","blobs_url":"https://api.github.com/repos/pwollemi/move-coin/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/pwollemi/move-coin/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/pwollemi/move-coin/git/refs{/sha}","trees_url":"https://api.github.com/repos/pwollemi/move-coin/git/trees{/sha}","statuses_url":"https://api.github.com/repos/pwollemi/move-coin/statuses/{sha}","languages_url":"https://api.github.com/repos/pwollemi/move-coin/languages","stargazers_url":"https://api.github.com/repos/pwollemi/move-coin/stargazers","contributors_url":"https://api.github.com/repos/pwollemi/move-coin/contributors","subscribers_url":"https://api.github.com/repos/pwollemi/move-coin/subscribers","subscription_url":"https://api.github.com/repos/pwollemi/move-coin/subscription","commits_url":"https://api.github.com/repos/pwollemi/move-coin/commits{/sha}","git_commits_url":"https://api.github.com/repos/pwollemi/move-coin/git/commits{/sha}","comments_url":"https://api.github.com/repos/pwollemi/move-coin/comments{/number}","issue_comment_url":"https://api.github.com/repos/pwollemi/move-coin/issues/comments{/number}","contents_url":"https://api.github.com/repos/pwollemi/move-coin/contents/{+path}","compare_url":"https://api.github.com/repos/pwollemi/move-coin/compare/{base}...{head}","merges_url":"https://api.github.com/repos/pwollemi/move-coin/merges","archive_url":"https://api.github.com/repos/pwollemi/move-coin/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/pwollemi/move-coin/downloads","issues_url":"https://api.github.com/repos/pwollemi/move-coin/issues{/number}","pulls_url":"https://api.github.com/repos/pwollemi/move-coin/pulls{/number}","milestones_url":"https://api.github.com/repos/pwollemi/move-coin/milestones{/number}","notifications_url":"https://api.github.com/repos/pwollemi/move-coin/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/pwollemi/move-coin/labels{/name}","releases_url":"https://api.github.com/repos/pwollemi/move-coin/releases{/id}","deployments_url":"https://api.github.com/repos/pwollemi/move-coin/deployments","created_at":"2022-08-19T03:01:10Z","updated_at":"2025-03-20T13:08:57Z","pushed_at":"2022-08-19T16:33:54Z","git_url":"git://github.com/pwollemi/move-coin.git","ssh_url":"git@github.com:pwollemi/move-coin.git","clone_url":"https://github.com/pwollemi/move-coin.git","svn_url":"https://github.com/pwollemi/move-coin","homepage":null,"size":30,"stargazers_count":1,"watchers_count":1,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":0,"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":0,"open_issues":0,"watchers":1,"default_branch":"main","score":1.0},{"id":809416944,"node_id":"R_kgDOMD648A","name":"Dafny","full_name":"Junior7JAC/Dafny","private":false,"owner":{"login":"Junior7JAC","id":105203981,"node_id":"U_kgDOBkVJDQ","avatar_url":"https://avatars.githubusercontent.com/u/105203981?v=4","gravatar_id":"","url":"https://api.github.com/users/Junior7JAC","html_url":"https://github.com/Junior7JAC","followers_url":"https://api.github.com/users/Junior7JAC/followers","following_url":"https://api.github.com/users/Junior7JAC/following{/other_user}","gists_url":"https://api.github.com/users/Junior7JAC/gists{/gist_id}","starred_url":"https://api.github.com/users/Junior7JAC/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Junior7JAC/subscriptions","organizations_url":"https://api.github.com/users/Junior7JAC/orgs","repos_url":"https://api.github.com/users/Junior7JAC/repos","events_url":"https://api.github.com/users/Junior7JAC/events{/privacy}","received_events_url":"https://api.github.com/users/Junior7JAC/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Junior7JAC/Dafny","description":"DafnyThesis","fork":false,"url":"https://api.github.com/repos/Junior7JAC/Dafny","forks_url":"https://api.github.com/repos/Junior7JAC/Dafny/forks","keys_url":"https://api.github.com/repos/Junior7JAC/Dafny/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Junior7JAC/Dafny/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Junior7JAC/Dafny/teams","hooks_url":"https://api.github.com/repos/Junior7JAC/Dafny/hooks","issue_events_url":"https://api.github.com/repos/Junior7JAC/Dafny/issues/events{/number}","events_url":"https://api.github.com/repos/Junior7JAC/Dafny/events","assignees_url":"https://api.github.com/repos/Junior7JAC/Dafny/assignees{/user}","branches_url":"https://api.github.com/repos/Junior7JAC/Dafny/branches{/branch}","tags_url":"https://api.github.com/repos/Junior7JAC/Dafny/tags","blobs_url":"https://api.github.com/repos/Junior7JAC/Dafny/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Junior7JAC/Dafny/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Junior7JAC/Dafny/git/refs{/sha}","trees_url":"https://api.github.com/repos/Junior7JAC/Dafny/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Junior7JAC/Dafny/statuses/{sha}","languages_url":"https://api.github.com/repos/Junior7JAC/Dafny/languages","stargazers_url":"https://api.github.com/repos/Junior7JAC/Dafny/stargazers","contributors_url":"https://api.github.com/repos/Junior7JAC/Dafny/contributors","subscribers_url":"https://api.github.com/repos/Junior7JAC/Dafny/subscribers","subscription_url":"https://api.github.com/repos/Junior7JAC/Dafny/subscription","commits_url":"https://api.github.com/repos/Junior7JAC/Dafny/commits{/sha}","git_commits_url":"https://api.github.com/repos/Junior7JAC/Dafny/git/commits{/sha}","comments_url":"https://api.github.com/repos/Junior7JAC/Dafny/comments{/number}","issue_comment_url":"https://api.github.com/repos/Junior7JAC/Dafny/issues/comments{/number}","contents_url":"https://api.github.com/repos/Junior7JAC/Dafny/contents/{+path}","compare_url":"https://api.github.com/repos/Junior7JAC/Dafny/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Junior7JAC/Dafny/merges","archive_url":"https://api.github.com/repos/Junior7JAC/Dafny/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Junior7JAC/Dafny/downloads","issues_url":"https://api.github.com/repos/Junior7JAC/Dafny/issues{/number}","pulls_url":"https://api.github.com/repos/Junior7JAC/Dafny/pulls{/number}","milestones_url":"https://api.github.com/repos/Junior7JAC/Dafny/milestones{/number}","notifications_url":"https://api.github.com/repos/Junior7JAC/Dafny/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Junior7JAC/Dafny/labels{/name}","releases_url":"https://api.github.com/repos/Junior7JAC/Dafny/releases{/id}","deployments_url":"https://api.github.com/repos/Junior7JAC/Dafny/deployments","created_at":"2024-06-02T16:21:37Z","updated_at":"2024-06-24T15:44:19Z","pushed_at":"2024-06-24T15:44:16Z","git_url":"git://github.com/Junior7JAC/Dafny.git","ssh_url":"git@github.com:Junior7JAC/Dafny.git","clone_url":"https://github.com/Junior7JAC/Dafny.git","svn_url":"https://github.com/Junior7JAC/Dafny","homepage":null,"size":2262,"stargazers_count":0,"watchers_count":0,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":0,"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":0,"open_issues":0,"watchers":0,"default_branch":"main","score":1.0},{"id":820316027,"node_id":"R_kgDOMOUHew","name":"odysseyV2","full_name":"velarxneo/odysseyV2","private":false,"owner":{"login":"velarxneo","id":103297551,"node_id":"U_kgDOBigyDw","avatar_url":"https://avatars.githubusercontent.com/u/103297551?v=4","gravatar_id":"","url":"https://api.github.com/users/velarxneo","html_url":"https://github.com/velarxneo","followers_url":"https://api.github.com/users/velarxneo/followers","following_url":"https://api.github.com/users/velarxneo/following{/other_user}","gists_url":"https://api.github.com/users/velarxneo/gists{/gist_id}","starred_url":"https://api.github.com/users/velarxneo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/velarxneo/subscriptions","organizations_url":"https://api.github.com/users/velarxneo/orgs","repos_url":"https://api.github.com/users/velarxneo/repos","events_url":"https://api.github.com/users/velarxneo/events{/privacy}","received_events_url":"https://api.github.com/users/velarxneo/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/velarxneo/odysseyV2","description":null,"fork":false,"url":"https://api.github.com/repos/velarxneo/odysseyV2","forks_url":"https://api.github.com/repos/velarxneo/odysseyV2/forks","keys_url":"https://api.github.com/repos/velarxneo/odysseyV2/keys{/key_id}","collaborators_url":"https://api.github.com/repos/velarxneo/odysseyV2/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/velarxneo/odysseyV2/teams","hooks_url":"https://api.github.com/repos/velarxneo/odysseyV2/hooks","issue_events_url":"https://api.github.com/repos/velarxneo/odysseyV2/issues/events{/number}","events_url":"https://api.github.com/repos/velarxneo/odysseyV2/events","assignees_url":"https://api.github.com/repos/velarxneo/odysseyV2/assignees{/user}","branches_url":"https://api.github.com/repos/velarxneo/odysseyV2/branches{/branch}","tags_url":"https://api.github.com/repos/velarxneo/odysseyV2/tags","blobs_url":"https://api.github.com/repos/velarxneo/odysseyV2/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/velarxneo/odysseyV2/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/velarxneo/odysseyV2/git/refs{/sha}","trees_url":"https://api.github.com/repos/velarxneo/odysseyV2/git/trees{/sha}","statuses_url":"https://api.github.com/repos/velarxneo/odysseyV2/statuses/{sha}","languages_url":"https://api.github.com/repos/velarxneo/odysseyV2/languages","stargazers_url":"https://api.github.com/repos/velarxneo/odysseyV2/stargazers","contributors_url":"https://api.github.com/repos/velarxneo/odysseyV2/contributors","subscribers_url":"https://api.github.com/repos/velarxneo/odysseyV2/subscribers","subscription_url":"https://api.github.com/repos/velarxneo/odysseyV2/subscription","commits_url":"https://api.github.com/repos/velarxneo/odysseyV2/commits{/sha}","git_commits_url":"https://api.github.com/repos/velarxneo/odysseyV2/git/commits{/sha}","comments_url":"https://api.github.com/repos/velarxneo/odysseyV2/comments{/number}","issue_comment_url":"https://api.github.com/repos/velarxneo/odysseyV2/issues/comments{/number}","contents_url":"https://api.github.com/repos/velarxneo/odysseyV2/contents/{+path}","compare_url":"https://api.github.com/repos/velarxneo/odysseyV2/compare/{base}...{head}","merges_url":"https://api.github.com/repos/velarxneo/odysseyV2/merges","archive_url":"https://api.github.com/repos/velarxneo/odysseyV2/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/velarxneo/odysseyV2/downloads","issues_url":"https://api.github.com/repos/velarxneo/odysseyV2/issues{/number}","pulls_url":"https://api.github.com/repos/velarxneo/odysseyV2/pulls{/number}","milestones_url":"https://api.github.com/repos/velarxneo/odysseyV2/milestones{/number}","notifications_url":"https://api.github.com/repos/velarxneo/odysseyV2/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/velarxneo/odysseyV2/labels{/name}","releases_url":"https://api.github.com/repos/velarxneo/odysseyV2/releases{/id}","deployments_url":"https://api.github.com/repos/velarxneo/odysseyV2/deployments","created_at":"2024-06-26T08:25:09Z","updated_at":"2024-06-26T08:26:57Z","pushed_at":"2024-06-26T08:26:53Z","git_url":"git://github.com/velarxneo/odysseyV2.git","ssh_url":"git@github.com:velarxneo/odysseyV2.git","clone_url":"https://github.com/velarxneo/odysseyV2.git","svn_url":"https://github.com/velarxneo/odysseyV2","homepage":null,"size":534,"stargazers_count":0,"watchers_count":0,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":0,"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":0,"open_issues":0,"watchers":0,"default_branch":"main","score":1.0},{"id":697300213,"node_id":"R_kgDOKY_09Q","name":"CT-Prover","full_name":"Luweicai/CT-Prover","private":false,"owner":{"login":"Luweicai","id":47805158,"node_id":"MDQ6VXNlcjQ3ODA1MTU4","avatar_url":"https://avatars.githubusercontent.com/u/47805158?v=4","gravatar_id":"","url":"https://api.github.com/users/Luweicai","html_url":"https://github.com/Luweicai","followers_url":"https://api.github.com/users/Luweicai/followers","following_url":"https://api.github.com/users/Luweicai/following{/other_user}","gists_url":"https://api.github.com/users/Luweicai/gists{/gist_id}","starred_url":"https://api.github.com/users/Luweicai/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Luweicai/subscriptions","organizations_url":"https://api.github.com/users/Luweicai/orgs","repos_url":"https://api.github.com/users/Luweicai/repos","events_url":"https://api.github.com/users/Luweicai/events{/privacy}","received_events_url":"https://api.github.com/users/Luweicai/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Luweicai/CT-Prover","description":null,"fork":false,"url":"https://api.github.com/repos/Luweicai/CT-Prover","forks_url":"https://api.github.com/repos/Luweicai/CT-Prover/forks","keys_url":"https://api.github.com/repos/Luweicai/CT-Prover/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Luweicai/CT-Prover/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Luweicai/CT-Prover/teams","hooks_url":"https://api.github.com/repos/Luweicai/CT-Prover/hooks","issue_events_url":"https://api.github.com/repos/Luweicai/CT-Prover/issues/events{/number}","events_url":"https://api.github.com/repos/Luweicai/CT-Prover/events","assignees_url":"https://api.github.com/repos/Luweicai/CT-Prover/assignees{/user}","branches_url":"https://api.github.com/repos/Luweicai/CT-Prover/branches{/branch}","tags_url":"https://api.github.com/repos/Luweicai/CT-Prover/tags","blobs_url":"https://api.github.com/repos/Luweicai/CT-Prover/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Luweicai/CT-Prover/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Luweicai/CT-Prover/git/refs{/sha}","trees_url":"https://api.github.com/repos/Luweicai/CT-Prover/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Luweicai/CT-Prover/statuses/{sha}","languages_url":"https://api.github.com/repos/Luweicai/CT-Prover/languages","stargazers_url":"https://api.github.com/repos/Luweicai/CT-Prover/stargazers","contributors_url":"https://api.github.com/repos/Luweicai/CT-Prover/contributors","subscribers_url":"https://api.github.com/repos/Luweicai/CT-Prover/subscribers","subscription_url":"https://api.github.com/repos/Luweicai/CT-Prover/subscription","commits_url":"https://api.github.com/repos/Luweicai/CT-Prover/commits{/sha}","git_commits_url":"https://api.github.com/repos/Luweicai/CT-Prover/git/commits{/sha}","comments_url":"https://api.github.com/repos/Luweicai/CT-Prover/comments{/number}","issue_comment_url":"https://api.github.com/repos/Luweicai/CT-Prover/issues/comments{/number}","contents_url":"https://api.github.com/repos/Luweicai/CT-Prover/contents/{+path}","compare_url":"https://api.github.com/repos/Luweicai/CT-Prover/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Luweicai/CT-Prover/merges","archive_url":"https://api.github.com/repos/Luweicai/CT-Prover/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Luweicai/CT-Prover/downloads","issues_url":"https://api.github.com/repos/Luweicai/CT-Prover/issues{/number}","pulls_url":"https://api.github.com/repos/Luweicai/CT-Prover/pulls{/number}","milestones_url":"https://api.github.com/repos/Luweicai/CT-Prover/milestones{/number}","notifications_url":"https://api.github.com/repos/Luweicai/CT-Prover/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Luweicai/CT-Prover/labels{/name}","releases_url":"https://api.github.com/repos/Luweicai/CT-Prover/releases{/id}","deployments_url":"https://api.github.com/repos/Luweicai/CT-Prover/deployments","created_at":"2023-09-27T12:59:57Z","updated_at":"2024-02-20T10:18:47Z","pushed_at":"2024-02-21T12:14:59Z","git_url":"git://github.com/Luweicai/CT-Prover.git","ssh_url":"git@github.com:Luweicai/CT-Prover.git","clone_url":"https://github.com/Luweicai/CT-Prover.git","svn_url":"https://github.com/Luweicai/CT-Prover","homepage":null,"size":163833,"stargazers_count":0,"watchers_count":0,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":0,"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":0,"open_issues":1,"watchers":0,"default_branch":"master","score":1.0},{"id":1136920240,"node_id":"R_kgDOQ8QGsA","name":"tesserapt-veil-prover01","full_name":"sceptejas/tesserapt-veil-prover01","private":false,"owner":{"login":"sceptejas","id":177718652,"node_id":"U_kgDOCpfFfA","avatar_url":"https://avatars.githubusercontent.com/u/177718652?v=4","gravatar_id":"","url":"https://api.github.com/users/sceptejas","html_url":"https://github.com/sceptejas","followers_url":"https://api.github.com/users/sceptejas/followers","following_url":"https://api.github.com/users/sceptejas/following{/other_user}","gists_url":"https://api.github.com/users/sceptejas/gists{/gist_id}","starred_url":"https://api.github.com/users/sceptejas/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sceptejas/subscriptions","organizations_url":"https://api.github.com/users/sceptejas/orgs","repos_url":"https://api.github.com/users/sceptejas/repos","events_url":"https://api.github.com/users/sceptejas/events{/privacy}","received_events_url":"https://api.github.com/users/sceptejas/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/sceptejas/tesserapt-veil-prover01","description":null,"fork":false,"url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01","forks_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/forks","keys_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/keys{/key_id}","collaborators_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/teams","hooks_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/hooks","issue_events_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/issues/events{/number}","events_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/events","assignees_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/assignees{/user}","branches_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/branches{/branch}","tags_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/tags","blobs_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/git/refs{/sha}","trees_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/git/trees{/sha}","statuses_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/statuses/{sha}","languages_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/languages","stargazers_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/stargazers","contributors_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/contributors","subscribers_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/subscribers","subscription_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/subscription","commits_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/commits{/sha}","git_commits_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/git/commits{/sha}","comments_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/comments{/number}","issue_comment_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/issues/comments{/number}","contents_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/contents/{+path}","compare_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/compare/{base}...{head}","merges_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/merges","archive_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/downloads","issues_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/issues{/number}","pulls_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/pulls{/number}","milestones_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/milestones{/number}","notifications_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/labels{/name}","releases_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/releases{/id}","deployments_url":"https://api.github.com/repos/sceptejas/tesserapt-veil-prover01/deployments","created_at":"2026-01-18T15:48:01Z","updated_at":"2026-01-18T15:49:26Z","pushed_at":"2026-01-18T15:49:22Z","git_url":"git://github.com/sceptejas/tesserapt-veil-prover01.git","ssh_url":"git@github.com:sceptejas/tesserapt-veil-prover01.git","clone_url":"https://github.com/sceptejas/tesserapt-veil-prover01.git","svn_url":"https://github.com/sceptejas/tesserapt-veil-prover01","homepage":null,"size":18,"stargazers_count":0,"watchers_count":0,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":0,"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":0,"open_issues":0,"watchers":0,"default_branch":"main","score":1.0},{"id":1148061332,"node_id":"R_kgDORG4GlA","name":"bapel-examples","full_name":"jabolopes/bapel-examples","private":false,"owner":{"login":"jabolopes","id":1850720,"node_id":"MDQ6VXNlcjE4NTA3MjA=","avatar_url":"https://avatars.githubusercontent.com/u/1850720?v=4","gravatar_id":"","url":"https://api.github.com/users/jabolopes","html_url":"https://github.com/jabolopes","followers_url":"https://api.github.com/users/jabolopes/followers","following_url":"https://api.github.com/users/jabolopes/following{/other_user}","gists_url":"https://api.github.com/users/jabolopes/gists{/gist_id}","starred_url":"https://api.github.com/users/jabolopes/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jabolopes/subscriptions","organizations_url":"https://api.github.com/users/jabolopes/orgs","repos_url":"https://api.github.com/users/jabolopes/repos","events_url":"https://api.github.com/users/jabolopes/events{/privacy}","received_events_url":"https://api.github.com/users/jabolopes/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/jabolopes/bapel-examples","description":"Examples written in Bapel","fork":false,"url":"https://api.github.com/repos/jabolopes/bapel-examples","forks_url":"https://api.github.com/repos/jabolopes/bapel-examples/forks","keys_url":"https://api.github.com/repos/jabolopes/bapel-examples/keys{/key_id}","collaborators_url":"https://api.github.com/repos/jabolopes/bapel-examples/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/jabolopes/bapel-examples/teams","hooks_url":"https://api.github.com/repos/jabolopes/bapel-examples/hooks","issue_events_url":"https://api.github.com/repos/jabolopes/bapel-examples/issues/events{/number}","events_url":"https://api.github.com/repos/jabolopes/bapel-examples/events","assignees_url":"https://api.github.com/repos/jabolopes/bapel-examples/assignees{/user}","branches_url":"https://api.github.com/repos/jabolopes/bapel-examples/branches{/branch}","tags_url":"https://api.github.com/repos/jabolopes/bapel-examples/tags","blobs_url":"https://api.github.com/repos/jabolopes/bapel-examples/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/jabolopes/bapel-examples/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/jabolopes/bapel-examples/git/refs{/sha}","trees_url":"https://api.github.com/repos/jabolopes/bapel-examples/git/trees{/sha}","statuses_url":"https://api.github.com/repos/jabolopes/bapel-examples/statuses/{sha}","languages_url":"https://api.github.com/repos/jabolopes/bapel-examples/languages","stargazers_url":"https://api.github.com/repos/jabolopes/bapel-examples/stargazers","contributors_url":"https://api.github.com/repos/jabolopes/bapel-examples/contributors","subscribers_url":"https://api.github.com/repos/jabolopes/bapel-examples/subscribers","subscription_url":"https://api.github.com/repos/jabolopes/bapel-examples/subscription","commits_url":"https://api.github.com/repos/jabolopes/bapel-examples/commits{/sha}","git_commits_url":"https://api.github.com/repos/jabolopes/bapel-examples/git/commits{/sha}","comments_url":"https://api.github.com/repos/jabolopes/bapel-examples/comments{/number}","issue_comment_url":"https://api.github.com/repos/jabolopes/bapel-examples/issues/comments{/number}","contents_url":"https://api.github.com/repos/jabolopes/bapel-examples/contents/{+path}","compare_url":"https://api.github.com/repos/jabolopes/bapel-examples/compare/{base}...{head}","merges_url":"https://api.github.com/repos/jabolopes/bapel-examples/merges","archive_url":"https://api.github.com/repos/jabolopes/bapel-examples/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/jabolopes/bapel-examples/downloads","issues_url":"https://api.github.com/repos/jabolopes/bapel-examples/issues{/number}","pulls_url":"https://api.github.com/repos/jabolopes/bapel-examples/pulls{/number}","milestones_url":"https://api.github.com/repos/jabolopes/bapel-examples/milestones{/number}","notifications_url":"https://api.github.com/repos/jabolopes/bapel-examples/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/jabolopes/bapel-examples/labels{/name}","releases_url":"https://api.github.com/repos/jabolopes/bapel-examples/releases{/id}","deployments_url":"https://api.github.com/repos/jabolopes/bapel-examples/deployments","created_at":"2026-02-02T14:33:02Z","updated_at":"2026-04-14T19:41:48Z","pushed_at":"2026-04-14T19:41:44Z","git_url":"git://github.com/jabolopes/bapel-examples.git","ssh_url":"git@github.com:jabolopes/bapel-examples.git","clone_url":"https://github.com/jabolopes/bapel-examples.git","svn_url":"https://github.com/jabolopes/bapel-examples","homepage":"","size":36,"stargazers_count":0,"watchers_count":0,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":0,"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":["programming-language","programming-languages"],"visibility":"public","forks":0,"open_issues":0,"watchers":0,"default_branch":"main","score":1.0},{"id":80205851,"node_id":"MDEwOlJlcG9zaXRvcnk4MDIwNTg1MQ==","name":"lgs_ground_model","full_name":"anaumchev/lgs_ground_model","private":false,"owner":{"login":"anaumchev","id":6912490,"node_id":"MDQ6VXNlcjY5MTI0OTA=","avatar_url":"https://avatars.githubusercontent.com/u/6912490?v=4","gravatar_id":"","url":"https://api.github.com/users/anaumchev","html_url":"https://github.com/anaumchev","followers_url":"https://api.github.com/users/anaumchev/followers","following_url":"https://api.github.com/users/anaumchev/following{/other_user}","gists_url":"https://api.github.com/users/anaumchev/gists{/gist_id}","starred_url":"https://api.github.com/users/anaumchev/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/anaumchev/subscriptions","organizations_url":"https://api.github.com/users/anaumchev/orgs","repos_url":"https://api.github.com/users/anaumchev/repos","events_url":"https://api.github.com/users/anaumchev/events{/privacy}","received_events_url":"https://api.github.com/users/anaumchev/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/anaumchev/lgs_ground_model","description":"Complements the \"AutoReq: Expressing and verifying requirements for control systems\" article (https://www.sciencedirect.com/science/article/pii/S1045926X18301514).","fork":false,"url":"https://api.github.com/repos/anaumchev/lgs_ground_model","forks_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/forks","keys_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/keys{/key_id}","collaborators_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/teams","hooks_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/hooks","issue_events_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/issues/events{/number}","events_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/events","assignees_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/assignees{/user}","branches_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/branches{/branch}","tags_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/tags","blobs_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/git/refs{/sha}","trees_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/git/trees{/sha}","statuses_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/statuses/{sha}","languages_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/languages","stargazers_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/stargazers","contributors_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/contributors","subscribers_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/subscribers","subscription_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/subscription","commits_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/commits{/sha}","git_commits_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/git/commits{/sha}","comments_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/comments{/number}","issue_comment_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/issues/comments{/number}","contents_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/contents/{+path}","compare_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/compare/{base}...{head}","merges_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/merges","archive_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/downloads","issues_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/issues{/number}","pulls_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/pulls{/number}","milestones_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/milestones{/number}","notifications_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/labels{/name}","releases_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/releases{/id}","deployments_url":"https://api.github.com/repos/anaumchev/lgs_ground_model/deployments","created_at":"2017-01-27T12:32:43Z","updated_at":"2022-01-25T07:20:14Z","pushed_at":"2022-01-25T08:03:44Z","git_url":"git://github.com/anaumchev/lgs_ground_model.git","ssh_url":"git@github.com:anaumchev/lgs_ground_model.git","clone_url":"https://github.com/anaumchev/lgs_ground_model.git","svn_url":"https://github.com/anaumchev/lgs_ground_model","homepage":"","size":247,"stargazers_count":0,"watchers_count":0,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":0,"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":0,"open_issues":0,"watchers":0,"default_branch":"master","score":1.0},{"id":543283463,"node_id":"R_kgDOIGHZBw","name":"aptos_move","full_name":"leinss/aptos_move","private":false,"owner":{"login":"leinss","id":7684178,"node_id":"MDQ6VXNlcjc2ODQxNzg=","avatar_url":"https://avatars.githubusercontent.com/u/7684178?v=4","gravatar_id":"","url":"https://api.github.com/users/leinss","html_url":"https://github.com/leinss","followers_url":"https://api.github.com/users/leinss/followers","following_url":"https://api.github.com/users/leinss/following{/other_user}","gists_url":"https://api.github.com/users/leinss/gists{/gist_id}","starred_url":"https://api.github.com/users/leinss/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/leinss/subscriptions","organizations_url":"https://api.github.com/users/leinss/orgs","repos_url":"https://api.github.com/users/leinss/repos","events_url":"https://api.github.com/users/leinss/events{/privacy}","received_events_url":"https://api.github.com/users/leinss/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/leinss/aptos_move","description":null,"fork":false,"url":"https://api.github.com/repos/leinss/aptos_move","forks_url":"https://api.github.com/repos/leinss/aptos_move/forks","keys_url":"https://api.github.com/repos/leinss/aptos_move/keys{/key_id}","collaborators_url":"https://api.github.com/repos/leinss/aptos_move/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/leinss/aptos_move/teams","hooks_url":"https://api.github.com/repos/leinss/aptos_move/hooks","issue_events_url":"https://api.github.com/repos/leinss/aptos_move/issues/events{/number}","events_url":"https://api.github.com/repos/leinss/aptos_move/events","assignees_url":"https://api.github.com/repos/leinss/aptos_move/assignees{/user}","branches_url":"https://api.github.com/repos/leinss/aptos_move/branches{/branch}","tags_url":"https://api.github.com/repos/leinss/aptos_move/tags","blobs_url":"https://api.github.com/repos/leinss/aptos_move/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/leinss/aptos_move/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/leinss/aptos_move/git/refs{/sha}","trees_url":"https://api.github.com/repos/leinss/aptos_move/git/trees{/sha}","statuses_url":"https://api.github.com/repos/leinss/aptos_move/statuses/{sha}","languages_url":"https://api.github.com/repos/leinss/aptos_move/languages","stargazers_url":"https://api.github.com/repos/leinss/aptos_move/stargazers","contributors_url":"https://api.github.com/repos/leinss/aptos_move/contributors","subscribers_url":"https://api.github.com/repos/leinss/aptos_move/subscribers","subscription_url":"https://api.github.com/repos/leinss/aptos_move/subscription","commits_url":"https://api.github.com/repos/leinss/aptos_move/commits{/sha}","git_commits_url":"https://api.github.com/repos/leinss/aptos_move/git/commits{/sha}","comments_url":"https://api.github.com/repos/leinss/aptos_move/comments{/number}","issue_comment_url":"https://api.github.com/repos/leinss/aptos_move/issues/comments{/number}","contents_url":"https://api.github.com/repos/leinss/aptos_move/contents/{+path}","compare_url":"https://api.github.com/repos/leinss/aptos_move/compare/{base}...{head}","merges_url":"https://api.github.com/repos/leinss/aptos_move/merges","archive_url":"https://api.github.com/repos/leinss/aptos_move/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/leinss/aptos_move/downloads","issues_url":"https://api.github.com/repos/leinss/aptos_move/issues{/number}","pulls_url":"https://api.github.com/repos/leinss/aptos_move/pulls{/number}","milestones_url":"https://api.github.com/repos/leinss/aptos_move/milestones{/number}","notifications_url":"https://api.github.com/repos/leinss/aptos_move/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/leinss/aptos_move/labels{/name}","releases_url":"https://api.github.com/repos/leinss/aptos_move/releases{/id}","deployments_url":"https://api.github.com/repos/leinss/aptos_move/deployments","created_at":"2022-09-29T19:16:57Z","updated_at":"2022-09-29T19:22:04Z","pushed_at":"2022-09-29T19:22:00Z","git_url":"git://github.com/leinss/aptos_move.git","ssh_url":"git@github.com:leinss/aptos_move.git","clone_url":"https://github.com/leinss/aptos_move.git","svn_url":"https://github.com/leinss/aptos_move","homepage":null,"size":34,"stargazers_count":0,"watchers_count":0,"language":"Boogie","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":0,"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":0,"open_issues":0,"watchers":0,"default_branch":"main","score":1.0}]}