{"total_count":716,"incomplete_results":false,"items":[{"id":43025771,"node_id":"MDEwOlJlcG9zaXRvcnk0MzAyNTc3MQ==","name":"Ironclad","full_name":"microsoft/Ironclad","private":false,"owner":{"login":"microsoft","id":6154722,"node_id":"MDEyOk9yZ2FuaXphdGlvbjYxNTQ3MjI=","avatar_url":"https://avatars.githubusercontent.com/u/6154722?v=4","gravatar_id":"","url":"https://api.github.com/users/microsoft","html_url":"https://github.com/microsoft","followers_url":"https://api.github.com/users/microsoft/followers","following_url":"https://api.github.com/users/microsoft/following{/other_user}","gists_url":"https://api.github.com/users/microsoft/gists{/gist_id}","starred_url":"https://api.github.com/users/microsoft/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/microsoft/subscriptions","organizations_url":"https://api.github.com/users/microsoft/orgs","repos_url":"https://api.github.com/users/microsoft/repos","events_url":"https://api.github.com/users/microsoft/events{/privacy}","received_events_url":"https://api.github.com/users/microsoft/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/microsoft/Ironclad","description":"The MSR Ironclad project builds provably secure and reliable systems.","fork":false,"url":"https://api.github.com/repos/microsoft/Ironclad","forks_url":"https://api.github.com/repos/microsoft/Ironclad/forks","keys_url":"https://api.github.com/repos/microsoft/Ironclad/keys{/key_id}","collaborators_url":"https://api.github.com/repos/microsoft/Ironclad/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/microsoft/Ironclad/teams","hooks_url":"https://api.github.com/repos/microsoft/Ironclad/hooks","issue_events_url":"https://api.github.com/repos/microsoft/Ironclad/issues/events{/number}","events_url":"https://api.github.com/repos/microsoft/Ironclad/events","assignees_url":"https://api.github.com/repos/microsoft/Ironclad/assignees{/user}","branches_url":"https://api.github.com/repos/microsoft/Ironclad/branches{/branch}","tags_url":"https://api.github.com/repos/microsoft/Ironclad/tags","blobs_url":"https://api.github.com/repos/microsoft/Ironclad/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/microsoft/Ironclad/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/microsoft/Ironclad/git/refs{/sha}","trees_url":"https://api.github.com/repos/microsoft/Ironclad/git/trees{/sha}","statuses_url":"https://api.github.com/repos/microsoft/Ironclad/statuses/{sha}","languages_url":"https://api.github.com/repos/microsoft/Ironclad/languages","stargazers_url":"https://api.github.com/repos/microsoft/Ironclad/stargazers","contributors_url":"https://api.github.com/repos/microsoft/Ironclad/contributors","subscribers_url":"https://api.github.com/repos/microsoft/Ironclad/subscribers","subscription_url":"https://api.github.com/repos/microsoft/Ironclad/subscription","commits_url":"https://api.github.com/repos/microsoft/Ironclad/commits{/sha}","git_commits_url":"https://api.github.com/repos/microsoft/Ironclad/git/commits{/sha}","comments_url":"https://api.github.com/repos/microsoft/Ironclad/comments{/number}","issue_comment_url":"https://api.github.com/repos/microsoft/Ironclad/issues/comments{/number}","contents_url":"https://api.github.com/repos/microsoft/Ironclad/contents/{+path}","compare_url":"https://api.github.com/repos/microsoft/Ironclad/compare/{base}...{head}","merges_url":"https://api.github.com/repos/microsoft/Ironclad/merges","archive_url":"https://api.github.com/repos/microsoft/Ironclad/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/microsoft/Ironclad/downloads","issues_url":"https://api.github.com/repos/microsoft/Ironclad/issues{/number}","pulls_url":"https://api.github.com/repos/microsoft/Ironclad/pulls{/number}","milestones_url":"https://api.github.com/repos/microsoft/Ironclad/milestones{/number}","notifications_url":"https://api.github.com/repos/microsoft/Ironclad/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/microsoft/Ironclad/labels{/name}","releases_url":"https://api.github.com/repos/microsoft/Ironclad/releases{/id}","deployments_url":"https://api.github.com/repos/microsoft/Ironclad/deployments","created_at":"2015-09-23T20:44:40Z","updated_at":"2026-06-04T15:11:22Z","pushed_at":"2023-06-03T02:12:27Z","git_url":"git://github.com/microsoft/Ironclad.git","ssh_url":"git@github.com:microsoft/Ironclad.git","clone_url":"https://github.com/microsoft/Ironclad.git","svn_url":"https://github.com/microsoft/Ironclad","homepage":"http://research.microsoft.com/en-us/projects/ironclad/","size":84237,"stargazers_count":266,"watchers_count":266,"language":"Dafny","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":60,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":60,"open_issues":1,"watchers":266,"default_branch":"main","score":1.0},{"id":455364661,"node_id":"R_kgDOGyRQNQ","name":"evm-dafny","full_name":"Consensys/evm-dafny","private":false,"owner":{"login":"Consensys","id":10818037,"node_id":"MDEyOk9yZ2FuaXphdGlvbjEwODE4MDM3","avatar_url":"https://avatars.githubusercontent.com/u/10818037?v=4","gravatar_id":"","url":"https://api.github.com/users/Consensys","html_url":"https://github.com/Consensys","followers_url":"https://api.github.com/users/Consensys/followers","following_url":"https://api.github.com/users/Consensys/following{/other_user}","gists_url":"https://api.github.com/users/Consensys/gists{/gist_id}","starred_url":"https://api.github.com/users/Consensys/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Consensys/subscriptions","organizations_url":"https://api.github.com/users/Consensys/orgs","repos_url":"https://api.github.com/users/Consensys/repos","events_url":"https://api.github.com/users/Consensys/events{/privacy}","received_events_url":"https://api.github.com/users/Consensys/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Consensys/evm-dafny","description":"An EVM interpreter in Dafny","fork":false,"url":"https://api.github.com/repos/Consensys/evm-dafny","forks_url":"https://api.github.com/repos/Consensys/evm-dafny/forks","keys_url":"https://api.github.com/repos/Consensys/evm-dafny/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Consensys/evm-dafny/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Consensys/evm-dafny/teams","hooks_url":"https://api.github.com/repos/Consensys/evm-dafny/hooks","issue_events_url":"https://api.github.com/repos/Consensys/evm-dafny/issues/events{/number}","events_url":"https://api.github.com/repos/Consensys/evm-dafny/events","assignees_url":"https://api.github.com/repos/Consensys/evm-dafny/assignees{/user}","branches_url":"https://api.github.com/repos/Consensys/evm-dafny/branches{/branch}","tags_url":"https://api.github.com/repos/Consensys/evm-dafny/tags","blobs_url":"https://api.github.com/repos/Consensys/evm-dafny/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Consensys/evm-dafny/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Consensys/evm-dafny/git/refs{/sha}","trees_url":"https://api.github.com/repos/Consensys/evm-dafny/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Consensys/evm-dafny/statuses/{sha}","languages_url":"https://api.github.com/repos/Consensys/evm-dafny/languages","stargazers_url":"https://api.github.com/repos/Consensys/evm-dafny/stargazers","contributors_url":"https://api.github.com/repos/Consensys/evm-dafny/contributors","subscribers_url":"https://api.github.com/repos/Consensys/evm-dafny/subscribers","subscription_url":"https://api.github.com/repos/Consensys/evm-dafny/subscription","commits_url":"https://api.github.com/repos/Consensys/evm-dafny/commits{/sha}","git_commits_url":"https://api.github.com/repos/Consensys/evm-dafny/git/commits{/sha}","comments_url":"https://api.github.com/repos/Consensys/evm-dafny/comments{/number}","issue_comment_url":"https://api.github.com/repos/Consensys/evm-dafny/issues/comments{/number}","contents_url":"https://api.github.com/repos/Consensys/evm-dafny/contents/{+path}","compare_url":"https://api.github.com/repos/Consensys/evm-dafny/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Consensys/evm-dafny/merges","archive_url":"https://api.github.com/repos/Consensys/evm-dafny/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Consensys/evm-dafny/downloads","issues_url":"https://api.github.com/repos/Consensys/evm-dafny/issues{/number}","pulls_url":"https://api.github.com/repos/Consensys/evm-dafny/pulls{/number}","milestones_url":"https://api.github.com/repos/Consensys/evm-dafny/milestones{/number}","notifications_url":"https://api.github.com/repos/Consensys/evm-dafny/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Consensys/evm-dafny/labels{/name}","releases_url":"https://api.github.com/repos/Consensys/evm-dafny/releases{/id}","deployments_url":"https://api.github.com/repos/Consensys/evm-dafny/deployments","created_at":"2022-02-03T23:39:05Z","updated_at":"2026-06-05T21:11:59Z","pushed_at":"2026-05-11T14:57:28Z","git_url":"git://github.com/Consensys/evm-dafny.git","ssh_url":"git@github.com:Consensys/evm-dafny.git","clone_url":"https://github.com/Consensys/evm-dafny.git","svn_url":"https://github.com/Consensys/evm-dafny","homepage":null,"size":370913,"stargazers_count":140,"watchers_count":140,"language":"Dafny","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":true,"forks_count":8,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":46,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":8,"open_issues":46,"watchers":140,"default_branch":"master","score":1.0},{"id":225297684,"node_id":"MDEwOlJlcG9zaXRvcnkyMjUyOTc2ODQ=","name":"eth2.0-dafny","full_name":"Consensys/eth2.0-dafny","private":false,"owner":{"login":"Consensys","id":10818037,"node_id":"MDEyOk9yZ2FuaXphdGlvbjEwODE4MDM3","avatar_url":"https://avatars.githubusercontent.com/u/10818037?v=4","gravatar_id":"","url":"https://api.github.com/users/Consensys","html_url":"https://github.com/Consensys","followers_url":"https://api.github.com/users/Consensys/followers","following_url":"https://api.github.com/users/Consensys/following{/other_user}","gists_url":"https://api.github.com/users/Consensys/gists{/gist_id}","starred_url":"https://api.github.com/users/Consensys/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Consensys/subscriptions","organizations_url":"https://api.github.com/users/Consensys/orgs","repos_url":"https://api.github.com/users/Consensys/repos","events_url":"https://api.github.com/users/Consensys/events{/privacy}","received_events_url":"https://api.github.com/users/Consensys/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Consensys/eth2.0-dafny","description":"Eth2.0 spec in Dafny","fork":false,"url":"https://api.github.com/repos/Consensys/eth2.0-dafny","forks_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/forks","keys_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/teams","hooks_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/hooks","issue_events_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/issues/events{/number}","events_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/events","assignees_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/assignees{/user}","branches_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/branches{/branch}","tags_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/tags","blobs_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/git/refs{/sha}","trees_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/statuses/{sha}","languages_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/languages","stargazers_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/stargazers","contributors_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/contributors","subscribers_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/subscribers","subscription_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/subscription","commits_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/commits{/sha}","git_commits_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/git/commits{/sha}","comments_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/comments{/number}","issue_comment_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/issues/comments{/number}","contents_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/contents/{+path}","compare_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/merges","archive_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/downloads","issues_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/issues{/number}","pulls_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/pulls{/number}","milestones_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/milestones{/number}","notifications_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/labels{/name}","releases_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/releases{/id}","deployments_url":"https://api.github.com/repos/Consensys/eth2.0-dafny/deployments","created_at":"2019-12-02T06:04:16Z","updated_at":"2026-04-14T22:42:29Z","pushed_at":"2024-06-24T13:23:26Z","git_url":"git://github.com/Consensys/eth2.0-dafny.git","ssh_url":"git@github.com:Consensys/eth2.0-dafny.git","clone_url":"https://github.com/Consensys/eth2.0-dafny.git","svn_url":"https://github.com/Consensys/eth2.0-dafny","homepage":null,"size":2413,"stargazers_count":80,"watchers_count":80,"language":"Dafny","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":15,"mirror_url":null,"archived":true,"disabled":false,"open_issues_count":6,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":15,"open_issues":6,"watchers":80,"default_branch":"master","score":1.0},{"id":807481138,"node_id":"R_kgDOMCEvMg","name":"DafnyBench","full_name":"sun-wendy/DafnyBench","private":false,"owner":{"login":"sun-wendy","id":114196578,"node_id":"U_kgDOBs6AYg","avatar_url":"https://avatars.githubusercontent.com/u/114196578?v=4","gravatar_id":"","url":"https://api.github.com/users/sun-wendy","html_url":"https://github.com/sun-wendy","followers_url":"https://api.github.com/users/sun-wendy/followers","following_url":"https://api.github.com/users/sun-wendy/following{/other_user}","gists_url":"https://api.github.com/users/sun-wendy/gists{/gist_id}","starred_url":"https://api.github.com/users/sun-wendy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sun-wendy/subscriptions","organizations_url":"https://api.github.com/users/sun-wendy/orgs","repos_url":"https://api.github.com/users/sun-wendy/repos","events_url":"https://api.github.com/users/sun-wendy/events{/privacy}","received_events_url":"https://api.github.com/users/sun-wendy/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/sun-wendy/DafnyBench","description":"DafnyBench: A Benchmark for Formal Software Verification","fork":false,"url":"https://api.github.com/repos/sun-wendy/DafnyBench","forks_url":"https://api.github.com/repos/sun-wendy/DafnyBench/forks","keys_url":"https://api.github.com/repos/sun-wendy/DafnyBench/keys{/key_id}","collaborators_url":"https://api.github.com/repos/sun-wendy/DafnyBench/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/sun-wendy/DafnyBench/teams","hooks_url":"https://api.github.com/repos/sun-wendy/DafnyBench/hooks","issue_events_url":"https://api.github.com/repos/sun-wendy/DafnyBench/issues/events{/number}","events_url":"https://api.github.com/repos/sun-wendy/DafnyBench/events","assignees_url":"https://api.github.com/repos/sun-wendy/DafnyBench/assignees{/user}","branches_url":"https://api.github.com/repos/sun-wendy/DafnyBench/branches{/branch}","tags_url":"https://api.github.com/repos/sun-wendy/DafnyBench/tags","blobs_url":"https://api.github.com/repos/sun-wendy/DafnyBench/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/sun-wendy/DafnyBench/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/sun-wendy/DafnyBench/git/refs{/sha}","trees_url":"https://api.github.com/repos/sun-wendy/DafnyBench/git/trees{/sha}","statuses_url":"https://api.github.com/repos/sun-wendy/DafnyBench/statuses/{sha}","languages_url":"https://api.github.com/repos/sun-wendy/DafnyBench/languages","stargazers_url":"https://api.github.com/repos/sun-wendy/DafnyBench/stargazers","contributors_url":"https://api.github.com/repos/sun-wendy/DafnyBench/contributors","subscribers_url":"https://api.github.com/repos/sun-wendy/DafnyBench/subscribers","subscription_url":"https://api.github.com/repos/sun-wendy/DafnyBench/subscription","commits_url":"https://api.github.com/repos/sun-wendy/DafnyBench/commits{/sha}","git_commits_url":"https://api.github.com/repos/sun-wendy/DafnyBench/git/commits{/sha}","comments_url":"https://api.github.com/repos/sun-wendy/DafnyBench/comments{/number}","issue_comment_url":"https://api.github.com/repos/sun-wendy/DafnyBench/issues/comments{/number}","contents_url":"https://api.github.com/repos/sun-wendy/DafnyBench/contents/{+path}","compare_url":"https://api.github.com/repos/sun-wendy/DafnyBench/compare/{base}...{head}","merges_url":"https://api.github.com/repos/sun-wendy/DafnyBench/merges","archive_url":"https://api.github.com/repos/sun-wendy/DafnyBench/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/sun-wendy/DafnyBench/downloads","issues_url":"https://api.github.com/repos/sun-wendy/DafnyBench/issues{/number}","pulls_url":"https://api.github.com/repos/sun-wendy/DafnyBench/pulls{/number}","milestones_url":"https://api.github.com/repos/sun-wendy/DafnyBench/milestones{/number}","notifications_url":"https://api.github.com/repos/sun-wendy/DafnyBench/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/sun-wendy/DafnyBench/labels{/name}","releases_url":"https://api.github.com/repos/sun-wendy/DafnyBench/releases{/id}","deployments_url":"https://api.github.com/repos/sun-wendy/DafnyBench/deployments","created_at":"2024-05-29T07:26:27Z","updated_at":"2026-05-21T17:16:11Z","pushed_at":"2024-12-12T07:08:20Z","git_url":"git://github.com/sun-wendy/DafnyBench.git","ssh_url":"git@github.com:sun-wendy/DafnyBench.git","clone_url":"https://github.com/sun-wendy/DafnyBench.git","svn_url":"https://github.com/sun-wendy/DafnyBench","homepage":"","size":5929,"stargazers_count":65,"watchers_count":65,"language":"Dafny","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":12,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":2,"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":["benchmark","dafny","formal-verification","language-model","program-verification"],"visibility":"public","forks":12,"open_issues":2,"watchers":65,"default_branch":"main","score":1.0},{"id":707971391,"node_id":"R_kgDOKjLJPw","name":"evm-dis","full_name":"franck44/evm-dis","private":false,"owner":{"login":"franck44","id":14901362,"node_id":"MDQ6VXNlcjE0OTAxMzYy","avatar_url":"https://avatars.githubusercontent.com/u/14901362?v=4","gravatar_id":"","url":"https://api.github.com/users/franck44","html_url":"https://github.com/franck44","followers_url":"https://api.github.com/users/franck44/followers","following_url":"https://api.github.com/users/franck44/following{/other_user}","gists_url":"https://api.github.com/users/franck44/gists{/gist_id}","starred_url":"https://api.github.com/users/franck44/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/franck44/subscriptions","organizations_url":"https://api.github.com/users/franck44/orgs","repos_url":"https://api.github.com/users/franck44/repos","events_url":"https://api.github.com/users/franck44/events{/privacy}","received_events_url":"https://api.github.com/users/franck44/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/franck44/evm-dis","description":"An EVM bytecode disassembler/assembler","fork":false,"url":"https://api.github.com/repos/franck44/evm-dis","forks_url":"https://api.github.com/repos/franck44/evm-dis/forks","keys_url":"https://api.github.com/repos/franck44/evm-dis/keys{/key_id}","collaborators_url":"https://api.github.com/repos/franck44/evm-dis/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/franck44/evm-dis/teams","hooks_url":"https://api.github.com/repos/franck44/evm-dis/hooks","issue_events_url":"https://api.github.com/repos/franck44/evm-dis/issues/events{/number}","events_url":"https://api.github.com/repos/franck44/evm-dis/events","assignees_url":"https://api.github.com/repos/franck44/evm-dis/assignees{/user}","branches_url":"https://api.github.com/repos/franck44/evm-dis/branches{/branch}","tags_url":"https://api.github.com/repos/franck44/evm-dis/tags","blobs_url":"https://api.github.com/repos/franck44/evm-dis/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/franck44/evm-dis/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/franck44/evm-dis/git/refs{/sha}","trees_url":"https://api.github.com/repos/franck44/evm-dis/git/trees{/sha}","statuses_url":"https://api.github.com/repos/franck44/evm-dis/statuses/{sha}","languages_url":"https://api.github.com/repos/franck44/evm-dis/languages","stargazers_url":"https://api.github.com/repos/franck44/evm-dis/stargazers","contributors_url":"https://api.github.com/repos/franck44/evm-dis/contributors","subscribers_url":"https://api.github.com/repos/franck44/evm-dis/subscribers","subscription_url":"https://api.github.com/repos/franck44/evm-dis/subscription","commits_url":"https://api.github.com/repos/franck44/evm-dis/commits{/sha}","git_commits_url":"https://api.github.com/repos/franck44/evm-dis/git/commits{/sha}","comments_url":"https://api.github.com/repos/franck44/evm-dis/comments{/number}","issue_comment_url":"https://api.github.com/repos/franck44/evm-dis/issues/comments{/number}","contents_url":"https://api.github.com/repos/franck44/evm-dis/contents/{+path}","compare_url":"https://api.github.com/repos/franck44/evm-dis/compare/{base}...{head}","merges_url":"https://api.github.com/repos/franck44/evm-dis/merges","archive_url":"https://api.github.com/repos/franck44/evm-dis/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/franck44/evm-dis/downloads","issues_url":"https://api.github.com/repos/franck44/evm-dis/issues{/number}","pulls_url":"https://api.github.com/repos/franck44/evm-dis/pulls{/number}","milestones_url":"https://api.github.com/repos/franck44/evm-dis/milestones{/number}","notifications_url":"https://api.github.com/repos/franck44/evm-dis/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/franck44/evm-dis/labels{/name}","releases_url":"https://api.github.com/repos/franck44/evm-dis/releases{/id}","deployments_url":"https://api.github.com/repos/franck44/evm-dis/deployments","created_at":"2023-10-21T06:10:52Z","updated_at":"2026-03-12T09:37:04Z","pushed_at":"2024-12-20T05:10:02Z","git_url":"git://github.com/franck44/evm-dis.git","ssh_url":"git@github.com:franck44/evm-dis.git","clone_url":"https://github.com/franck44/evm-dis.git","svn_url":"https://github.com/franck44/evm-dis","homepage":null,"size":107561,"stargazers_count":55,"watchers_count":55,"language":"Dafny","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":11,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":15,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":11,"open_issues":15,"watchers":55,"default_branch":"main","score":1.0},{"id":650626114,"node_id":"R_kgDOJsfEQg","name":"dafny-synthesis","full_name":"Mondego/dafny-synthesis","private":false,"owner":{"login":"Mondego","id":3903688,"node_id":"MDEyOk9yZ2FuaXphdGlvbjM5MDM2ODg=","avatar_url":"https://avatars.githubusercontent.com/u/3903688?v=4","gravatar_id":"","url":"https://api.github.com/users/Mondego","html_url":"https://github.com/Mondego","followers_url":"https://api.github.com/users/Mondego/followers","following_url":"https://api.github.com/users/Mondego/following{/other_user}","gists_url":"https://api.github.com/users/Mondego/gists{/gist_id}","starred_url":"https://api.github.com/users/Mondego/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Mondego/subscriptions","organizations_url":"https://api.github.com/users/Mondego/orgs","repos_url":"https://api.github.com/users/Mondego/repos","events_url":"https://api.github.com/users/Mondego/events{/privacy}","received_events_url":"https://api.github.com/users/Mondego/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Mondego/dafny-synthesis","description":"[FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods","fork":false,"url":"https://api.github.com/repos/Mondego/dafny-synthesis","forks_url":"https://api.github.com/repos/Mondego/dafny-synthesis/forks","keys_url":"https://api.github.com/repos/Mondego/dafny-synthesis/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Mondego/dafny-synthesis/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Mondego/dafny-synthesis/teams","hooks_url":"https://api.github.com/repos/Mondego/dafny-synthesis/hooks","issue_events_url":"https://api.github.com/repos/Mondego/dafny-synthesis/issues/events{/number}","events_url":"https://api.github.com/repos/Mondego/dafny-synthesis/events","assignees_url":"https://api.github.com/repos/Mondego/dafny-synthesis/assignees{/user}","branches_url":"https://api.github.com/repos/Mondego/dafny-synthesis/branches{/branch}","tags_url":"https://api.github.com/repos/Mondego/dafny-synthesis/tags","blobs_url":"https://api.github.com/repos/Mondego/dafny-synthesis/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Mondego/dafny-synthesis/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Mondego/dafny-synthesis/git/refs{/sha}","trees_url":"https://api.github.com/repos/Mondego/dafny-synthesis/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Mondego/dafny-synthesis/statuses/{sha}","languages_url":"https://api.github.com/repos/Mondego/dafny-synthesis/languages","stargazers_url":"https://api.github.com/repos/Mondego/dafny-synthesis/stargazers","contributors_url":"https://api.github.com/repos/Mondego/dafny-synthesis/contributors","subscribers_url":"https://api.github.com/repos/Mondego/dafny-synthesis/subscribers","subscription_url":"https://api.github.com/repos/Mondego/dafny-synthesis/subscription","commits_url":"https://api.github.com/repos/Mondego/dafny-synthesis/commits{/sha}","git_commits_url":"https://api.github.com/repos/Mondego/dafny-synthesis/git/commits{/sha}","comments_url":"https://api.github.com/repos/Mondego/dafny-synthesis/comments{/number}","issue_comment_url":"https://api.github.com/repos/Mondego/dafny-synthesis/issues/comments{/number}","contents_url":"https://api.github.com/repos/Mondego/dafny-synthesis/contents/{+path}","compare_url":"https://api.github.com/repos/Mondego/dafny-synthesis/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Mondego/dafny-synthesis/merges","archive_url":"https://api.github.com/repos/Mondego/dafny-synthesis/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Mondego/dafny-synthesis/downloads","issues_url":"https://api.github.com/repos/Mondego/dafny-synthesis/issues{/number}","pulls_url":"https://api.github.com/repos/Mondego/dafny-synthesis/pulls{/number}","milestones_url":"https://api.github.com/repos/Mondego/dafny-synthesis/milestones{/number}","notifications_url":"https://api.github.com/repos/Mondego/dafny-synthesis/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Mondego/dafny-synthesis/labels{/name}","releases_url":"https://api.github.com/repos/Mondego/dafny-synthesis/releases{/id}","deployments_url":"https://api.github.com/repos/Mondego/dafny-synthesis/deployments","created_at":"2023-06-07T13:13:57Z","updated_at":"2026-05-21T08:17:30Z","pushed_at":"2024-06-09T21:49:08Z","git_url":"git://github.com/Mondego/dafny-synthesis.git","ssh_url":"git@github.com:Mondego/dafny-synthesis.git","clone_url":"https://github.com/Mondego/dafny-synthesis.git","svn_url":"https://github.com/Mondego/dafny-synthesis","homepage":"https://dafny-synthesis.web.app/","size":797,"stargazers_count":55,"watchers_count":55,"language":"Dafny","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":2,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":2,"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":["dafny","llms","program-synthesis","program-verification"],"visibility":"public","forks":2,"open_issues":2,"watchers":55,"default_branch":"master","score":1.0},{"id":198724920,"node_id":"MDEwOlJlcG9zaXRvcnkxOTg3MjQ5MjA=","name":"libraries","full_name":"dafny-lang/libraries","private":false,"owner":{"login":"dafny-lang","id":52358127,"node_id":"MDEyOk9yZ2FuaXphdGlvbjUyMzU4MTI3","avatar_url":"https://avatars.githubusercontent.com/u/52358127?v=4","gravatar_id":"","url":"https://api.github.com/users/dafny-lang","html_url":"https://github.com/dafny-lang","followers_url":"https://api.github.com/users/dafny-lang/followers","following_url":"https://api.github.com/users/dafny-lang/following{/other_user}","gists_url":"https://api.github.com/users/dafny-lang/gists{/gist_id}","starred_url":"https://api.github.com/users/dafny-lang/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dafny-lang/subscriptions","organizations_url":"https://api.github.com/users/dafny-lang/orgs","repos_url":"https://api.github.com/users/dafny-lang/repos","events_url":"https://api.github.com/users/dafny-lang/events{/privacy}","received_events_url":"https://api.github.com/users/dafny-lang/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/dafny-lang/libraries","description":"Libraries useful for Dafny programs","fork":false,"url":"https://api.github.com/repos/dafny-lang/libraries","forks_url":"https://api.github.com/repos/dafny-lang/libraries/forks","keys_url":"https://api.github.com/repos/dafny-lang/libraries/keys{/key_id}","collaborators_url":"https://api.github.com/repos/dafny-lang/libraries/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/dafny-lang/libraries/teams","hooks_url":"https://api.github.com/repos/dafny-lang/libraries/hooks","issue_events_url":"https://api.github.com/repos/dafny-lang/libraries/issues/events{/number}","events_url":"https://api.github.com/repos/dafny-lang/libraries/events","assignees_url":"https://api.github.com/repos/dafny-lang/libraries/assignees{/user}","branches_url":"https://api.github.com/repos/dafny-lang/libraries/branches{/branch}","tags_url":"https://api.github.com/repos/dafny-lang/libraries/tags","blobs_url":"https://api.github.com/repos/dafny-lang/libraries/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/dafny-lang/libraries/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/dafny-lang/libraries/git/refs{/sha}","trees_url":"https://api.github.com/repos/dafny-lang/libraries/git/trees{/sha}","statuses_url":"https://api.github.com/repos/dafny-lang/libraries/statuses/{sha}","languages_url":"https://api.github.com/repos/dafny-lang/libraries/languages","stargazers_url":"https://api.github.com/repos/dafny-lang/libraries/stargazers","contributors_url":"https://api.github.com/repos/dafny-lang/libraries/contributors","subscribers_url":"https://api.github.com/repos/dafny-lang/libraries/subscribers","subscription_url":"https://api.github.com/repos/dafny-lang/libraries/subscription","commits_url":"https://api.github.com/repos/dafny-lang/libraries/commits{/sha}","git_commits_url":"https://api.github.com/repos/dafny-lang/libraries/git/commits{/sha}","comments_url":"https://api.github.com/repos/dafny-lang/libraries/comments{/number}","issue_comment_url":"https://api.github.com/repos/dafny-lang/libraries/issues/comments{/number}","contents_url":"https://api.github.com/repos/dafny-lang/libraries/contents/{+path}","compare_url":"https://api.github.com/repos/dafny-lang/libraries/compare/{base}...{head}","merges_url":"https://api.github.com/repos/dafny-lang/libraries/merges","archive_url":"https://api.github.com/repos/dafny-lang/libraries/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/dafny-lang/libraries/downloads","issues_url":"https://api.github.com/repos/dafny-lang/libraries/issues{/number}","pulls_url":"https://api.github.com/repos/dafny-lang/libraries/pulls{/number}","milestones_url":"https://api.github.com/repos/dafny-lang/libraries/milestones{/number}","notifications_url":"https://api.github.com/repos/dafny-lang/libraries/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/dafny-lang/libraries/labels{/name}","releases_url":"https://api.github.com/repos/dafny-lang/libraries/releases{/id}","deployments_url":"https://api.github.com/repos/dafny-lang/libraries/deployments","created_at":"2019-07-24T23:56:47Z","updated_at":"2026-04-25T11:02:04Z","pushed_at":"2025-08-19T22:32:18Z","git_url":"git://github.com/dafny-lang/libraries.git","ssh_url":"git@github.com:dafny-lang/libraries.git","clone_url":"https://github.com/dafny-lang/libraries.git","svn_url":"https://github.com/dafny-lang/libraries","homepage":null,"size":1586,"stargazers_count":50,"watchers_count":50,"language":"Dafny","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":27,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":59,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":27,"open_issues":59,"watchers":50,"default_branch":"master","score":1.0},{"id":709049601,"node_id":"R_kgDOKkM9AQ","name":"Clover","full_name":"ChuyueSun/Clover","private":false,"owner":{"login":"ChuyueSun","id":33578456,"node_id":"MDQ6VXNlcjMzNTc4NDU2","avatar_url":"https://avatars.githubusercontent.com/u/33578456?v=4","gravatar_id":"","url":"https://api.github.com/users/ChuyueSun","html_url":"https://github.com/ChuyueSun","followers_url":"https://api.github.com/users/ChuyueSun/followers","following_url":"https://api.github.com/users/ChuyueSun/following{/other_user}","gists_url":"https://api.github.com/users/ChuyueSun/gists{/gist_id}","starred_url":"https://api.github.com/users/ChuyueSun/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ChuyueSun/subscriptions","organizations_url":"https://api.github.com/users/ChuyueSun/orgs","repos_url":"https://api.github.com/users/ChuyueSun/repos","events_url":"https://api.github.com/users/ChuyueSun/events{/privacy}","received_events_url":"https://api.github.com/users/ChuyueSun/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/ChuyueSun/Clover","description":"Clover: Closed-Loop Verifiable Code Generation","fork":false,"url":"https://api.github.com/repos/ChuyueSun/Clover","forks_url":"https://api.github.com/repos/ChuyueSun/Clover/forks","keys_url":"https://api.github.com/repos/ChuyueSun/Clover/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ChuyueSun/Clover/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ChuyueSun/Clover/teams","hooks_url":"https://api.github.com/repos/ChuyueSun/Clover/hooks","issue_events_url":"https://api.github.com/repos/ChuyueSun/Clover/issues/events{/number}","events_url":"https://api.github.com/repos/ChuyueSun/Clover/events","assignees_url":"https://api.github.com/repos/ChuyueSun/Clover/assignees{/user}","branches_url":"https://api.github.com/repos/ChuyueSun/Clover/branches{/branch}","tags_url":"https://api.github.com/repos/ChuyueSun/Clover/tags","blobs_url":"https://api.github.com/repos/ChuyueSun/Clover/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ChuyueSun/Clover/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ChuyueSun/Clover/git/refs{/sha}","trees_url":"https://api.github.com/repos/ChuyueSun/Clover/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ChuyueSun/Clover/statuses/{sha}","languages_url":"https://api.github.com/repos/ChuyueSun/Clover/languages","stargazers_url":"https://api.github.com/repos/ChuyueSun/Clover/stargazers","contributors_url":"https://api.github.com/repos/ChuyueSun/Clover/contributors","subscribers_url":"https://api.github.com/repos/ChuyueSun/Clover/subscribers","subscription_url":"https://api.github.com/repos/ChuyueSun/Clover/subscription","commits_url":"https://api.github.com/repos/ChuyueSun/Clover/commits{/sha}","git_commits_url":"https://api.github.com/repos/ChuyueSun/Clover/git/commits{/sha}","comments_url":"https://api.github.com/repos/ChuyueSun/Clover/comments{/number}","issue_comment_url":"https://api.github.com/repos/ChuyueSun/Clover/issues/comments{/number}","contents_url":"https://api.github.com/repos/ChuyueSun/Clover/contents/{+path}","compare_url":"https://api.github.com/repos/ChuyueSun/Clover/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ChuyueSun/Clover/merges","archive_url":"https://api.github.com/repos/ChuyueSun/Clover/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ChuyueSun/Clover/downloads","issues_url":"https://api.github.com/repos/ChuyueSun/Clover/issues{/number}","pulls_url":"https://api.github.com/repos/ChuyueSun/Clover/pulls{/number}","milestones_url":"https://api.github.com/repos/ChuyueSun/Clover/milestones{/number}","notifications_url":"https://api.github.com/repos/ChuyueSun/Clover/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ChuyueSun/Clover/labels{/name}","releases_url":"https://api.github.com/repos/ChuyueSun/Clover/releases{/id}","deployments_url":"https://api.github.com/repos/ChuyueSun/Clover/deployments","created_at":"2023-10-23T22:57:56Z","updated_at":"2026-05-06T18:34:35Z","pushed_at":"2025-05-12T22:21:14Z","git_url":"git://github.com/ChuyueSun/Clover.git","ssh_url":"git@github.com:ChuyueSun/Clover.git","clone_url":"https://github.com/ChuyueSun/Clover.git","svn_url":"https://github.com/ChuyueSun/Clover","homepage":"","size":13212,"stargazers_count":47,"watchers_count":47,"language":"Dafny","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":4,"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":4,"open_issues":3,"watchers":47,"default_branch":"main","score":1.0},{"id":241999966,"node_id":"MDEwOlJlcG9zaXRvcnkyNDE5OTk5NjY=","name":"lets-prove-blocking-queue","full_name":"lemmy/lets-prove-blocking-queue","private":false,"owner":{"login":"lemmy","id":88777,"node_id":"MDQ6VXNlcjg4Nzc3","avatar_url":"https://avatars.githubusercontent.com/u/88777?v=4","gravatar_id":"","url":"https://api.github.com/users/lemmy","html_url":"https://github.com/lemmy","followers_url":"https://api.github.com/users/lemmy/followers","following_url":"https://api.github.com/users/lemmy/following{/other_user}","gists_url":"https://api.github.com/users/lemmy/gists{/gist_id}","starred_url":"https://api.github.com/users/lemmy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lemmy/subscriptions","organizations_url":"https://api.github.com/users/lemmy/orgs","repos_url":"https://api.github.com/users/lemmy/repos","events_url":"https://api.github.com/users/lemmy/events{/privacy}","received_events_url":"https://api.github.com/users/lemmy/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/lemmy/lets-prove-blocking-queue","description":"Proving a blocking queue deadlock free in a dozen different ways ","fork":false,"url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue","forks_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/forks","keys_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/keys{/key_id}","collaborators_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/teams","hooks_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/hooks","issue_events_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/issues/events{/number}","events_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/events","assignees_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/assignees{/user}","branches_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/branches{/branch}","tags_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/tags","blobs_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/git/refs{/sha}","trees_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/git/trees{/sha}","statuses_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/statuses/{sha}","languages_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/languages","stargazers_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/stargazers","contributors_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/contributors","subscribers_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/subscribers","subscription_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/subscription","commits_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/commits{/sha}","git_commits_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/git/commits{/sha}","comments_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/comments{/number}","issue_comment_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/issues/comments{/number}","contents_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/contents/{+path}","compare_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/compare/{base}...{head}","merges_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/merges","archive_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/downloads","issues_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/issues{/number}","pulls_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/pulls{/number}","milestones_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/milestones{/number}","notifications_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/labels{/name}","releases_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/releases{/id}","deployments_url":"https://api.github.com/repos/lemmy/lets-prove-blocking-queue/deployments","created_at":"2020-02-20T22:04:42Z","updated_at":"2026-04-29T09:51:50Z","pushed_at":"2026-04-22T01:26:21Z","git_url":"git://github.com/lemmy/lets-prove-blocking-queue.git","ssh_url":"git@github.com:lemmy/lets-prove-blocking-queue.git","clone_url":"https://github.com/lemmy/lets-prove-blocking-queue.git","svn_url":"https://github.com/lemmy/lets-prove-blocking-queue","homepage":"","size":145,"stargazers_count":45,"watchers_count":45,"language":"Dafny","has_issues":true,"has_projects":false,"has_downloads":true,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":5,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":{"key":"cc0-1.0","name":"Creative Commons Zero v1.0 Universal","spdx_id":"CC0-1.0","url":"https://api.github.com/licenses/cc0-1.0","node_id":"MDc6TGljZW5zZTY="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["algorithm","concurrency","deadlock-freedom","proof","tla","tlaplus"],"visibility":"public","forks":5,"open_issues":1,"watchers":45,"default_branch":"master","score":1.0},{"id":325077883,"node_id":"MDEwOlJlcG9zaXRvcnkzMjUwNzc4ODM=","name":"daisy-nfsd","full_name":"mit-pdos/daisy-nfsd","private":false,"owner":{"login":"mit-pdos","id":12404246,"node_id":"MDEyOk9yZ2FuaXphdGlvbjEyNDA0MjQ2","avatar_url":"https://avatars.githubusercontent.com/u/12404246?v=4","gravatar_id":"","url":"https://api.github.com/users/mit-pdos","html_url":"https://github.com/mit-pdos","followers_url":"https://api.github.com/users/mit-pdos/followers","following_url":"https://api.github.com/users/mit-pdos/following{/other_user}","gists_url":"https://api.github.com/users/mit-pdos/gists{/gist_id}","starred_url":"https://api.github.com/users/mit-pdos/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mit-pdos/subscriptions","organizations_url":"https://api.github.com/users/mit-pdos/orgs","repos_url":"https://api.github.com/users/mit-pdos/repos","events_url":"https://api.github.com/users/mit-pdos/events{/privacy}","received_events_url":"https://api.github.com/users/mit-pdos/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/mit-pdos/daisy-nfsd","description":"DaisyNFS is an NFS server verified using Dafny and Perennial.","fork":false,"url":"https://api.github.com/repos/mit-pdos/daisy-nfsd","forks_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/forks","keys_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/keys{/key_id}","collaborators_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/teams","hooks_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/hooks","issue_events_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/issues/events{/number}","events_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/events","assignees_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/assignees{/user}","branches_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/branches{/branch}","tags_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/tags","blobs_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/git/refs{/sha}","trees_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/git/trees{/sha}","statuses_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/statuses/{sha}","languages_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/languages","stargazers_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/stargazers","contributors_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/contributors","subscribers_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/subscribers","subscription_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/subscription","commits_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/commits{/sha}","git_commits_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/git/commits{/sha}","comments_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/comments{/number}","issue_comment_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/issues/comments{/number}","contents_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/contents/{+path}","compare_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/compare/{base}...{head}","merges_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/merges","archive_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/downloads","issues_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/issues{/number}","pulls_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/pulls{/number}","milestones_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/milestones{/number}","notifications_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/labels{/name}","releases_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/releases{/id}","deployments_url":"https://api.github.com/repos/mit-pdos/daisy-nfsd/deployments","created_at":"2020-12-28T17:45:09Z","updated_at":"2026-06-03T17:17:13Z","pushed_at":"2024-10-16T23:35:08Z","git_url":"git://github.com/mit-pdos/daisy-nfsd.git","ssh_url":"git@github.com:mit-pdos/daisy-nfsd.git","clone_url":"https://github.com/mit-pdos/daisy-nfsd.git","svn_url":"https://github.com/mit-pdos/daisy-nfsd","homepage":"","size":1917,"stargazers_count":44,"watchers_count":44,"language":"Dafny","has_issues":true,"has_projects":false,"has_downloads":true,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":6,"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":["dafny","verification"],"visibility":"public","forks":6,"open_issues":0,"watchers":44,"default_branch":"main","score":1.0},{"id":342954381,"node_id":"MDEwOlJlcG9zaXRvcnkzNDI5NTQzODE=","name":"verified-betrfs","full_name":"vmware-labs/verified-betrfs","private":false,"owner":{"login":"vmware-labs","id":62306860,"node_id":"MDEyOk9yZ2FuaXphdGlvbjYyMzA2ODYw","avatar_url":"https://avatars.githubusercontent.com/u/62306860?v=4","gravatar_id":"","url":"https://api.github.com/users/vmware-labs","html_url":"https://github.com/vmware-labs","followers_url":"https://api.github.com/users/vmware-labs/followers","following_url":"https://api.github.com/users/vmware-labs/following{/other_user}","gists_url":"https://api.github.com/users/vmware-labs/gists{/gist_id}","starred_url":"https://api.github.com/users/vmware-labs/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vmware-labs/subscriptions","organizations_url":"https://api.github.com/users/vmware-labs/orgs","repos_url":"https://api.github.com/users/vmware-labs/repos","events_url":"https://api.github.com/users/vmware-labs/events{/privacy}","received_events_url":"https://api.github.com/users/vmware-labs/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/vmware-labs/verified-betrfs","description":"A verified high-performance file system","fork":false,"url":"https://api.github.com/repos/vmware-labs/verified-betrfs","forks_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/forks","keys_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/keys{/key_id}","collaborators_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/teams","hooks_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/hooks","issue_events_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/issues/events{/number}","events_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/events","assignees_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/assignees{/user}","branches_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/branches{/branch}","tags_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/tags","blobs_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/git/refs{/sha}","trees_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/git/trees{/sha}","statuses_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/statuses/{sha}","languages_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/languages","stargazers_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/stargazers","contributors_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/contributors","subscribers_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/subscribers","subscription_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/subscription","commits_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/commits{/sha}","git_commits_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/git/commits{/sha}","comments_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/comments{/number}","issue_comment_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/issues/comments{/number}","contents_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/contents/{+path}","compare_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/compare/{base}...{head}","merges_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/merges","archive_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/downloads","issues_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/issues{/number}","pulls_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/pulls{/number}","milestones_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/milestones{/number}","notifications_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/labels{/name}","releases_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/releases{/id}","deployments_url":"https://api.github.com/repos/vmware-labs/verified-betrfs/deployments","created_at":"2021-02-27T20:42:35Z","updated_at":"2026-03-17T21:47:22Z","pushed_at":"2025-06-30T18:46:12Z","git_url":"git://github.com/vmware-labs/verified-betrfs.git","ssh_url":"git@github.com:vmware-labs/verified-betrfs.git","clone_url":"https://github.com/vmware-labs/verified-betrfs.git","svn_url":"https://github.com/vmware-labs/verified-betrfs","homepage":null,"size":110980,"stargazers_count":40,"watchers_count":40,"language":"Dafny","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":11,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":2,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":11,"open_issues":2,"watchers":40,"default_branch":"main","score":1.0},{"id":6407027,"node_id":"MDEwOlJlcG9zaXRvcnk2NDA3MDI3","name":"dafny-sandbox","full_name":"namin/dafny-sandbox","private":false,"owner":{"login":"namin","id":6441,"node_id":"MDQ6VXNlcjY0NDE=","avatar_url":"https://avatars.githubusercontent.com/u/6441?v=4","gravatar_id":"","url":"https://api.github.com/users/namin","html_url":"https://github.com/namin","followers_url":"https://api.github.com/users/namin/followers","following_url":"https://api.github.com/users/namin/following{/other_user}","gists_url":"https://api.github.com/users/namin/gists{/gist_id}","starred_url":"https://api.github.com/users/namin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/namin/subscriptions","organizations_url":"https://api.github.com/users/namin/orgs","repos_url":"https://api.github.com/users/namin/repos","events_url":"https://api.github.com/users/namin/events{/privacy}","received_events_url":"https://api.github.com/users/namin/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/namin/dafny-sandbox","description":"Dafny for Metatheory of Programming Languages","fork":false,"url":"https://api.github.com/repos/namin/dafny-sandbox","forks_url":"https://api.github.com/repos/namin/dafny-sandbox/forks","keys_url":"https://api.github.com/repos/namin/dafny-sandbox/keys{/key_id}","collaborators_url":"https://api.github.com/repos/namin/dafny-sandbox/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/namin/dafny-sandbox/teams","hooks_url":"https://api.github.com/repos/namin/dafny-sandbox/hooks","issue_events_url":"https://api.github.com/repos/namin/dafny-sandbox/issues/events{/number}","events_url":"https://api.github.com/repos/namin/dafny-sandbox/events","assignees_url":"https://api.github.com/repos/namin/dafny-sandbox/assignees{/user}","branches_url":"https://api.github.com/repos/namin/dafny-sandbox/branches{/branch}","tags_url":"https://api.github.com/repos/namin/dafny-sandbox/tags","blobs_url":"https://api.github.com/repos/namin/dafny-sandbox/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/namin/dafny-sandbox/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/namin/dafny-sandbox/git/refs{/sha}","trees_url":"https://api.github.com/repos/namin/dafny-sandbox/git/trees{/sha}","statuses_url":"https://api.github.com/repos/namin/dafny-sandbox/statuses/{sha}","languages_url":"https://api.github.com/repos/namin/dafny-sandbox/languages","stargazers_url":"https://api.github.com/repos/namin/dafny-sandbox/stargazers","contributors_url":"https://api.github.com/repos/namin/dafny-sandbox/contributors","subscribers_url":"https://api.github.com/repos/namin/dafny-sandbox/subscribers","subscription_url":"https://api.github.com/repos/namin/dafny-sandbox/subscription","commits_url":"https://api.github.com/repos/namin/dafny-sandbox/commits{/sha}","git_commits_url":"https://api.github.com/repos/namin/dafny-sandbox/git/commits{/sha}","comments_url":"https://api.github.com/repos/namin/dafny-sandbox/comments{/number}","issue_comment_url":"https://api.github.com/repos/namin/dafny-sandbox/issues/comments{/number}","contents_url":"https://api.github.com/repos/namin/dafny-sandbox/contents/{+path}","compare_url":"https://api.github.com/repos/namin/dafny-sandbox/compare/{base}...{head}","merges_url":"https://api.github.com/repos/namin/dafny-sandbox/merges","archive_url":"https://api.github.com/repos/namin/dafny-sandbox/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/namin/dafny-sandbox/downloads","issues_url":"https://api.github.com/repos/namin/dafny-sandbox/issues{/number}","pulls_url":"https://api.github.com/repos/namin/dafny-sandbox/pulls{/number}","milestones_url":"https://api.github.com/repos/namin/dafny-sandbox/milestones{/number}","notifications_url":"https://api.github.com/repos/namin/dafny-sandbox/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/namin/dafny-sandbox/labels{/name}","releases_url":"https://api.github.com/repos/namin/dafny-sandbox/releases{/id}","deployments_url":"https://api.github.com/repos/namin/dafny-sandbox/deployments","created_at":"2012-10-26T16:38:26Z","updated_at":"2026-02-06T02:20:02Z","pushed_at":"2026-02-06T00:51:09Z","git_url":"git://github.com/namin/dafny-sandbox.git","ssh_url":"git@github.com:namin/dafny-sandbox.git","clone_url":"https://github.com/namin/dafny-sandbox.git","svn_url":"https://github.com/namin/dafny-sandbox","homepage":"https://www.youtube.com/watch?v=7C-GitT4X6w","size":279,"stargazers_count":29,"watchers_count":29,"language":"Dafny","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":4,"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":["binders","coq","dafny","meta-theory","talk"],"visibility":"public","forks":4,"open_issues":0,"watchers":29,"default_branch":"master","score":1.0},{"id":271420969,"node_id":"MDEwOlJlcG9zaXRvcnkyNzE0MjA5Njk=","name":"veri-titan","full_name":"secure-foundations/veri-titan","private":false,"owner":{"login":"secure-foundations","id":32856639,"node_id":"MDEyOk9yZ2FuaXphdGlvbjMyODU2NjM5","avatar_url":"https://avatars.githubusercontent.com/u/32856639?v=4","gravatar_id":"","url":"https://api.github.com/users/secure-foundations","html_url":"https://github.com/secure-foundations","followers_url":"https://api.github.com/users/secure-foundations/followers","following_url":"https://api.github.com/users/secure-foundations/following{/other_user}","gists_url":"https://api.github.com/users/secure-foundations/gists{/gist_id}","starred_url":"https://api.github.com/users/secure-foundations/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/secure-foundations/subscriptions","organizations_url":"https://api.github.com/users/secure-foundations/orgs","repos_url":"https://api.github.com/users/secure-foundations/repos","events_url":"https://api.github.com/users/secure-foundations/events{/privacy}","received_events_url":"https://api.github.com/users/secure-foundations/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/secure-foundations/veri-titan","description":"Verifying OpenTitan","fork":false,"url":"https://api.github.com/repos/secure-foundations/veri-titan","forks_url":"https://api.github.com/repos/secure-foundations/veri-titan/forks","keys_url":"https://api.github.com/repos/secure-foundations/veri-titan/keys{/key_id}","collaborators_url":"https://api.github.com/repos/secure-foundations/veri-titan/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/secure-foundations/veri-titan/teams","hooks_url":"https://api.github.com/repos/secure-foundations/veri-titan/hooks","issue_events_url":"https://api.github.com/repos/secure-foundations/veri-titan/issues/events{/number}","events_url":"https://api.github.com/repos/secure-foundations/veri-titan/events","assignees_url":"https://api.github.com/repos/secure-foundations/veri-titan/assignees{/user}","branches_url":"https://api.github.com/repos/secure-foundations/veri-titan/branches{/branch}","tags_url":"https://api.github.com/repos/secure-foundations/veri-titan/tags","blobs_url":"https://api.github.com/repos/secure-foundations/veri-titan/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/secure-foundations/veri-titan/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/secure-foundations/veri-titan/git/refs{/sha}","trees_url":"https://api.github.com/repos/secure-foundations/veri-titan/git/trees{/sha}","statuses_url":"https://api.github.com/repos/secure-foundations/veri-titan/statuses/{sha}","languages_url":"https://api.github.com/repos/secure-foundations/veri-titan/languages","stargazers_url":"https://api.github.com/repos/secure-foundations/veri-titan/stargazers","contributors_url":"https://api.github.com/repos/secure-foundations/veri-titan/contributors","subscribers_url":"https://api.github.com/repos/secure-foundations/veri-titan/subscribers","subscription_url":"https://api.github.com/repos/secure-foundations/veri-titan/subscription","commits_url":"https://api.github.com/repos/secure-foundations/veri-titan/commits{/sha}","git_commits_url":"https://api.github.com/repos/secure-foundations/veri-titan/git/commits{/sha}","comments_url":"https://api.github.com/repos/secure-foundations/veri-titan/comments{/number}","issue_comment_url":"https://api.github.com/repos/secure-foundations/veri-titan/issues/comments{/number}","contents_url":"https://api.github.com/repos/secure-foundations/veri-titan/contents/{+path}","compare_url":"https://api.github.com/repos/secure-foundations/veri-titan/compare/{base}...{head}","merges_url":"https://api.github.com/repos/secure-foundations/veri-titan/merges","archive_url":"https://api.github.com/repos/secure-foundations/veri-titan/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/secure-foundations/veri-titan/downloads","issues_url":"https://api.github.com/repos/secure-foundations/veri-titan/issues{/number}","pulls_url":"https://api.github.com/repos/secure-foundations/veri-titan/pulls{/number}","milestones_url":"https://api.github.com/repos/secure-foundations/veri-titan/milestones{/number}","notifications_url":"https://api.github.com/repos/secure-foundations/veri-titan/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/secure-foundations/veri-titan/labels{/name}","releases_url":"https://api.github.com/repos/secure-foundations/veri-titan/releases{/id}","deployments_url":"https://api.github.com/repos/secure-foundations/veri-titan/deployments","created_at":"2020-06-11T01:16:15Z","updated_at":"2026-05-21T03:10:44Z","pushed_at":"2023-08-20T18:06:33Z","git_url":"git://github.com/secure-foundations/veri-titan.git","ssh_url":"git@github.com:secure-foundations/veri-titan.git","clone_url":"https://github.com/secure-foundations/veri-titan.git","svn_url":"https://github.com/secure-foundations/veri-titan","homepage":null,"size":4693,"stargazers_count":29,"watchers_count":29,"language":"Dafny","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":4,"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":4,"open_issues":1,"watchers":29,"default_branch":"master","score":1.0},{"id":984381373,"node_id":"R_kgDOOqx3vQ","name":"b3","full_name":"dafny-lang/b3","private":false,"owner":{"login":"dafny-lang","id":52358127,"node_id":"MDEyOk9yZ2FuaXphdGlvbjUyMzU4MTI3","avatar_url":"https://avatars.githubusercontent.com/u/52358127?v=4","gravatar_id":"","url":"https://api.github.com/users/dafny-lang","html_url":"https://github.com/dafny-lang","followers_url":"https://api.github.com/users/dafny-lang/followers","following_url":"https://api.github.com/users/dafny-lang/following{/other_user}","gists_url":"https://api.github.com/users/dafny-lang/gists{/gist_id}","starred_url":"https://api.github.com/users/dafny-lang/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dafny-lang/subscriptions","organizations_url":"https://api.github.com/users/dafny-lang/orgs","repos_url":"https://api.github.com/users/dafny-lang/repos","events_url":"https://api.github.com/users/dafny-lang/events{/privacy}","received_events_url":"https://api.github.com/users/dafny-lang/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/dafny-lang/b3","description":"An intermediate verification language","fork":false,"url":"https://api.github.com/repos/dafny-lang/b3","forks_url":"https://api.github.com/repos/dafny-lang/b3/forks","keys_url":"https://api.github.com/repos/dafny-lang/b3/keys{/key_id}","collaborators_url":"https://api.github.com/repos/dafny-lang/b3/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/dafny-lang/b3/teams","hooks_url":"https://api.github.com/repos/dafny-lang/b3/hooks","issue_events_url":"https://api.github.com/repos/dafny-lang/b3/issues/events{/number}","events_url":"https://api.github.com/repos/dafny-lang/b3/events","assignees_url":"https://api.github.com/repos/dafny-lang/b3/assignees{/user}","branches_url":"https://api.github.com/repos/dafny-lang/b3/branches{/branch}","tags_url":"https://api.github.com/repos/dafny-lang/b3/tags","blobs_url":"https://api.github.com/repos/dafny-lang/b3/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/dafny-lang/b3/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/dafny-lang/b3/git/refs{/sha}","trees_url":"https://api.github.com/repos/dafny-lang/b3/git/trees{/sha}","statuses_url":"https://api.github.com/repos/dafny-lang/b3/statuses/{sha}","languages_url":"https://api.github.com/repos/dafny-lang/b3/languages","stargazers_url":"https://api.github.com/repos/dafny-lang/b3/stargazers","contributors_url":"https://api.github.com/repos/dafny-lang/b3/contributors","subscribers_url":"https://api.github.com/repos/dafny-lang/b3/subscribers","subscription_url":"https://api.github.com/repos/dafny-lang/b3/subscription","commits_url":"https://api.github.com/repos/dafny-lang/b3/commits{/sha}","git_commits_url":"https://api.github.com/repos/dafny-lang/b3/git/commits{/sha}","comments_url":"https://api.github.com/repos/dafny-lang/b3/comments{/number}","issue_comment_url":"https://api.github.com/repos/dafny-lang/b3/issues/comments{/number}","contents_url":"https://api.github.com/repos/dafny-lang/b3/contents/{+path}","compare_url":"https://api.github.com/repos/dafny-lang/b3/compare/{base}...{head}","merges_url":"https://api.github.com/repos/dafny-lang/b3/merges","archive_url":"https://api.github.com/repos/dafny-lang/b3/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/dafny-lang/b3/downloads","issues_url":"https://api.github.com/repos/dafny-lang/b3/issues{/number}","pulls_url":"https://api.github.com/repos/dafny-lang/b3/pulls{/number}","milestones_url":"https://api.github.com/repos/dafny-lang/b3/milestones{/number}","notifications_url":"https://api.github.com/repos/dafny-lang/b3/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/dafny-lang/b3/labels{/name}","releases_url":"https://api.github.com/repos/dafny-lang/b3/releases{/id}","deployments_url":"https://api.github.com/repos/dafny-lang/b3/deployments","created_at":"2025-05-15T20:54:15Z","updated_at":"2026-05-19T06:06:01Z","pushed_at":"2026-01-04T02:58:00Z","git_url":"git://github.com/dafny-lang/b3.git","ssh_url":"git@github.com:dafny-lang/b3.git","clone_url":"https://github.com/dafny-lang/b3.git","svn_url":"https://github.com/dafny-lang/b3","homepage":null,"size":7727,"stargazers_count":25,"watchers_count":25,"language":"Dafny","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":true,"has_discussions":false,"forks_count":6,"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":6,"open_issues":4,"watchers":25,"default_branch":"main","score":1.0},{"id":277989494,"node_id":"MDEwOlJlcG9zaXRvcnkyNzc5ODk0OTQ=","name":"deposit-sc-dafny","full_name":"Consensys/deposit-sc-dafny","private":false,"owner":{"login":"Consensys","id":10818037,"node_id":"MDEyOk9yZ2FuaXphdGlvbjEwODE4MDM3","avatar_url":"https://avatars.githubusercontent.com/u/10818037?v=4","gravatar_id":"","url":"https://api.github.com/users/Consensys","html_url":"https://github.com/Consensys","followers_url":"https://api.github.com/users/Consensys/followers","following_url":"https://api.github.com/users/Consensys/following{/other_user}","gists_url":"https://api.github.com/users/Consensys/gists{/gist_id}","starred_url":"https://api.github.com/users/Consensys/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Consensys/subscriptions","organizations_url":"https://api.github.com/users/Consensys/orgs","repos_url":"https://api.github.com/users/Consensys/repos","events_url":"https://api.github.com/users/Consensys/events{/privacy}","received_events_url":"https://api.github.com/users/Consensys/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Consensys/deposit-sc-dafny","description":"Deposit smart contract in Dafny","fork":false,"url":"https://api.github.com/repos/Consensys/deposit-sc-dafny","forks_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/forks","keys_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/teams","hooks_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/hooks","issue_events_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/issues/events{/number}","events_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/events","assignees_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/assignees{/user}","branches_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/branches{/branch}","tags_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/tags","blobs_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/git/refs{/sha}","trees_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/statuses/{sha}","languages_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/languages","stargazers_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/stargazers","contributors_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/contributors","subscribers_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/subscribers","subscription_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/subscription","commits_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/commits{/sha}","git_commits_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/git/commits{/sha}","comments_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/comments{/number}","issue_comment_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/issues/comments{/number}","contents_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/contents/{+path}","compare_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/merges","archive_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/downloads","issues_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/issues{/number}","pulls_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/pulls{/number}","milestones_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/milestones{/number}","notifications_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/labels{/name}","releases_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/releases{/id}","deployments_url":"https://api.github.com/repos/Consensys/deposit-sc-dafny/deployments","created_at":"2020-07-08T04:29:49Z","updated_at":"2026-05-01T07:58:51Z","pushed_at":"2021-09-09T00:31:18Z","git_url":"git://github.com/Consensys/deposit-sc-dafny.git","ssh_url":"git@github.com:Consensys/deposit-sc-dafny.git","clone_url":"https://github.com/Consensys/deposit-sc-dafny.git","svn_url":"https://github.com/Consensys/deposit-sc-dafny","homepage":null,"size":4322,"stargazers_count":24,"watchers_count":24,"language":"Dafny","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":1,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":1,"open_issues":1,"watchers":24,"default_branch":"master","score":1.0},{"id":454941167,"node_id":"R_kgDOGx3Z7w","name":"typecart","full_name":"awslabs/typecart","private":false,"owner":{"login":"awslabs","id":3299148,"node_id":"MDEyOk9yZ2FuaXphdGlvbjMyOTkxNDg=","avatar_url":"https://avatars.githubusercontent.com/u/3299148?v=4","gravatar_id":"","url":"https://api.github.com/users/awslabs","html_url":"https://github.com/awslabs","followers_url":"https://api.github.com/users/awslabs/followers","following_url":"https://api.github.com/users/awslabs/following{/other_user}","gists_url":"https://api.github.com/users/awslabs/gists{/gist_id}","starred_url":"https://api.github.com/users/awslabs/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/awslabs/subscriptions","organizations_url":"https://api.github.com/users/awslabs/orgs","repos_url":"https://api.github.com/users/awslabs/repos","events_url":"https://api.github.com/users/awslabs/events{/privacy}","received_events_url":"https://api.github.com/users/awslabs/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/awslabs/typecart","description":null,"fork":false,"url":"https://api.github.com/repos/awslabs/typecart","forks_url":"https://api.github.com/repos/awslabs/typecart/forks","keys_url":"https://api.github.com/repos/awslabs/typecart/keys{/key_id}","collaborators_url":"https://api.github.com/repos/awslabs/typecart/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/awslabs/typecart/teams","hooks_url":"https://api.github.com/repos/awslabs/typecart/hooks","issue_events_url":"https://api.github.com/repos/awslabs/typecart/issues/events{/number}","events_url":"https://api.github.com/repos/awslabs/typecart/events","assignees_url":"https://api.github.com/repos/awslabs/typecart/assignees{/user}","branches_url":"https://api.github.com/repos/awslabs/typecart/branches{/branch}","tags_url":"https://api.github.com/repos/awslabs/typecart/tags","blobs_url":"https://api.github.com/repos/awslabs/typecart/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/awslabs/typecart/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/awslabs/typecart/git/refs{/sha}","trees_url":"https://api.github.com/repos/awslabs/typecart/git/trees{/sha}","statuses_url":"https://api.github.com/repos/awslabs/typecart/statuses/{sha}","languages_url":"https://api.github.com/repos/awslabs/typecart/languages","stargazers_url":"https://api.github.com/repos/awslabs/typecart/stargazers","contributors_url":"https://api.github.com/repos/awslabs/typecart/contributors","subscribers_url":"https://api.github.com/repos/awslabs/typecart/subscribers","subscription_url":"https://api.github.com/repos/awslabs/typecart/subscription","commits_url":"https://api.github.com/repos/awslabs/typecart/commits{/sha}","git_commits_url":"https://api.github.com/repos/awslabs/typecart/git/commits{/sha}","comments_url":"https://api.github.com/repos/awslabs/typecart/comments{/number}","issue_comment_url":"https://api.github.com/repos/awslabs/typecart/issues/comments{/number}","contents_url":"https://api.github.com/repos/awslabs/typecart/contents/{+path}","compare_url":"https://api.github.com/repos/awslabs/typecart/compare/{base}...{head}","merges_url":"https://api.github.com/repos/awslabs/typecart/merges","archive_url":"https://api.github.com/repos/awslabs/typecart/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/awslabs/typecart/downloads","issues_url":"https://api.github.com/repos/awslabs/typecart/issues{/number}","pulls_url":"https://api.github.com/repos/awslabs/typecart/pulls{/number}","milestones_url":"https://api.github.com/repos/awslabs/typecart/milestones{/number}","notifications_url":"https://api.github.com/repos/awslabs/typecart/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/awslabs/typecart/labels{/name}","releases_url":"https://api.github.com/repos/awslabs/typecart/releases{/id}","deployments_url":"https://api.github.com/repos/awslabs/typecart/deployments","created_at":"2022-02-02T21:27:19Z","updated_at":"2026-01-17T13:36:18Z","pushed_at":"2024-12-02T17:44:26Z","git_url":"git://github.com/awslabs/typecart.git","ssh_url":"git@github.com:awslabs/typecart.git","clone_url":"https://github.com/awslabs/typecart.git","svn_url":"https://github.com/awslabs/typecart","homepage":null,"size":2072,"stargazers_count":23,"watchers_count":23,"language":"Dafny","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":8,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":8,"open_issues":1,"watchers":23,"default_branch":"main","score":1.0},{"id":876358489,"node_id":"R_kgDONDwrWQ","name":"dafny-sketcher","full_name":"namin/dafny-sketcher","private":false,"owner":{"login":"namin","id":6441,"node_id":"MDQ6VXNlcjY0NDE=","avatar_url":"https://avatars.githubusercontent.com/u/6441?v=4","gravatar_id":"","url":"https://api.github.com/users/namin","html_url":"https://github.com/namin","followers_url":"https://api.github.com/users/namin/followers","following_url":"https://api.github.com/users/namin/following{/other_user}","gists_url":"https://api.github.com/users/namin/gists{/gist_id}","starred_url":"https://api.github.com/users/namin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/namin/subscriptions","organizations_url":"https://api.github.com/users/namin/orgs","repos_url":"https://api.github.com/users/namin/repos","events_url":"https://api.github.com/users/namin/events{/privacy}","received_events_url":"https://api.github.com/users/namin/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/namin/dafny-sketcher","description":"piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and symbolic reasoning","fork":false,"url":"https://api.github.com/repos/namin/dafny-sketcher","forks_url":"https://api.github.com/repos/namin/dafny-sketcher/forks","keys_url":"https://api.github.com/repos/namin/dafny-sketcher/keys{/key_id}","collaborators_url":"https://api.github.com/repos/namin/dafny-sketcher/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/namin/dafny-sketcher/teams","hooks_url":"https://api.github.com/repos/namin/dafny-sketcher/hooks","issue_events_url":"https://api.github.com/repos/namin/dafny-sketcher/issues/events{/number}","events_url":"https://api.github.com/repos/namin/dafny-sketcher/events","assignees_url":"https://api.github.com/repos/namin/dafny-sketcher/assignees{/user}","branches_url":"https://api.github.com/repos/namin/dafny-sketcher/branches{/branch}","tags_url":"https://api.github.com/repos/namin/dafny-sketcher/tags","blobs_url":"https://api.github.com/repos/namin/dafny-sketcher/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/namin/dafny-sketcher/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/namin/dafny-sketcher/git/refs{/sha}","trees_url":"https://api.github.com/repos/namin/dafny-sketcher/git/trees{/sha}","statuses_url":"https://api.github.com/repos/namin/dafny-sketcher/statuses/{sha}","languages_url":"https://api.github.com/repos/namin/dafny-sketcher/languages","stargazers_url":"https://api.github.com/repos/namin/dafny-sketcher/stargazers","contributors_url":"https://api.github.com/repos/namin/dafny-sketcher/contributors","subscribers_url":"https://api.github.com/repos/namin/dafny-sketcher/subscribers","subscription_url":"https://api.github.com/repos/namin/dafny-sketcher/subscription","commits_url":"https://api.github.com/repos/namin/dafny-sketcher/commits{/sha}","git_commits_url":"https://api.github.com/repos/namin/dafny-sketcher/git/commits{/sha}","comments_url":"https://api.github.com/repos/namin/dafny-sketcher/comments{/number}","issue_comment_url":"https://api.github.com/repos/namin/dafny-sketcher/issues/comments{/number}","contents_url":"https://api.github.com/repos/namin/dafny-sketcher/contents/{+path}","compare_url":"https://api.github.com/repos/namin/dafny-sketcher/compare/{base}...{head}","merges_url":"https://api.github.com/repos/namin/dafny-sketcher/merges","archive_url":"https://api.github.com/repos/namin/dafny-sketcher/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/namin/dafny-sketcher/downloads","issues_url":"https://api.github.com/repos/namin/dafny-sketcher/issues{/number}","pulls_url":"https://api.github.com/repos/namin/dafny-sketcher/pulls{/number}","milestones_url":"https://api.github.com/repos/namin/dafny-sketcher/milestones{/number}","notifications_url":"https://api.github.com/repos/namin/dafny-sketcher/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/namin/dafny-sketcher/labels{/name}","releases_url":"https://api.github.com/repos/namin/dafny-sketcher/releases{/id}","deployments_url":"https://api.github.com/repos/namin/dafny-sketcher/deployments","created_at":"2024-10-21T20:43:10Z","updated_at":"2026-05-22T13:50:51Z","pushed_at":"2026-03-26T19:58:48Z","git_url":"git://github.com/namin/dafny-sketcher.git","ssh_url":"git@github.com:namin/dafny-sketcher.git","clone_url":"https://github.com/namin/dafny-sketcher.git","svn_url":"https://github.com/namin/dafny-sketcher","homepage":"","size":5158,"stargazers_count":17,"watchers_count":17,"language":"Dafny","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":7,"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":["dafny","llm","mcp","monte-carlo-tree-search","proofsketcher","verification"],"visibility":"public","forks":6,"open_issues":7,"watchers":17,"default_branch":"main","score":1.0},{"id":468575022,"node_id":"R_kgDOG-3jLg","name":"distributed-validator-formal-specs-and-verification","full_name":"Consensys/distributed-validator-formal-specs-and-verification","private":false,"owner":{"login":"Consensys","id":10818037,"node_id":"MDEyOk9yZ2FuaXphdGlvbjEwODE4MDM3","avatar_url":"https://avatars.githubusercontent.com/u/10818037?v=4","gravatar_id":"","url":"https://api.github.com/users/Consensys","html_url":"https://github.com/Consensys","followers_url":"https://api.github.com/users/Consensys/followers","following_url":"https://api.github.com/users/Consensys/following{/other_user}","gists_url":"https://api.github.com/users/Consensys/gists{/gist_id}","starred_url":"https://api.github.com/users/Consensys/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Consensys/subscriptions","organizations_url":"https://api.github.com/users/Consensys/orgs","repos_url":"https://api.github.com/users/Consensys/repos","events_url":"https://api.github.com/users/Consensys/events{/privacy}","received_events_url":"https://api.github.com/users/Consensys/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Consensys/distributed-validator-formal-specs-and-verification","description":"ConsenSys Internal Fork of the public repo https://github.com/ethereum/distributed-validator-specs","fork":false,"url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification","forks_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/forks","keys_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/teams","hooks_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/hooks","issue_events_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/issues/events{/number}","events_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/events","assignees_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/assignees{/user}","branches_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/branches{/branch}","tags_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/tags","blobs_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/git/refs{/sha}","trees_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/statuses/{sha}","languages_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/languages","stargazers_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/stargazers","contributors_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/contributors","subscribers_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/subscribers","subscription_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/subscription","commits_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/commits{/sha}","git_commits_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/git/commits{/sha}","comments_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/comments{/number}","issue_comment_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/issues/comments{/number}","contents_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/contents/{+path}","compare_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/merges","archive_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/downloads","issues_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/issues{/number}","pulls_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/pulls{/number}","milestones_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/milestones{/number}","notifications_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/labels{/name}","releases_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/releases{/id}","deployments_url":"https://api.github.com/repos/Consensys/distributed-validator-formal-specs-and-verification/deployments","created_at":"2022-03-11T02:04:01Z","updated_at":"2025-09-17T09:42:07Z","pushed_at":"2026-05-11T14:53:15Z","git_url":"git://github.com/Consensys/distributed-validator-formal-specs-and-verification.git","ssh_url":"git@github.com:Consensys/distributed-validator-formal-specs-and-verification.git","clone_url":"https://github.com/Consensys/distributed-validator-formal-specs-and-verification.git","svn_url":"https://github.com/Consensys/distributed-validator-formal-specs-and-verification","homepage":null,"size":4887,"stargazers_count":16,"watchers_count":16,"language":"Dafny","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":3,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":2,"open_issues":3,"watchers":16,"default_branch":"main","score":1.0},{"id":670695016,"node_id":"R_kgDOJ_n-aA","name":"Dafny-VMC","full_name":"dafny-lang/Dafny-VMC","private":false,"owner":{"login":"dafny-lang","id":52358127,"node_id":"MDEyOk9yZ2FuaXphdGlvbjUyMzU4MTI3","avatar_url":"https://avatars.githubusercontent.com/u/52358127?v=4","gravatar_id":"","url":"https://api.github.com/users/dafny-lang","html_url":"https://github.com/dafny-lang","followers_url":"https://api.github.com/users/dafny-lang/followers","following_url":"https://api.github.com/users/dafny-lang/following{/other_user}","gists_url":"https://api.github.com/users/dafny-lang/gists{/gist_id}","starred_url":"https://api.github.com/users/dafny-lang/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dafny-lang/subscriptions","organizations_url":"https://api.github.com/users/dafny-lang/orgs","repos_url":"https://api.github.com/users/dafny-lang/repos","events_url":"https://api.github.com/users/dafny-lang/events{/privacy}","received_events_url":"https://api.github.com/users/dafny-lang/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/dafny-lang/Dafny-VMC","description":"Dafny-VMC: a Library for Verified Monte Carlo Algorithms","fork":false,"url":"https://api.github.com/repos/dafny-lang/Dafny-VMC","forks_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/forks","keys_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/keys{/key_id}","collaborators_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/teams","hooks_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/hooks","issue_events_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/issues/events{/number}","events_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/events","assignees_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/assignees{/user}","branches_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/branches{/branch}","tags_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/tags","blobs_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/git/refs{/sha}","trees_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/git/trees{/sha}","statuses_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/statuses/{sha}","languages_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/languages","stargazers_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/stargazers","contributors_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/contributors","subscribers_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/subscribers","subscription_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/subscription","commits_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/commits{/sha}","git_commits_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/git/commits{/sha}","comments_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/comments{/number}","issue_comment_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/issues/comments{/number}","contents_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/contents/{+path}","compare_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/compare/{base}...{head}","merges_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/merges","archive_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/downloads","issues_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/issues{/number}","pulls_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/pulls{/number}","milestones_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/milestones{/number}","notifications_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/labels{/name}","releases_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/releases{/id}","deployments_url":"https://api.github.com/repos/dafny-lang/Dafny-VMC/deployments","created_at":"2023-07-25T16:09:47Z","updated_at":"2026-01-05T02:25:46Z","pushed_at":"2024-11-04T13:36:15Z","git_url":"git://github.com/dafny-lang/Dafny-VMC.git","ssh_url":"git@github.com:dafny-lang/Dafny-VMC.git","clone_url":"https://github.com/dafny-lang/Dafny-VMC.git","svn_url":"https://github.com/dafny-lang/Dafny-VMC","homepage":"","size":1253,"stargazers_count":16,"watchers_count":16,"language":"Dafny","has_issues":true,"has_projects":false,"has_downloads":true,"has_wiki":false,"has_pages":true,"has_discussions":true,"forks_count":3,"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":3,"open_issues":1,"watchers":16,"default_branch":"main","score":1.0},{"id":91852228,"node_id":"MDEwOlJlcG9zaXRvcnk5MTg1MjIyOA==","name":"notes","full_name":"wilcoxjay/notes","private":false,"owner":{"login":"wilcoxjay","id":229924,"node_id":"MDQ6VXNlcjIyOTkyNA==","avatar_url":"https://avatars.githubusercontent.com/u/229924?v=4","gravatar_id":"","url":"https://api.github.com/users/wilcoxjay","html_url":"https://github.com/wilcoxjay","followers_url":"https://api.github.com/users/wilcoxjay/followers","following_url":"https://api.github.com/users/wilcoxjay/following{/other_user}","gists_url":"https://api.github.com/users/wilcoxjay/gists{/gist_id}","starred_url":"https://api.github.com/users/wilcoxjay/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wilcoxjay/subscriptions","organizations_url":"https://api.github.com/users/wilcoxjay/orgs","repos_url":"https://api.github.com/users/wilcoxjay/repos","events_url":"https://api.github.com/users/wilcoxjay/events{/privacy}","received_events_url":"https://api.github.com/users/wilcoxjay/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/wilcoxjay/notes","description":null,"fork":false,"url":"https://api.github.com/repos/wilcoxjay/notes","forks_url":"https://api.github.com/repos/wilcoxjay/notes/forks","keys_url":"https://api.github.com/repos/wilcoxjay/notes/keys{/key_id}","collaborators_url":"https://api.github.com/repos/wilcoxjay/notes/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/wilcoxjay/notes/teams","hooks_url":"https://api.github.com/repos/wilcoxjay/notes/hooks","issue_events_url":"https://api.github.com/repos/wilcoxjay/notes/issues/events{/number}","events_url":"https://api.github.com/repos/wilcoxjay/notes/events","assignees_url":"https://api.github.com/repos/wilcoxjay/notes/assignees{/user}","branches_url":"https://api.github.com/repos/wilcoxjay/notes/branches{/branch}","tags_url":"https://api.github.com/repos/wilcoxjay/notes/tags","blobs_url":"https://api.github.com/repos/wilcoxjay/notes/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/wilcoxjay/notes/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/wilcoxjay/notes/git/refs{/sha}","trees_url":"https://api.github.com/repos/wilcoxjay/notes/git/trees{/sha}","statuses_url":"https://api.github.com/repos/wilcoxjay/notes/statuses/{sha}","languages_url":"https://api.github.com/repos/wilcoxjay/notes/languages","stargazers_url":"https://api.github.com/repos/wilcoxjay/notes/stargazers","contributors_url":"https://api.github.com/repos/wilcoxjay/notes/contributors","subscribers_url":"https://api.github.com/repos/wilcoxjay/notes/subscribers","subscription_url":"https://api.github.com/repos/wilcoxjay/notes/subscription","commits_url":"https://api.github.com/repos/wilcoxjay/notes/commits{/sha}","git_commits_url":"https://api.github.com/repos/wilcoxjay/notes/git/commits{/sha}","comments_url":"https://api.github.com/repos/wilcoxjay/notes/comments{/number}","issue_comment_url":"https://api.github.com/repos/wilcoxjay/notes/issues/comments{/number}","contents_url":"https://api.github.com/repos/wilcoxjay/notes/contents/{+path}","compare_url":"https://api.github.com/repos/wilcoxjay/notes/compare/{base}...{head}","merges_url":"https://api.github.com/repos/wilcoxjay/notes/merges","archive_url":"https://api.github.com/repos/wilcoxjay/notes/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/wilcoxjay/notes/downloads","issues_url":"https://api.github.com/repos/wilcoxjay/notes/issues{/number}","pulls_url":"https://api.github.com/repos/wilcoxjay/notes/pulls{/number}","milestones_url":"https://api.github.com/repos/wilcoxjay/notes/milestones{/number}","notifications_url":"https://api.github.com/repos/wilcoxjay/notes/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/wilcoxjay/notes/labels{/name}","releases_url":"https://api.github.com/repos/wilcoxjay/notes/releases{/id}","deployments_url":"https://api.github.com/repos/wilcoxjay/notes/deployments","created_at":"2017-05-19T23:20:43Z","updated_at":"2025-08-31T21:01:39Z","pushed_at":"2023-04-05T17:08:21Z","git_url":"git://github.com/wilcoxjay/notes.git","ssh_url":"git@github.com:wilcoxjay/notes.git","clone_url":"https://github.com/wilcoxjay/notes.git","svn_url":"https://github.com/wilcoxjay/notes","homepage":null,"size":289,"stargazers_count":14,"watchers_count":14,"language":"Dafny","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":14,"default_branch":"master","score":1.0},{"id":292909537,"node_id":"MDEwOlJlcG9zaXRvcnkyOTI5MDk1Mzc=","name":"veribetrkv-osdi2020","full_name":"secure-foundations/veribetrkv-osdi2020","private":false,"owner":{"login":"secure-foundations","id":32856639,"node_id":"MDEyOk9yZ2FuaXphdGlvbjMyODU2NjM5","avatar_url":"https://avatars.githubusercontent.com/u/32856639?v=4","gravatar_id":"","url":"https://api.github.com/users/secure-foundations","html_url":"https://github.com/secure-foundations","followers_url":"https://api.github.com/users/secure-foundations/followers","following_url":"https://api.github.com/users/secure-foundations/following{/other_user}","gists_url":"https://api.github.com/users/secure-foundations/gists{/gist_id}","starred_url":"https://api.github.com/users/secure-foundations/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/secure-foundations/subscriptions","organizations_url":"https://api.github.com/users/secure-foundations/orgs","repos_url":"https://api.github.com/users/secure-foundations/repos","events_url":"https://api.github.com/users/secure-foundations/events{/privacy}","received_events_url":"https://api.github.com/users/secure-foundations/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/secure-foundations/veribetrkv-osdi2020","description":"VeriBetrKV OSDI'20 artifact","fork":false,"url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020","forks_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/forks","keys_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/keys{/key_id}","collaborators_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/teams","hooks_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/hooks","issue_events_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/issues/events{/number}","events_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/events","assignees_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/assignees{/user}","branches_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/branches{/branch}","tags_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/tags","blobs_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/git/refs{/sha}","trees_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/git/trees{/sha}","statuses_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/statuses/{sha}","languages_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/languages","stargazers_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/stargazers","contributors_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/contributors","subscribers_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/subscribers","subscription_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/subscription","commits_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/commits{/sha}","git_commits_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/git/commits{/sha}","comments_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/comments{/number}","issue_comment_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/issues/comments{/number}","contents_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/contents/{+path}","compare_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/compare/{base}...{head}","merges_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/merges","archive_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/downloads","issues_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/issues{/number}","pulls_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/pulls{/number}","milestones_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/milestones{/number}","notifications_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/labels{/name}","releases_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/releases{/id}","deployments_url":"https://api.github.com/repos/secure-foundations/veribetrkv-osdi2020/deployments","created_at":"2020-09-04T17:36:10Z","updated_at":"2026-01-17T13:36:29Z","pushed_at":"2020-09-05T02:51:59Z","git_url":"git://github.com/secure-foundations/veribetrkv-osdi2020.git","ssh_url":"git@github.com:secure-foundations/veribetrkv-osdi2020.git","clone_url":"https://github.com/secure-foundations/veribetrkv-osdi2020.git","svn_url":"https://github.com/secure-foundations/veribetrkv-osdi2020","homepage":null,"size":8263,"stargazers_count":13,"watchers_count":13,"language":"Dafny","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":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":1,"open_issues":1,"watchers":13,"default_branch":"master","score":1.0},{"id":587521910,"node_id":"R_kgDOIwTfdg","name":"verification-class","full_name":"GLaDOS-Michigan/verification-class","private":false,"owner":{"login":"GLaDOS-Michigan","id":45855776,"node_id":"MDEyOk9yZ2FuaXphdGlvbjQ1ODU1Nzc2","avatar_url":"https://avatars.githubusercontent.com/u/45855776?v=4","gravatar_id":"","url":"https://api.github.com/users/GLaDOS-Michigan","html_url":"https://github.com/GLaDOS-Michigan","followers_url":"https://api.github.com/users/GLaDOS-Michigan/followers","following_url":"https://api.github.com/users/GLaDOS-Michigan/following{/other_user}","gists_url":"https://api.github.com/users/GLaDOS-Michigan/gists{/gist_id}","starred_url":"https://api.github.com/users/GLaDOS-Michigan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/GLaDOS-Michigan/subscriptions","organizations_url":"https://api.github.com/users/GLaDOS-Michigan/orgs","repos_url":"https://api.github.com/users/GLaDOS-Michigan/repos","events_url":"https://api.github.com/users/GLaDOS-Michigan/events{/privacy}","received_events_url":"https://api.github.com/users/GLaDOS-Michigan/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/GLaDOS-Michigan/verification-class","description":"Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos","fork":false,"url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class","forks_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/forks","keys_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/keys{/key_id}","collaborators_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/teams","hooks_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/hooks","issue_events_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/issues/events{/number}","events_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/events","assignees_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/assignees{/user}","branches_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/branches{/branch}","tags_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/tags","blobs_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/git/refs{/sha}","trees_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/git/trees{/sha}","statuses_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/statuses/{sha}","languages_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/languages","stargazers_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/stargazers","contributors_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/contributors","subscribers_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/subscribers","subscription_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/subscription","commits_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/commits{/sha}","git_commits_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/git/commits{/sha}","comments_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/comments{/number}","issue_comment_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/issues/comments{/number}","contents_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/contents/{+path}","compare_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/compare/{base}...{head}","merges_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/merges","archive_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/downloads","issues_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/issues{/number}","pulls_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/pulls{/number}","milestones_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/milestones{/number}","notifications_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/labels{/name}","releases_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/releases{/id}","deployments_url":"https://api.github.com/repos/GLaDOS-Michigan/verification-class/deployments","created_at":"2023-01-11T00:09:46Z","updated_at":"2026-04-29T09:41:42Z","pushed_at":"2025-02-07T21:46:58Z","git_url":"git://github.com/GLaDOS-Michigan/verification-class.git","ssh_url":"git@github.com:GLaDOS-Michigan/verification-class.git","clone_url":"https://github.com/GLaDOS-Michigan/verification-class.git","svn_url":"https://github.com/GLaDOS-Michigan/verification-class","homepage":null,"size":58892,"stargazers_count":12,"watchers_count":12,"language":"Dafny","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":true,"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":12,"default_branch":"main","score":1.0},{"id":683196760,"node_id":"R_kgDOKLjBWA","name":"protocol-verification-fa2023","full_name":"tchajed/protocol-verification-fa2023","private":false,"owner":{"login":"tchajed","id":1255037,"node_id":"MDQ6VXNlcjEyNTUwMzc=","avatar_url":"https://avatars.githubusercontent.com/u/1255037?v=4","gravatar_id":"","url":"https://api.github.com/users/tchajed","html_url":"https://github.com/tchajed","followers_url":"https://api.github.com/users/tchajed/followers","following_url":"https://api.github.com/users/tchajed/following{/other_user}","gists_url":"https://api.github.com/users/tchajed/gists{/gist_id}","starred_url":"https://api.github.com/users/tchajed/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tchajed/subscriptions","organizations_url":"https://api.github.com/users/tchajed/orgs","repos_url":"https://api.github.com/users/tchajed/repos","events_url":"https://api.github.com/users/tchajed/events{/privacy}","received_events_url":"https://api.github.com/users/tchajed/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/tchajed/protocol-verification-fa2023","description":"Assignments for COMP SCI 839 from UW-Madison in Fall 2023","fork":false,"url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023","forks_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/forks","keys_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/keys{/key_id}","collaborators_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/teams","hooks_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/hooks","issue_events_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/issues/events{/number}","events_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/events","assignees_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/assignees{/user}","branches_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/branches{/branch}","tags_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/tags","blobs_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/git/refs{/sha}","trees_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/git/trees{/sha}","statuses_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/statuses/{sha}","languages_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/languages","stargazers_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/stargazers","contributors_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/contributors","subscribers_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/subscribers","subscription_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/subscription","commits_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/commits{/sha}","git_commits_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/git/commits{/sha}","comments_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/comments{/number}","issue_comment_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/issues/comments{/number}","contents_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/contents/{+path}","compare_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/compare/{base}...{head}","merges_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/merges","archive_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/downloads","issues_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/issues{/number}","pulls_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/pulls{/number}","milestones_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/milestones{/number}","notifications_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/labels{/name}","releases_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/releases{/id}","deployments_url":"https://api.github.com/repos/tchajed/protocol-verification-fa2023/deployments","created_at":"2023-08-25T20:39:57Z","updated_at":"2026-01-17T13:36:26Z","pushed_at":"2023-11-30T00:02:53Z","git_url":"git://github.com/tchajed/protocol-verification-fa2023.git","ssh_url":"git@github.com:tchajed/protocol-verification-fa2023.git","clone_url":"https://github.com/tchajed/protocol-verification-fa2023.git","svn_url":"https://github.com/tchajed/protocol-verification-fa2023","homepage":"","size":93,"stargazers_count":12,"watchers_count":12,"language":"Dafny","has_issues":true,"has_projects":false,"has_downloads":true,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":5,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":5,"open_issues":0,"watchers":12,"default_branch":"main","score":1.0},{"id":456067354,"node_id":"R_kgDOGy8JGg","name":"qbft-formal-spec-and-verification","full_name":"Consensys/qbft-formal-spec-and-verification","private":false,"owner":{"login":"Consensys","id":10818037,"node_id":"MDEyOk9yZ2FuaXphdGlvbjEwODE4MDM3","avatar_url":"https://avatars.githubusercontent.com/u/10818037?v=4","gravatar_id":"","url":"https://api.github.com/users/Consensys","html_url":"https://github.com/Consensys","followers_url":"https://api.github.com/users/Consensys/followers","following_url":"https://api.github.com/users/Consensys/following{/other_user}","gists_url":"https://api.github.com/users/Consensys/gists{/gist_id}","starred_url":"https://api.github.com/users/Consensys/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Consensys/subscriptions","organizations_url":"https://api.github.com/users/Consensys/orgs","repos_url":"https://api.github.com/users/Consensys/repos","events_url":"https://api.github.com/users/Consensys/events{/privacy}","received_events_url":"https://api.github.com/users/Consensys/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Consensys/qbft-formal-spec-and-verification","description":null,"fork":false,"url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification","forks_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/forks","keys_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/teams","hooks_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/hooks","issue_events_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/issues/events{/number}","events_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/events","assignees_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/assignees{/user}","branches_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/branches{/branch}","tags_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/tags","blobs_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/git/refs{/sha}","trees_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/statuses/{sha}","languages_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/languages","stargazers_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/stargazers","contributors_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/contributors","subscribers_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/subscribers","subscription_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/subscription","commits_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/commits{/sha}","git_commits_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/git/commits{/sha}","comments_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/comments{/number}","issue_comment_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/issues/comments{/number}","contents_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/contents/{+path}","compare_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/merges","archive_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/downloads","issues_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/issues{/number}","pulls_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/pulls{/number}","milestones_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/milestones{/number}","notifications_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/labels{/name}","releases_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/releases{/id}","deployments_url":"https://api.github.com/repos/Consensys/qbft-formal-spec-and-verification/deployments","created_at":"2022-02-06T05:47:39Z","updated_at":"2025-09-17T11:22:05Z","pushed_at":"2026-05-12T13:51:56Z","git_url":"git://github.com/Consensys/qbft-formal-spec-and-verification.git","ssh_url":"git@github.com:Consensys/qbft-formal-spec-and-verification.git","clone_url":"https://github.com/Consensys/qbft-formal-spec-and-verification.git","svn_url":"https://github.com/Consensys/qbft-formal-spec-and-verification","homepage":null,"size":144,"stargazers_count":11,"watchers_count":11,"language":"Dafny","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":3,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":3,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":3,"open_issues":3,"watchers":11,"default_branch":"main","score":1.0},{"id":496800141,"node_id":"R_kgDOHZyRjQ","name":"dafny-sc-fmics","full_name":"Consensys/dafny-sc-fmics","private":false,"owner":{"login":"Consensys","id":10818037,"node_id":"MDEyOk9yZ2FuaXphdGlvbjEwODE4MDM3","avatar_url":"https://avatars.githubusercontent.com/u/10818037?v=4","gravatar_id":"","url":"https://api.github.com/users/Consensys","html_url":"https://github.com/Consensys","followers_url":"https://api.github.com/users/Consensys/followers","following_url":"https://api.github.com/users/Consensys/following{/other_user}","gists_url":"https://api.github.com/users/Consensys/gists{/gist_id}","starred_url":"https://api.github.com/users/Consensys/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Consensys/subscriptions","organizations_url":"https://api.github.com/users/Consensys/orgs","repos_url":"https://api.github.com/users/Consensys/repos","events_url":"https://api.github.com/users/Consensys/events{/privacy}","received_events_url":"https://api.github.com/users/Consensys/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Consensys/dafny-sc-fmics","description":"Verification of Smart Contracts with Dafny – FMICS paper examples","fork":false,"url":"https://api.github.com/repos/Consensys/dafny-sc-fmics","forks_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/forks","keys_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/teams","hooks_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/hooks","issue_events_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/issues/events{/number}","events_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/events","assignees_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/assignees{/user}","branches_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/branches{/branch}","tags_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/tags","blobs_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/git/refs{/sha}","trees_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/statuses/{sha}","languages_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/languages","stargazers_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/stargazers","contributors_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/contributors","subscribers_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/subscribers","subscription_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/subscription","commits_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/commits{/sha}","git_commits_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/git/commits{/sha}","comments_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/comments{/number}","issue_comment_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/issues/comments{/number}","contents_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/contents/{+path}","compare_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/merges","archive_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/downloads","issues_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/issues{/number}","pulls_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/pulls{/number}","milestones_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/milestones{/number}","notifications_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/labels{/name}","releases_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/releases{/id}","deployments_url":"https://api.github.com/repos/Consensys/dafny-sc-fmics/deployments","created_at":"2022-05-26T23:22:28Z","updated_at":"2026-01-23T13:19:01Z","pushed_at":"2024-02-08T07:28:44Z","git_url":"git://github.com/Consensys/dafny-sc-fmics.git","ssh_url":"git@github.com:Consensys/dafny-sc-fmics.git","clone_url":"https://github.com/Consensys/dafny-sc-fmics.git","svn_url":"https://github.com/Consensys/dafny-sc-fmics","homepage":null,"size":154,"stargazers_count":11,"watchers_count":11,"language":"Dafny","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":3,"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":[],"visibility":"public","forks":3,"open_issues":0,"watchers":11,"default_branch":"main","score":1.0},{"id":921038656,"node_id":"R_kgDONuXvQA","name":"miniF2F","full_name":"dafny-lang/miniF2F","private":false,"owner":{"login":"dafny-lang","id":52358127,"node_id":"MDEyOk9yZ2FuaXphdGlvbjUyMzU4MTI3","avatar_url":"https://avatars.githubusercontent.com/u/52358127?v=4","gravatar_id":"","url":"https://api.github.com/users/dafny-lang","html_url":"https://github.com/dafny-lang","followers_url":"https://api.github.com/users/dafny-lang/followers","following_url":"https://api.github.com/users/dafny-lang/following{/other_user}","gists_url":"https://api.github.com/users/dafny-lang/gists{/gist_id}","starred_url":"https://api.github.com/users/dafny-lang/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dafny-lang/subscriptions","organizations_url":"https://api.github.com/users/dafny-lang/orgs","repos_url":"https://api.github.com/users/dafny-lang/repos","events_url":"https://api.github.com/users/dafny-lang/events{/privacy}","received_events_url":"https://api.github.com/users/dafny-lang/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/dafny-lang/miniF2F","description":"Formal to Formal Mathematics Benchmark","fork":false,"url":"https://api.github.com/repos/dafny-lang/miniF2F","forks_url":"https://api.github.com/repos/dafny-lang/miniF2F/forks","keys_url":"https://api.github.com/repos/dafny-lang/miniF2F/keys{/key_id}","collaborators_url":"https://api.github.com/repos/dafny-lang/miniF2F/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/dafny-lang/miniF2F/teams","hooks_url":"https://api.github.com/repos/dafny-lang/miniF2F/hooks","issue_events_url":"https://api.github.com/repos/dafny-lang/miniF2F/issues/events{/number}","events_url":"https://api.github.com/repos/dafny-lang/miniF2F/events","assignees_url":"https://api.github.com/repos/dafny-lang/miniF2F/assignees{/user}","branches_url":"https://api.github.com/repos/dafny-lang/miniF2F/branches{/branch}","tags_url":"https://api.github.com/repos/dafny-lang/miniF2F/tags","blobs_url":"https://api.github.com/repos/dafny-lang/miniF2F/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/dafny-lang/miniF2F/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/dafny-lang/miniF2F/git/refs{/sha}","trees_url":"https://api.github.com/repos/dafny-lang/miniF2F/git/trees{/sha}","statuses_url":"https://api.github.com/repos/dafny-lang/miniF2F/statuses/{sha}","languages_url":"https://api.github.com/repos/dafny-lang/miniF2F/languages","stargazers_url":"https://api.github.com/repos/dafny-lang/miniF2F/stargazers","contributors_url":"https://api.github.com/repos/dafny-lang/miniF2F/contributors","subscribers_url":"https://api.github.com/repos/dafny-lang/miniF2F/subscribers","subscription_url":"https://api.github.com/repos/dafny-lang/miniF2F/subscription","commits_url":"https://api.github.com/repos/dafny-lang/miniF2F/commits{/sha}","git_commits_url":"https://api.github.com/repos/dafny-lang/miniF2F/git/commits{/sha}","comments_url":"https://api.github.com/repos/dafny-lang/miniF2F/comments{/number}","issue_comment_url":"https://api.github.com/repos/dafny-lang/miniF2F/issues/comments{/number}","contents_url":"https://api.github.com/repos/dafny-lang/miniF2F/contents/{+path}","compare_url":"https://api.github.com/repos/dafny-lang/miniF2F/compare/{base}...{head}","merges_url":"https://api.github.com/repos/dafny-lang/miniF2F/merges","archive_url":"https://api.github.com/repos/dafny-lang/miniF2F/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/dafny-lang/miniF2F/downloads","issues_url":"https://api.github.com/repos/dafny-lang/miniF2F/issues{/number}","pulls_url":"https://api.github.com/repos/dafny-lang/miniF2F/pulls{/number}","milestones_url":"https://api.github.com/repos/dafny-lang/miniF2F/milestones{/number}","notifications_url":"https://api.github.com/repos/dafny-lang/miniF2F/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/dafny-lang/miniF2F/labels{/name}","releases_url":"https://api.github.com/repos/dafny-lang/miniF2F/releases{/id}","deployments_url":"https://api.github.com/repos/dafny-lang/miniF2F/deployments","created_at":"2025-01-23T08:15:41Z","updated_at":"2026-05-29T10:51:24Z","pushed_at":"2026-05-29T10:51:19Z","git_url":"git://github.com/dafny-lang/miniF2F.git","ssh_url":"git@github.com:dafny-lang/miniF2F.git","clone_url":"https://github.com/dafny-lang/miniF2F.git","svn_url":"https://github.com/dafny-lang/miniF2F","homepage":null,"size":551,"stargazers_count":11,"watchers_count":11,"language":"Dafny","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":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":2,"open_issues":3,"watchers":11,"default_branch":"main","score":1.0},{"id":836745979,"node_id":"R_kgDOMd-6-w","name":"HumanEval-Dafny","full_name":"JetBrains-Research/HumanEval-Dafny","private":false,"owner":{"login":"JetBrains-Research","id":10167268,"node_id":"MDEyOk9yZ2FuaXphdGlvbjEwMTY3MjY4","avatar_url":"https://avatars.githubusercontent.com/u/10167268?v=4","gravatar_id":"","url":"https://api.github.com/users/JetBrains-Research","html_url":"https://github.com/JetBrains-Research","followers_url":"https://api.github.com/users/JetBrains-Research/followers","following_url":"https://api.github.com/users/JetBrains-Research/following{/other_user}","gists_url":"https://api.github.com/users/JetBrains-Research/gists{/gist_id}","starred_url":"https://api.github.com/users/JetBrains-Research/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JetBrains-Research/subscriptions","organizations_url":"https://api.github.com/users/JetBrains-Research/orgs","repos_url":"https://api.github.com/users/JetBrains-Research/repos","events_url":"https://api.github.com/users/JetBrains-Research/events{/privacy}","received_events_url":"https://api.github.com/users/JetBrains-Research/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/JetBrains-Research/HumanEval-Dafny","description":"Translating humaneval into dafny","fork":false,"url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny","forks_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/forks","keys_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/keys{/key_id}","collaborators_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/teams","hooks_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/hooks","issue_events_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/issues/events{/number}","events_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/events","assignees_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/assignees{/user}","branches_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/branches{/branch}","tags_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/tags","blobs_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/git/refs{/sha}","trees_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/git/trees{/sha}","statuses_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/statuses/{sha}","languages_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/languages","stargazers_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/stargazers","contributors_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/contributors","subscribers_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/subscribers","subscription_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/subscription","commits_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/commits{/sha}","git_commits_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/git/commits{/sha}","comments_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/comments{/number}","issue_comment_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/issues/comments{/number}","contents_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/contents/{+path}","compare_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/compare/{base}...{head}","merges_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/merges","archive_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/downloads","issues_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/issues{/number}","pulls_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/pulls{/number}","milestones_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/milestones{/number}","notifications_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/labels{/name}","releases_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/releases{/id}","deployments_url":"https://api.github.com/repos/JetBrains-Research/HumanEval-Dafny/deployments","created_at":"2024-08-01T13:23:58Z","updated_at":"2026-02-20T08:47:51Z","pushed_at":"2025-03-31T13:18:16Z","git_url":"git://github.com/JetBrains-Research/HumanEval-Dafny.git","ssh_url":"git@github.com:JetBrains-Research/HumanEval-Dafny.git","clone_url":"https://github.com/JetBrains-Research/HumanEval-Dafny.git","svn_url":"https://github.com/JetBrains-Research/HumanEval-Dafny","homepage":null,"size":329,"stargazers_count":11,"watchers_count":11,"language":"Dafny","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":8,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":1,"open_issues":8,"watchers":11,"default_branch":"main","score":1.0},{"id":837062357,"node_id":"R_kgDOMeSO1Q","name":"causalmesh","full_name":"eniac/causalmesh","private":false,"owner":{"login":"eniac","id":5659749,"node_id":"MDEyOk9yZ2FuaXphdGlvbjU2NTk3NDk=","avatar_url":"https://avatars.githubusercontent.com/u/5659749?v=4","gravatar_id":"","url":"https://api.github.com/users/eniac","html_url":"https://github.com/eniac","followers_url":"https://api.github.com/users/eniac/followers","following_url":"https://api.github.com/users/eniac/following{/other_user}","gists_url":"https://api.github.com/users/eniac/gists{/gist_id}","starred_url":"https://api.github.com/users/eniac/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eniac/subscriptions","organizations_url":"https://api.github.com/users/eniac/orgs","repos_url":"https://api.github.com/users/eniac/repos","events_url":"https://api.github.com/users/eniac/events{/privacy}","received_events_url":"https://api.github.com/users/eniac/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/eniac/causalmesh","description":null,"fork":false,"url":"https://api.github.com/repos/eniac/causalmesh","forks_url":"https://api.github.com/repos/eniac/causalmesh/forks","keys_url":"https://api.github.com/repos/eniac/causalmesh/keys{/key_id}","collaborators_url":"https://api.github.com/repos/eniac/causalmesh/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/eniac/causalmesh/teams","hooks_url":"https://api.github.com/repos/eniac/causalmesh/hooks","issue_events_url":"https://api.github.com/repos/eniac/causalmesh/issues/events{/number}","events_url":"https://api.github.com/repos/eniac/causalmesh/events","assignees_url":"https://api.github.com/repos/eniac/causalmesh/assignees{/user}","branches_url":"https://api.github.com/repos/eniac/causalmesh/branches{/branch}","tags_url":"https://api.github.com/repos/eniac/causalmesh/tags","blobs_url":"https://api.github.com/repos/eniac/causalmesh/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/eniac/causalmesh/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/eniac/causalmesh/git/refs{/sha}","trees_url":"https://api.github.com/repos/eniac/causalmesh/git/trees{/sha}","statuses_url":"https://api.github.com/repos/eniac/causalmesh/statuses/{sha}","languages_url":"https://api.github.com/repos/eniac/causalmesh/languages","stargazers_url":"https://api.github.com/repos/eniac/causalmesh/stargazers","contributors_url":"https://api.github.com/repos/eniac/causalmesh/contributors","subscribers_url":"https://api.github.com/repos/eniac/causalmesh/subscribers","subscription_url":"https://api.github.com/repos/eniac/causalmesh/subscription","commits_url":"https://api.github.com/repos/eniac/causalmesh/commits{/sha}","git_commits_url":"https://api.github.com/repos/eniac/causalmesh/git/commits{/sha}","comments_url":"https://api.github.com/repos/eniac/causalmesh/comments{/number}","issue_comment_url":"https://api.github.com/repos/eniac/causalmesh/issues/comments{/number}","contents_url":"https://api.github.com/repos/eniac/causalmesh/contents/{+path}","compare_url":"https://api.github.com/repos/eniac/causalmesh/compare/{base}...{head}","merges_url":"https://api.github.com/repos/eniac/causalmesh/merges","archive_url":"https://api.github.com/repos/eniac/causalmesh/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/eniac/causalmesh/downloads","issues_url":"https://api.github.com/repos/eniac/causalmesh/issues{/number}","pulls_url":"https://api.github.com/repos/eniac/causalmesh/pulls{/number}","milestones_url":"https://api.github.com/repos/eniac/causalmesh/milestones{/number}","notifications_url":"https://api.github.com/repos/eniac/causalmesh/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/eniac/causalmesh/labels{/name}","releases_url":"https://api.github.com/repos/eniac/causalmesh/releases{/id}","deployments_url":"https://api.github.com/repos/eniac/causalmesh/deployments","created_at":"2024-08-02T06:16:03Z","updated_at":"2025-09-05T18:45:52Z","pushed_at":"2025-09-05T18:45:49Z","git_url":"git://github.com/eniac/causalmesh.git","ssh_url":"git@github.com:eniac/causalmesh.git","clone_url":"https://github.com/eniac/causalmesh.git","svn_url":"https://github.com/eniac/causalmesh","homepage":null,"size":312523,"stargazers_count":9,"watchers_count":9,"language":"Dafny","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":{"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":0,"watchers":9,"default_branch":"main","score":1.0},{"id":77731970,"node_id":"MDEwOlJlcG9zaXRvcnk3NzczMTk3MA==","name":"dafny_examples","full_name":"monadius/dafny_examples","private":false,"owner":{"login":"monadius","id":7527525,"node_id":"MDQ6VXNlcjc1Mjc1MjU=","avatar_url":"https://avatars.githubusercontent.com/u/7527525?v=4","gravatar_id":"","url":"https://api.github.com/users/monadius","html_url":"https://github.com/monadius","followers_url":"https://api.github.com/users/monadius/followers","following_url":"https://api.github.com/users/monadius/following{/other_user}","gists_url":"https://api.github.com/users/monadius/gists{/gist_id}","starred_url":"https://api.github.com/users/monadius/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/monadius/subscriptions","organizations_url":"https://api.github.com/users/monadius/orgs","repos_url":"https://api.github.com/users/monadius/repos","events_url":"https://api.github.com/users/monadius/events{/privacy}","received_events_url":"https://api.github.com/users/monadius/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/monadius/dafny_examples","description":"Experiments with Dafny","fork":false,"url":"https://api.github.com/repos/monadius/dafny_examples","forks_url":"https://api.github.com/repos/monadius/dafny_examples/forks","keys_url":"https://api.github.com/repos/monadius/dafny_examples/keys{/key_id}","collaborators_url":"https://api.github.com/repos/monadius/dafny_examples/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/monadius/dafny_examples/teams","hooks_url":"https://api.github.com/repos/monadius/dafny_examples/hooks","issue_events_url":"https://api.github.com/repos/monadius/dafny_examples/issues/events{/number}","events_url":"https://api.github.com/repos/monadius/dafny_examples/events","assignees_url":"https://api.github.com/repos/monadius/dafny_examples/assignees{/user}","branches_url":"https://api.github.com/repos/monadius/dafny_examples/branches{/branch}","tags_url":"https://api.github.com/repos/monadius/dafny_examples/tags","blobs_url":"https://api.github.com/repos/monadius/dafny_examples/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/monadius/dafny_examples/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/monadius/dafny_examples/git/refs{/sha}","trees_url":"https://api.github.com/repos/monadius/dafny_examples/git/trees{/sha}","statuses_url":"https://api.github.com/repos/monadius/dafny_examples/statuses/{sha}","languages_url":"https://api.github.com/repos/monadius/dafny_examples/languages","stargazers_url":"https://api.github.com/repos/monadius/dafny_examples/stargazers","contributors_url":"https://api.github.com/repos/monadius/dafny_examples/contributors","subscribers_url":"https://api.github.com/repos/monadius/dafny_examples/subscribers","subscription_url":"https://api.github.com/repos/monadius/dafny_examples/subscription","commits_url":"https://api.github.com/repos/monadius/dafny_examples/commits{/sha}","git_commits_url":"https://api.github.com/repos/monadius/dafny_examples/git/commits{/sha}","comments_url":"https://api.github.com/repos/monadius/dafny_examples/comments{/number}","issue_comment_url":"https://api.github.com/repos/monadius/dafny_examples/issues/comments{/number}","contents_url":"https://api.github.com/repos/monadius/dafny_examples/contents/{+path}","compare_url":"https://api.github.com/repos/monadius/dafny_examples/compare/{base}...{head}","merges_url":"https://api.github.com/repos/monadius/dafny_examples/merges","archive_url":"https://api.github.com/repos/monadius/dafny_examples/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/monadius/dafny_examples/downloads","issues_url":"https://api.github.com/repos/monadius/dafny_examples/issues{/number}","pulls_url":"https://api.github.com/repos/monadius/dafny_examples/pulls{/number}","milestones_url":"https://api.github.com/repos/monadius/dafny_examples/milestones{/number}","notifications_url":"https://api.github.com/repos/monadius/dafny_examples/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/monadius/dafny_examples/labels{/name}","releases_url":"https://api.github.com/repos/monadius/dafny_examples/releases{/id}","deployments_url":"https://api.github.com/repos/monadius/dafny_examples/deployments","created_at":"2016-12-31T08:24:43Z","updated_at":"2025-11-10T13:02:01Z","pushed_at":"2023-07-07T05:50:53Z","git_url":"git://github.com/monadius/dafny_examples.git","ssh_url":"git@github.com:monadius/dafny_examples.git","clone_url":"https://github.com/monadius/dafny_examples.git","svn_url":"https://github.com/monadius/dafny_examples","homepage":null,"size":96,"stargazers_count":7,"watchers_count":7,"language":"Dafny","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":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":2,"open_issues":1,"watchers":7,"default_branch":"master","score":1.0},{"id":596388676,"node_id":"R_kgDOI4wrRA","name":"WrappedEther.dfy","full_name":"Consensys/WrappedEther.dfy","private":false,"owner":{"login":"Consensys","id":10818037,"node_id":"MDEyOk9yZ2FuaXphdGlvbjEwODE4MDM3","avatar_url":"https://avatars.githubusercontent.com/u/10818037?v=4","gravatar_id":"","url":"https://api.github.com/users/Consensys","html_url":"https://github.com/Consensys","followers_url":"https://api.github.com/users/Consensys/followers","following_url":"https://api.github.com/users/Consensys/following{/other_user}","gists_url":"https://api.github.com/users/Consensys/gists{/gist_id}","starred_url":"https://api.github.com/users/Consensys/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Consensys/subscriptions","organizations_url":"https://api.github.com/users/Consensys/orgs","repos_url":"https://api.github.com/users/Consensys/repos","events_url":"https://api.github.com/users/Consensys/events{/privacy}","received_events_url":"https://api.github.com/users/Consensys/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Consensys/WrappedEther.dfy","description":"Dafny Model of the WrappedEther Smart Contract","fork":false,"url":"https://api.github.com/repos/Consensys/WrappedEther.dfy","forks_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/forks","keys_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/teams","hooks_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/hooks","issue_events_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/issues/events{/number}","events_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/events","assignees_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/assignees{/user}","branches_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/branches{/branch}","tags_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/tags","blobs_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/git/refs{/sha}","trees_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/statuses/{sha}","languages_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/languages","stargazers_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/stargazers","contributors_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/contributors","subscribers_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/subscribers","subscription_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/subscription","commits_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/commits{/sha}","git_commits_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/git/commits{/sha}","comments_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/comments{/number}","issue_comment_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/issues/comments{/number}","contents_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/contents/{+path}","compare_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/merges","archive_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/downloads","issues_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/issues{/number}","pulls_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/pulls{/number}","milestones_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/milestones{/number}","notifications_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/labels{/name}","releases_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/releases{/id}","deployments_url":"https://api.github.com/repos/Consensys/WrappedEther.dfy/deployments","created_at":"2023-02-02T04:15:31Z","updated_at":"2025-12-22T18:02:28Z","pushed_at":"2024-10-24T08:09:09Z","git_url":"git://github.com/Consensys/WrappedEther.dfy.git","ssh_url":"git@github.com:Consensys/WrappedEther.dfy.git","clone_url":"https://github.com/Consensys/WrappedEther.dfy.git","svn_url":"https://github.com/Consensys/WrappedEther.dfy","homepage":null,"size":432,"stargazers_count":7,"watchers_count":7,"language":"Dafny","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":3,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":3,"open_issues":1,"watchers":7,"default_branch":"main","score":1.0}]}