{"total_count":8741,"incomplete_results":false,"items":[{"id":24187206,"node_id":"MDEwOlJlcG9zaXRvcnkyNDE4NzIwNg==","name":"CompCert","full_name":"AbsInt/CompCert","private":false,"owner":{"login":"AbsInt","id":8820208,"node_id":"MDEyOk9yZ2FuaXphdGlvbjg4MjAyMDg=","avatar_url":"https://avatars.githubusercontent.com/u/8820208?v=4","gravatar_id":"","url":"https://api.github.com/users/AbsInt","html_url":"https://github.com/AbsInt","followers_url":"https://api.github.com/users/AbsInt/followers","following_url":"https://api.github.com/users/AbsInt/following{/other_user}","gists_url":"https://api.github.com/users/AbsInt/gists{/gist_id}","starred_url":"https://api.github.com/users/AbsInt/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/AbsInt/subscriptions","organizations_url":"https://api.github.com/users/AbsInt/orgs","repos_url":"https://api.github.com/users/AbsInt/repos","events_url":"https://api.github.com/users/AbsInt/events{/privacy}","received_events_url":"https://api.github.com/users/AbsInt/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/AbsInt/CompCert","description":"The CompCert formally-verified C compiler","fork":false,"url":"https://api.github.com/repos/AbsInt/CompCert","forks_url":"https://api.github.com/repos/AbsInt/CompCert/forks","keys_url":"https://api.github.com/repos/AbsInt/CompCert/keys{/key_id}","collaborators_url":"https://api.github.com/repos/AbsInt/CompCert/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/AbsInt/CompCert/teams","hooks_url":"https://api.github.com/repos/AbsInt/CompCert/hooks","issue_events_url":"https://api.github.com/repos/AbsInt/CompCert/issues/events{/number}","events_url":"https://api.github.com/repos/AbsInt/CompCert/events","assignees_url":"https://api.github.com/repos/AbsInt/CompCert/assignees{/user}","branches_url":"https://api.github.com/repos/AbsInt/CompCert/branches{/branch}","tags_url":"https://api.github.com/repos/AbsInt/CompCert/tags","blobs_url":"https://api.github.com/repos/AbsInt/CompCert/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/AbsInt/CompCert/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/AbsInt/CompCert/git/refs{/sha}","trees_url":"https://api.github.com/repos/AbsInt/CompCert/git/trees{/sha}","statuses_url":"https://api.github.com/repos/AbsInt/CompCert/statuses/{sha}","languages_url":"https://api.github.com/repos/AbsInt/CompCert/languages","stargazers_url":"https://api.github.com/repos/AbsInt/CompCert/stargazers","contributors_url":"https://api.github.com/repos/AbsInt/CompCert/contributors","subscribers_url":"https://api.github.com/repos/AbsInt/CompCert/subscribers","subscription_url":"https://api.github.com/repos/AbsInt/CompCert/subscription","commits_url":"https://api.github.com/repos/AbsInt/CompCert/commits{/sha}","git_commits_url":"https://api.github.com/repos/AbsInt/CompCert/git/commits{/sha}","comments_url":"https://api.github.com/repos/AbsInt/CompCert/comments{/number}","issue_comment_url":"https://api.github.com/repos/AbsInt/CompCert/issues/comments{/number}","contents_url":"https://api.github.com/repos/AbsInt/CompCert/contents/{+path}","compare_url":"https://api.github.com/repos/AbsInt/CompCert/compare/{base}...{head}","merges_url":"https://api.github.com/repos/AbsInt/CompCert/merges","archive_url":"https://api.github.com/repos/AbsInt/CompCert/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/AbsInt/CompCert/downloads","issues_url":"https://api.github.com/repos/AbsInt/CompCert/issues{/number}","pulls_url":"https://api.github.com/repos/AbsInt/CompCert/pulls{/number}","milestones_url":"https://api.github.com/repos/AbsInt/CompCert/milestones{/number}","notifications_url":"https://api.github.com/repos/AbsInt/CompCert/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/AbsInt/CompCert/labels{/name}","releases_url":"https://api.github.com/repos/AbsInt/CompCert/releases{/id}","deployments_url":"https://api.github.com/repos/AbsInt/CompCert/deployments","created_at":"2014-09-18T12:27:33Z","updated_at":"2026-10-09T14:43:58Z","pushed_at":"2026-10-10T16:54:51Z","git_url":"git://github.com/AbsInt/CompCert.git","ssh_url":"git@github.com:AbsInt/CompCert.git","clone_url":"https://github.com/AbsInt/CompCert.git","svn_url":"https://github.com/AbsInt/CompCert","homepage":"https://compcert.org","size":22168,"stargazers_count":2237,"watchers_count":2237,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":264,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":44,"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":["c","compcert","compiler","coq"],"visibility":"public","forks":264,"open_issues":44,"watchers":2237,"default_branch":"master","score":1.0},{"id":155382080,"node_id":"MDEwOlJlcG9zaXRvcnkxNTUzODIwODA=","name":"stalin-sort","full_name":"gustavo-depaula/stalin-sort","private":false,"owner":{"login":"gustavo-depaula","id":732422,"node_id":"MDQ6VXNlcjczMjQyMg==","avatar_url":"https://avatars.githubusercontent.com/u/732422?v=4","gravatar_id":"","url":"https://api.github.com/users/gustavo-depaula","html_url":"https://github.com/gustavo-depaula","followers_url":"https://api.github.com/users/gustavo-depaula/followers","following_url":"https://api.github.com/users/gustavo-depaula/following{/other_user}","gists_url":"https://api.github.com/users/gustavo-depaula/gists{/gist_id}","starred_url":"https://api.github.com/users/gustavo-depaula/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gustavo-depaula/subscriptions","organizations_url":"https://api.github.com/users/gustavo-depaula/orgs","repos_url":"https://api.github.com/users/gustavo-depaula/repos","events_url":"https://api.github.com/users/gustavo-depaula/events{/privacy}","received_events_url":"https://api.github.com/users/gustavo-depaula/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/gustavo-depaula/stalin-sort","description":"Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️","fork":false,"url":"https://api.github.com/repos/gustavo-depaula/stalin-sort","forks_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/forks","keys_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/keys{/key_id}","collaborators_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/teams","hooks_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/hooks","issue_events_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/issues/events{/number}","events_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/events","assignees_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/assignees{/user}","branches_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/branches{/branch}","tags_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/tags","blobs_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/git/refs{/sha}","trees_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/git/trees{/sha}","statuses_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/statuses/{sha}","languages_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/languages","stargazers_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/stargazers","contributors_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/contributors","subscribers_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/subscribers","subscription_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/subscription","commits_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/commits{/sha}","git_commits_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/git/commits{/sha}","comments_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/comments{/number}","issue_comment_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/issues/comments{/number}","contents_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/contents/{+path}","compare_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/compare/{base}...{head}","merges_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/merges","archive_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/downloads","issues_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/issues{/number}","pulls_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/pulls{/number}","milestones_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/milestones{/number}","notifications_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/labels{/name}","releases_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/releases{/id}","deployments_url":"https://api.github.com/repos/gustavo-depaula/stalin-sort/deployments","created_at":"2018-10-30T12:32:05Z","updated_at":"2026-10-08T00:59:56Z","pushed_at":"2025-10-28T16:12:02Z","git_url":"git://github.com/gustavo-depaula/stalin-sort.git","ssh_url":"git@github.com:gustavo-depaula/stalin-sort.git","clone_url":"https://github.com/gustavo-depaula/stalin-sort.git","svn_url":"https://github.com/gustavo-depaula/stalin-sort","homepage":"","size":1152,"stargazers_count":1708,"watchers_count":1708,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":187,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":16,"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":["hacktoberfest","stalin-sort"],"visibility":"public","forks":187,"open_issues":16,"watchers":1708,"default_branch":"master","score":1.0},{"id":1529601,"node_id":"MDEwOlJlcG9zaXRvcnkxNTI5NjAx","name":"Coq-HoTT","full_name":"HoTT/Coq-HoTT","private":false,"owner":{"login":"HoTT","id":692156,"node_id":"MDEyOk9yZ2FuaXphdGlvbjY5MjE1Ng==","avatar_url":"https://avatars.githubusercontent.com/u/692156?v=4","gravatar_id":"","url":"https://api.github.com/users/HoTT","html_url":"https://github.com/HoTT","followers_url":"https://api.github.com/users/HoTT/followers","following_url":"https://api.github.com/users/HoTT/following{/other_user}","gists_url":"https://api.github.com/users/HoTT/gists{/gist_id}","starred_url":"https://api.github.com/users/HoTT/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/HoTT/subscriptions","organizations_url":"https://api.github.com/users/HoTT/orgs","repos_url":"https://api.github.com/users/HoTT/repos","events_url":"https://api.github.com/users/HoTT/events{/privacy}","received_events_url":"https://api.github.com/users/HoTT/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/HoTT/Coq-HoTT","description":"A Coq library for Homotopy Type Theory","fork":false,"url":"https://api.github.com/repos/HoTT/Coq-HoTT","forks_url":"https://api.github.com/repos/HoTT/Coq-HoTT/forks","keys_url":"https://api.github.com/repos/HoTT/Coq-HoTT/keys{/key_id}","collaborators_url":"https://api.github.com/repos/HoTT/Coq-HoTT/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/HoTT/Coq-HoTT/teams","hooks_url":"https://api.github.com/repos/HoTT/Coq-HoTT/hooks","issue_events_url":"https://api.github.com/repos/HoTT/Coq-HoTT/issues/events{/number}","events_url":"https://api.github.com/repos/HoTT/Coq-HoTT/events","assignees_url":"https://api.github.com/repos/HoTT/Coq-HoTT/assignees{/user}","branches_url":"https://api.github.com/repos/HoTT/Coq-HoTT/branches{/branch}","tags_url":"https://api.github.com/repos/HoTT/Coq-HoTT/tags","blobs_url":"https://api.github.com/repos/HoTT/Coq-HoTT/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/HoTT/Coq-HoTT/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/HoTT/Coq-HoTT/git/refs{/sha}","trees_url":"https://api.github.com/repos/HoTT/Coq-HoTT/git/trees{/sha}","statuses_url":"https://api.github.com/repos/HoTT/Coq-HoTT/statuses/{sha}","languages_url":"https://api.github.com/repos/HoTT/Coq-HoTT/languages","stargazers_url":"https://api.github.com/repos/HoTT/Coq-HoTT/stargazers","contributors_url":"https://api.github.com/repos/HoTT/Coq-HoTT/contributors","subscribers_url":"https://api.github.com/repos/HoTT/Coq-HoTT/subscribers","subscription_url":"https://api.github.com/repos/HoTT/Coq-HoTT/subscription","commits_url":"https://api.github.com/repos/HoTT/Coq-HoTT/commits{/sha}","git_commits_url":"https://api.github.com/repos/HoTT/Coq-HoTT/git/commits{/sha}","comments_url":"https://api.github.com/repos/HoTT/Coq-HoTT/comments{/number}","issue_comment_url":"https://api.github.com/repos/HoTT/Coq-HoTT/issues/comments{/number}","contents_url":"https://api.github.com/repos/HoTT/Coq-HoTT/contents/{+path}","compare_url":"https://api.github.com/repos/HoTT/Coq-HoTT/compare/{base}...{head}","merges_url":"https://api.github.com/repos/HoTT/Coq-HoTT/merges","archive_url":"https://api.github.com/repos/HoTT/Coq-HoTT/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/HoTT/Coq-HoTT/downloads","issues_url":"https://api.github.com/repos/HoTT/Coq-HoTT/issues{/number}","pulls_url":"https://api.github.com/repos/HoTT/Coq-HoTT/pulls{/number}","milestones_url":"https://api.github.com/repos/HoTT/Coq-HoTT/milestones{/number}","notifications_url":"https://api.github.com/repos/HoTT/Coq-HoTT/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/HoTT/Coq-HoTT/labels{/name}","releases_url":"https://api.github.com/repos/HoTT/Coq-HoTT/releases{/id}","deployments_url":"https://api.github.com/repos/HoTT/Coq-HoTT/deployments","created_at":"2011-03-26T15:59:20Z","updated_at":"2026-10-09T14:38:23Z","pushed_at":"2026-10-09T14:49:15Z","git_url":"git://github.com/HoTT/Coq-HoTT.git","ssh_url":"git@github.com:HoTT/Coq-HoTT.git","clone_url":"https://github.com/HoTT/Coq-HoTT.git","svn_url":"https://github.com/HoTT/Coq-HoTT","homepage":"http://homotopytypetheory.org/","size":34107,"stargazers_count":1404,"watchers_count":1404,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":true,"forks_count":205,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":147,"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":["homotopy-type-theory","type-theory","univalent-foundations"],"visibility":"public","forks":205,"open_issues":147,"watchers":1404,"default_branch":"master","score":1.0},{"id":583008078,"node_id":"R_kgDOIr__Tg","name":"rocq-of-rust","full_name":"formal-land/rocq-of-rust","private":false,"owner":{"login":"formal-land","id":82529334,"node_id":"MDEyOk9yZ2FuaXphdGlvbjgyNTI5MzM0","avatar_url":"https://avatars.githubusercontent.com/u/82529334?v=4","gravatar_id":"","url":"https://api.github.com/users/formal-land","html_url":"https://github.com/formal-land","followers_url":"https://api.github.com/users/formal-land/followers","following_url":"https://api.github.com/users/formal-land/following{/other_user}","gists_url":"https://api.github.com/users/formal-land/gists{/gist_id}","starred_url":"https://api.github.com/users/formal-land/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/formal-land/subscriptions","organizations_url":"https://api.github.com/users/formal-land/orgs","repos_url":"https://api.github.com/users/formal-land/repos","events_url":"https://api.github.com/users/formal-land/events{/privacy}","received_events_url":"https://api.github.com/users/formal-land/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/formal-land/rocq-of-rust","description":"Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.","fork":false,"url":"https://api.github.com/repos/formal-land/rocq-of-rust","forks_url":"https://api.github.com/repos/formal-land/rocq-of-rust/forks","keys_url":"https://api.github.com/repos/formal-land/rocq-of-rust/keys{/key_id}","collaborators_url":"https://api.github.com/repos/formal-land/rocq-of-rust/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/formal-land/rocq-of-rust/teams","hooks_url":"https://api.github.com/repos/formal-land/rocq-of-rust/hooks","issue_events_url":"https://api.github.com/repos/formal-land/rocq-of-rust/issues/events{/number}","events_url":"https://api.github.com/repos/formal-land/rocq-of-rust/events","assignees_url":"https://api.github.com/repos/formal-land/rocq-of-rust/assignees{/user}","branches_url":"https://api.github.com/repos/formal-land/rocq-of-rust/branches{/branch}","tags_url":"https://api.github.com/repos/formal-land/rocq-of-rust/tags","blobs_url":"https://api.github.com/repos/formal-land/rocq-of-rust/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/formal-land/rocq-of-rust/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/formal-land/rocq-of-rust/git/refs{/sha}","trees_url":"https://api.github.com/repos/formal-land/rocq-of-rust/git/trees{/sha}","statuses_url":"https://api.github.com/repos/formal-land/rocq-of-rust/statuses/{sha}","languages_url":"https://api.github.com/repos/formal-land/rocq-of-rust/languages","stargazers_url":"https://api.github.com/repos/formal-land/rocq-of-rust/stargazers","contributors_url":"https://api.github.com/repos/formal-land/rocq-of-rust/contributors","subscribers_url":"https://api.github.com/repos/formal-land/rocq-of-rust/subscribers","subscription_url":"https://api.github.com/repos/formal-land/rocq-of-rust/subscription","commits_url":"https://api.github.com/repos/formal-land/rocq-of-rust/commits{/sha}","git_commits_url":"https://api.github.com/repos/formal-land/rocq-of-rust/git/commits{/sha}","comments_url":"https://api.github.com/repos/formal-land/rocq-of-rust/comments{/number}","issue_comment_url":"https://api.github.com/repos/formal-land/rocq-of-rust/issues/comments{/number}","contents_url":"https://api.github.com/repos/formal-land/rocq-of-rust/contents/{+path}","compare_url":"https://api.github.com/repos/formal-land/rocq-of-rust/compare/{base}...{head}","merges_url":"https://api.github.com/repos/formal-land/rocq-of-rust/merges","archive_url":"https://api.github.com/repos/formal-land/rocq-of-rust/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/formal-land/rocq-of-rust/downloads","issues_url":"https://api.github.com/repos/formal-land/rocq-of-rust/issues{/number}","pulls_url":"https://api.github.com/repos/formal-land/rocq-of-rust/pulls{/number}","milestones_url":"https://api.github.com/repos/formal-land/rocq-of-rust/milestones{/number}","notifications_url":"https://api.github.com/repos/formal-land/rocq-of-rust/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/formal-land/rocq-of-rust/labels{/name}","releases_url":"https://api.github.com/repos/formal-land/rocq-of-rust/releases{/id}","deployments_url":"https://api.github.com/repos/formal-land/rocq-of-rust/deployments","created_at":"2022-12-28T13:46:19Z","updated_at":"2026-10-08T18:56:48Z","pushed_at":"2026-10-07T05:59:15Z","git_url":"git://github.com/formal-land/rocq-of-rust.git","ssh_url":"git@github.com:formal-land/rocq-of-rust.git","clone_url":"https://github.com/formal-land/rocq-of-rust.git","svn_url":"https://github.com/formal-land/rocq-of-rust","homepage":"https://formal.land/docs/tools/rocq-of-rust/introduction","size":165869,"stargazers_count":1169,"watchers_count":1169,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":true,"forks_count":43,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":61,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["formal-verification","proof","rocq","rust"],"visibility":"public","forks":43,"open_issues":61,"watchers":1169,"default_branch":"main","score":1.0},{"id":17321421,"node_id":"MDEwOlJlcG9zaXRvcnkxNzMyMTQyMQ==","name":"UniMath","full_name":"UniMath/UniMath","private":false,"owner":{"login":"UniMath","id":6826454,"node_id":"MDEyOk9yZ2FuaXphdGlvbjY4MjY0NTQ=","avatar_url":"https://avatars.githubusercontent.com/u/6826454?v=4","gravatar_id":"","url":"https://api.github.com/users/UniMath","html_url":"https://github.com/UniMath","followers_url":"https://api.github.com/users/UniMath/followers","following_url":"https://api.github.com/users/UniMath/following{/other_user}","gists_url":"https://api.github.com/users/UniMath/gists{/gist_id}","starred_url":"https://api.github.com/users/UniMath/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/UniMath/subscriptions","organizations_url":"https://api.github.com/users/UniMath/orgs","repos_url":"https://api.github.com/users/UniMath/repos","events_url":"https://api.github.com/users/UniMath/events{/privacy}","received_events_url":"https://api.github.com/users/UniMath/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/UniMath/UniMath","description":"This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.","fork":false,"url":"https://api.github.com/repos/UniMath/UniMath","forks_url":"https://api.github.com/repos/UniMath/UniMath/forks","keys_url":"https://api.github.com/repos/UniMath/UniMath/keys{/key_id}","collaborators_url":"https://api.github.com/repos/UniMath/UniMath/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/UniMath/UniMath/teams","hooks_url":"https://api.github.com/repos/UniMath/UniMath/hooks","issue_events_url":"https://api.github.com/repos/UniMath/UniMath/issues/events{/number}","events_url":"https://api.github.com/repos/UniMath/UniMath/events","assignees_url":"https://api.github.com/repos/UniMath/UniMath/assignees{/user}","branches_url":"https://api.github.com/repos/UniMath/UniMath/branches{/branch}","tags_url":"https://api.github.com/repos/UniMath/UniMath/tags","blobs_url":"https://api.github.com/repos/UniMath/UniMath/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/UniMath/UniMath/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/UniMath/UniMath/git/refs{/sha}","trees_url":"https://api.github.com/repos/UniMath/UniMath/git/trees{/sha}","statuses_url":"https://api.github.com/repos/UniMath/UniMath/statuses/{sha}","languages_url":"https://api.github.com/repos/UniMath/UniMath/languages","stargazers_url":"https://api.github.com/repos/UniMath/UniMath/stargazers","contributors_url":"https://api.github.com/repos/UniMath/UniMath/contributors","subscribers_url":"https://api.github.com/repos/UniMath/UniMath/subscribers","subscription_url":"https://api.github.com/repos/UniMath/UniMath/subscription","commits_url":"https://api.github.com/repos/UniMath/UniMath/commits{/sha}","git_commits_url":"https://api.github.com/repos/UniMath/UniMath/git/commits{/sha}","comments_url":"https://api.github.com/repos/UniMath/UniMath/comments{/number}","issue_comment_url":"https://api.github.com/repos/UniMath/UniMath/issues/comments{/number}","contents_url":"https://api.github.com/repos/UniMath/UniMath/contents/{+path}","compare_url":"https://api.github.com/repos/UniMath/UniMath/compare/{base}...{head}","merges_url":"https://api.github.com/repos/UniMath/UniMath/merges","archive_url":"https://api.github.com/repos/UniMath/UniMath/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/UniMath/UniMath/downloads","issues_url":"https://api.github.com/repos/UniMath/UniMath/issues{/number}","pulls_url":"https://api.github.com/repos/UniMath/UniMath/pulls{/number}","milestones_url":"https://api.github.com/repos/UniMath/UniMath/milestones{/number}","notifications_url":"https://api.github.com/repos/UniMath/UniMath/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/UniMath/UniMath/labels{/name}","releases_url":"https://api.github.com/repos/UniMath/UniMath/releases{/id}","deployments_url":"https://api.github.com/repos/UniMath/UniMath/deployments","created_at":"2014-03-01T18:37:12Z","updated_at":"2026-10-09T14:40:50Z","pushed_at":"2026-10-09T16:15:56Z","git_url":"git://github.com/UniMath/UniMath.git","ssh_url":"git@github.com:UniMath/UniMath.git","clone_url":"https://github.com/UniMath/UniMath.git","svn_url":"https://github.com/UniMath/UniMath","homepage":"http://unimath.org/","size":48482,"stargazers_count":1017,"watchers_count":1017,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":true,"has_discussions":true,"forks_count":187,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":149,"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":["coq","coq-library","foundations","mathematics","rocq","rocq-library","unimath"],"visibility":"public","forks":187,"open_issues":149,"watchers":1017,"default_branch":"master","score":1.0},{"id":42269036,"node_id":"MDEwOlJlcG9zaXRvcnk0MjI2OTAzNg==","name":"fiat-crypto","full_name":"mit-plv/fiat-crypto","private":false,"owner":{"login":"mit-plv","id":11860253,"node_id":"MDEyOk9yZ2FuaXphdGlvbjExODYwMjUz","avatar_url":"https://avatars.githubusercontent.com/u/11860253?v=4","gravatar_id":"","url":"https://api.github.com/users/mit-plv","html_url":"https://github.com/mit-plv","followers_url":"https://api.github.com/users/mit-plv/followers","following_url":"https://api.github.com/users/mit-plv/following{/other_user}","gists_url":"https://api.github.com/users/mit-plv/gists{/gist_id}","starred_url":"https://api.github.com/users/mit-plv/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mit-plv/subscriptions","organizations_url":"https://api.github.com/users/mit-plv/orgs","repos_url":"https://api.github.com/users/mit-plv/repos","events_url":"https://api.github.com/users/mit-plv/events{/privacy}","received_events_url":"https://api.github.com/users/mit-plv/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/mit-plv/fiat-crypto","description":"Cryptographic Primitive Code Generation by Fiat","fork":false,"url":"https://api.github.com/repos/mit-plv/fiat-crypto","forks_url":"https://api.github.com/repos/mit-plv/fiat-crypto/forks","keys_url":"https://api.github.com/repos/mit-plv/fiat-crypto/keys{/key_id}","collaborators_url":"https://api.github.com/repos/mit-plv/fiat-crypto/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/mit-plv/fiat-crypto/teams","hooks_url":"https://api.github.com/repos/mit-plv/fiat-crypto/hooks","issue_events_url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/events{/number}","events_url":"https://api.github.com/repos/mit-plv/fiat-crypto/events","assignees_url":"https://api.github.com/repos/mit-plv/fiat-crypto/assignees{/user}","branches_url":"https://api.github.com/repos/mit-plv/fiat-crypto/branches{/branch}","tags_url":"https://api.github.com/repos/mit-plv/fiat-crypto/tags","blobs_url":"https://api.github.com/repos/mit-plv/fiat-crypto/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/mit-plv/fiat-crypto/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/mit-plv/fiat-crypto/git/refs{/sha}","trees_url":"https://api.github.com/repos/mit-plv/fiat-crypto/git/trees{/sha}","statuses_url":"https://api.github.com/repos/mit-plv/fiat-crypto/statuses/{sha}","languages_url":"https://api.github.com/repos/mit-plv/fiat-crypto/languages","stargazers_url":"https://api.github.com/repos/mit-plv/fiat-crypto/stargazers","contributors_url":"https://api.github.com/repos/mit-plv/fiat-crypto/contributors","subscribers_url":"https://api.github.com/repos/mit-plv/fiat-crypto/subscribers","subscription_url":"https://api.github.com/repos/mit-plv/fiat-crypto/subscription","commits_url":"https://api.github.com/repos/mit-plv/fiat-crypto/commits{/sha}","git_commits_url":"https://api.github.com/repos/mit-plv/fiat-crypto/git/commits{/sha}","comments_url":"https://api.github.com/repos/mit-plv/fiat-crypto/comments{/number}","issue_comment_url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues/comments{/number}","contents_url":"https://api.github.com/repos/mit-plv/fiat-crypto/contents/{+path}","compare_url":"https://api.github.com/repos/mit-plv/fiat-crypto/compare/{base}...{head}","merges_url":"https://api.github.com/repos/mit-plv/fiat-crypto/merges","archive_url":"https://api.github.com/repos/mit-plv/fiat-crypto/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/mit-plv/fiat-crypto/downloads","issues_url":"https://api.github.com/repos/mit-plv/fiat-crypto/issues{/number}","pulls_url":"https://api.github.com/repos/mit-plv/fiat-crypto/pulls{/number}","milestones_url":"https://api.github.com/repos/mit-plv/fiat-crypto/milestones{/number}","notifications_url":"https://api.github.com/repos/mit-plv/fiat-crypto/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/mit-plv/fiat-crypto/labels{/name}","releases_url":"https://api.github.com/repos/mit-plv/fiat-crypto/releases{/id}","deployments_url":"https://api.github.com/repos/mit-plv/fiat-crypto/deployments","created_at":"2015-09-10T20:29:16Z","updated_at":"2026-10-10T13:18:41Z","pushed_at":"2026-10-09T22:24:31Z","git_url":"git://github.com/mit-plv/fiat-crypto.git","ssh_url":"git@github.com:mit-plv/fiat-crypto.git","clone_url":"https://github.com/mit-plv/fiat-crypto.git","svn_url":"https://github.com/mit-plv/fiat-crypto","homepage":"http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf","size":184879,"stargazers_count":842,"watchers_count":842,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":true,"has_discussions":true,"forks_count":179,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":213,"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":179,"open_issues":213,"watchers":842,"default_branch":"master","score":1.0},{"id":289386044,"node_id":"MDEwOlJlcG9zaXRvcnkyODkzODYwNDQ=","name":"magmide","full_name":"magmide/magmide","private":false,"owner":{"login":"magmide","id":95774363,"node_id":"O_kgDOBbVmmw","avatar_url":"https://avatars.githubusercontent.com/u/95774363?v=4","gravatar_id":"","url":"https://api.github.com/users/magmide","html_url":"https://github.com/magmide","followers_url":"https://api.github.com/users/magmide/followers","following_url":"https://api.github.com/users/magmide/following{/other_user}","gists_url":"https://api.github.com/users/magmide/gists{/gist_id}","starred_url":"https://api.github.com/users/magmide/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/magmide/subscriptions","organizations_url":"https://api.github.com/users/magmide/orgs","repos_url":"https://api.github.com/users/magmide/repos","events_url":"https://api.github.com/users/magmide/events{/privacy}","received_events_url":"https://api.github.com/users/magmide/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/magmide/magmide","description":"A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.","fork":false,"url":"https://api.github.com/repos/magmide/magmide","forks_url":"https://api.github.com/repos/magmide/magmide/forks","keys_url":"https://api.github.com/repos/magmide/magmide/keys{/key_id}","collaborators_url":"https://api.github.com/repos/magmide/magmide/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/magmide/magmide/teams","hooks_url":"https://api.github.com/repos/magmide/magmide/hooks","issue_events_url":"https://api.github.com/repos/magmide/magmide/issues/events{/number}","events_url":"https://api.github.com/repos/magmide/magmide/events","assignees_url":"https://api.github.com/repos/magmide/magmide/assignees{/user}","branches_url":"https://api.github.com/repos/magmide/magmide/branches{/branch}","tags_url":"https://api.github.com/repos/magmide/magmide/tags","blobs_url":"https://api.github.com/repos/magmide/magmide/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/magmide/magmide/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/magmide/magmide/git/refs{/sha}","trees_url":"https://api.github.com/repos/magmide/magmide/git/trees{/sha}","statuses_url":"https://api.github.com/repos/magmide/magmide/statuses/{sha}","languages_url":"https://api.github.com/repos/magmide/magmide/languages","stargazers_url":"https://api.github.com/repos/magmide/magmide/stargazers","contributors_url":"https://api.github.com/repos/magmide/magmide/contributors","subscribers_url":"https://api.github.com/repos/magmide/magmide/subscribers","subscription_url":"https://api.github.com/repos/magmide/magmide/subscription","commits_url":"https://api.github.com/repos/magmide/magmide/commits{/sha}","git_commits_url":"https://api.github.com/repos/magmide/magmide/git/commits{/sha}","comments_url":"https://api.github.com/repos/magmide/magmide/comments{/number}","issue_comment_url":"https://api.github.com/repos/magmide/magmide/issues/comments{/number}","contents_url":"https://api.github.com/repos/magmide/magmide/contents/{+path}","compare_url":"https://api.github.com/repos/magmide/magmide/compare/{base}...{head}","merges_url":"https://api.github.com/repos/magmide/magmide/merges","archive_url":"https://api.github.com/repos/magmide/magmide/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/magmide/magmide/downloads","issues_url":"https://api.github.com/repos/magmide/magmide/issues{/number}","pulls_url":"https://api.github.com/repos/magmide/magmide/pulls{/number}","milestones_url":"https://api.github.com/repos/magmide/magmide/milestones{/number}","notifications_url":"https://api.github.com/repos/magmide/magmide/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/magmide/magmide/labels{/name}","releases_url":"https://api.github.com/repos/magmide/magmide/releases{/id}","deployments_url":"https://api.github.com/repos/magmide/magmide/deployments","created_at":"2020-08-21T23:47:21Z","updated_at":"2026-09-29T06:01:56Z","pushed_at":"2026-05-14T16:59:48Z","git_url":"git://github.com/magmide/magmide.git","ssh_url":"git@github.com:magmide/magmide.git","clone_url":"https://github.com/magmide/magmide.git","svn_url":"https://github.com/magmide/magmide","homepage":"","size":40474,"stargazers_count":836,"watchers_count":836,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":true,"forks_count":15,"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":["coq","dependent-types","formal-methods","formal-verification","logic","systems-programming","type-safety","verification"],"visibility":"public","forks":15,"open_issues":0,"watchers":836,"default_branch":"main","score":1.0},{"id":21490182,"node_id":"MDEwOlJlcG9zaXRvcnkyMTQ5MDE4Mg==","name":"category-theory","full_name":"jwiegley/category-theory","private":false,"owner":{"login":"jwiegley","id":8460,"node_id":"MDQ6VXNlcjg0NjA=","avatar_url":"https://avatars.githubusercontent.com/u/8460?v=4","gravatar_id":"","url":"https://api.github.com/users/jwiegley","html_url":"https://github.com/jwiegley","followers_url":"https://api.github.com/users/jwiegley/followers","following_url":"https://api.github.com/users/jwiegley/following{/other_user}","gists_url":"https://api.github.com/users/jwiegley/gists{/gist_id}","starred_url":"https://api.github.com/users/jwiegley/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jwiegley/subscriptions","organizations_url":"https://api.github.com/users/jwiegley/orgs","repos_url":"https://api.github.com/users/jwiegley/repos","events_url":"https://api.github.com/users/jwiegley/events{/privacy}","received_events_url":"https://api.github.com/users/jwiegley/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/jwiegley/category-theory","description":"An axiom-free formalization of category theory in Coq for personal study and practical work","fork":false,"url":"https://api.github.com/repos/jwiegley/category-theory","forks_url":"https://api.github.com/repos/jwiegley/category-theory/forks","keys_url":"https://api.github.com/repos/jwiegley/category-theory/keys{/key_id}","collaborators_url":"https://api.github.com/repos/jwiegley/category-theory/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/jwiegley/category-theory/teams","hooks_url":"https://api.github.com/repos/jwiegley/category-theory/hooks","issue_events_url":"https://api.github.com/repos/jwiegley/category-theory/issues/events{/number}","events_url":"https://api.github.com/repos/jwiegley/category-theory/events","assignees_url":"https://api.github.com/repos/jwiegley/category-theory/assignees{/user}","branches_url":"https://api.github.com/repos/jwiegley/category-theory/branches{/branch}","tags_url":"https://api.github.com/repos/jwiegley/category-theory/tags","blobs_url":"https://api.github.com/repos/jwiegley/category-theory/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/jwiegley/category-theory/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/jwiegley/category-theory/git/refs{/sha}","trees_url":"https://api.github.com/repos/jwiegley/category-theory/git/trees{/sha}","statuses_url":"https://api.github.com/repos/jwiegley/category-theory/statuses/{sha}","languages_url":"https://api.github.com/repos/jwiegley/category-theory/languages","stargazers_url":"https://api.github.com/repos/jwiegley/category-theory/stargazers","contributors_url":"https://api.github.com/repos/jwiegley/category-theory/contributors","subscribers_url":"https://api.github.com/repos/jwiegley/category-theory/subscribers","subscription_url":"https://api.github.com/repos/jwiegley/category-theory/subscription","commits_url":"https://api.github.com/repos/jwiegley/category-theory/commits{/sha}","git_commits_url":"https://api.github.com/repos/jwiegley/category-theory/git/commits{/sha}","comments_url":"https://api.github.com/repos/jwiegley/category-theory/comments{/number}","issue_comment_url":"https://api.github.com/repos/jwiegley/category-theory/issues/comments{/number}","contents_url":"https://api.github.com/repos/jwiegley/category-theory/contents/{+path}","compare_url":"https://api.github.com/repos/jwiegley/category-theory/compare/{base}...{head}","merges_url":"https://api.github.com/repos/jwiegley/category-theory/merges","archive_url":"https://api.github.com/repos/jwiegley/category-theory/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/jwiegley/category-theory/downloads","issues_url":"https://api.github.com/repos/jwiegley/category-theory/issues{/number}","pulls_url":"https://api.github.com/repos/jwiegley/category-theory/pulls{/number}","milestones_url":"https://api.github.com/repos/jwiegley/category-theory/milestones{/number}","notifications_url":"https://api.github.com/repos/jwiegley/category-theory/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/jwiegley/category-theory/labels{/name}","releases_url":"https://api.github.com/repos/jwiegley/category-theory/releases{/id}","deployments_url":"https://api.github.com/repos/jwiegley/category-theory/deployments","created_at":"2014-07-04T08:13:37Z","updated_at":"2026-10-08T19:46:26Z","pushed_at":"2026-10-08T19:46:22Z","git_url":"git://github.com/jwiegley/category-theory.git","ssh_url":"git@github.com:jwiegley/category-theory.git","clone_url":"https://github.com/jwiegley/category-theory.git","svn_url":"https://github.com/jwiegley/category-theory","homepage":"","size":22212,"stargazers_count":815,"watchers_count":815,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":83,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":602,"license":{"key":"bsd-3-clause","name":"BSD 3-Clause \"New\" or \"Revised\" License","spdx_id":"BSD-3-Clause","url":"https://api.github.com/licenses/bsd-3-clause","node_id":"MDc6TGljZW5zZTU="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["cartesian","cartesian-closed-category","categories","category","category-theory","comonads","construction","coq","functor","monad","monoid","profunctor","profunctor-composition"],"visibility":"public","forks":83,"open_issues":602,"watchers":815,"default_branch":"master","score":1.0},{"id":50943105,"node_id":"MDEwOlJlcG9zaXRvcnk1MDk0MzEwNQ==","name":"frap","full_name":"achlipala/frap","private":false,"owner":{"login":"achlipala","id":2353331,"node_id":"MDQ6VXNlcjIzNTMzMzE=","avatar_url":"https://avatars.githubusercontent.com/u/2353331?v=4","gravatar_id":"","url":"https://api.github.com/users/achlipala","html_url":"https://github.com/achlipala","followers_url":"https://api.github.com/users/achlipala/followers","following_url":"https://api.github.com/users/achlipala/following{/other_user}","gists_url":"https://api.github.com/users/achlipala/gists{/gist_id}","starred_url":"https://api.github.com/users/achlipala/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/achlipala/subscriptions","organizations_url":"https://api.github.com/users/achlipala/orgs","repos_url":"https://api.github.com/users/achlipala/repos","events_url":"https://api.github.com/users/achlipala/events{/privacy}","received_events_url":"https://api.github.com/users/achlipala/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/achlipala/frap","description":"Formal Reasoning About Programs","fork":false,"url":"https://api.github.com/repos/achlipala/frap","forks_url":"https://api.github.com/repos/achlipala/frap/forks","keys_url":"https://api.github.com/repos/achlipala/frap/keys{/key_id}","collaborators_url":"https://api.github.com/repos/achlipala/frap/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/achlipala/frap/teams","hooks_url":"https://api.github.com/repos/achlipala/frap/hooks","issue_events_url":"https://api.github.com/repos/achlipala/frap/issues/events{/number}","events_url":"https://api.github.com/repos/achlipala/frap/events","assignees_url":"https://api.github.com/repos/achlipala/frap/assignees{/user}","branches_url":"https://api.github.com/repos/achlipala/frap/branches{/branch}","tags_url":"https://api.github.com/repos/achlipala/frap/tags","blobs_url":"https://api.github.com/repos/achlipala/frap/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/achlipala/frap/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/achlipala/frap/git/refs{/sha}","trees_url":"https://api.github.com/repos/achlipala/frap/git/trees{/sha}","statuses_url":"https://api.github.com/repos/achlipala/frap/statuses/{sha}","languages_url":"https://api.github.com/repos/achlipala/frap/languages","stargazers_url":"https://api.github.com/repos/achlipala/frap/stargazers","contributors_url":"https://api.github.com/repos/achlipala/frap/contributors","subscribers_url":"https://api.github.com/repos/achlipala/frap/subscribers","subscription_url":"https://api.github.com/repos/achlipala/frap/subscription","commits_url":"https://api.github.com/repos/achlipala/frap/commits{/sha}","git_commits_url":"https://api.github.com/repos/achlipala/frap/git/commits{/sha}","comments_url":"https://api.github.com/repos/achlipala/frap/comments{/number}","issue_comment_url":"https://api.github.com/repos/achlipala/frap/issues/comments{/number}","contents_url":"https://api.github.com/repos/achlipala/frap/contents/{+path}","compare_url":"https://api.github.com/repos/achlipala/frap/compare/{base}...{head}","merges_url":"https://api.github.com/repos/achlipala/frap/merges","archive_url":"https://api.github.com/repos/achlipala/frap/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/achlipala/frap/downloads","issues_url":"https://api.github.com/repos/achlipala/frap/issues{/number}","pulls_url":"https://api.github.com/repos/achlipala/frap/pulls{/number}","milestones_url":"https://api.github.com/repos/achlipala/frap/milestones{/number}","notifications_url":"https://api.github.com/repos/achlipala/frap/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/achlipala/frap/labels{/name}","releases_url":"https://api.github.com/repos/achlipala/frap/releases{/id}","deployments_url":"https://api.github.com/repos/achlipala/frap/deployments","created_at":"2016-02-02T18:43:56Z","updated_at":"2026-10-08T17:58:34Z","pushed_at":"2026-03-23T20:35:35Z","git_url":"git://github.com/achlipala/frap.git","ssh_url":"git@github.com:achlipala/frap.git","clone_url":"https://github.com/achlipala/frap.git","svn_url":"https://github.com/achlipala/frap","homepage":null,"size":2467,"stargazers_count":732,"watchers_count":732,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":95,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":8,"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":95,"open_issues":8,"watchers":732,"default_branch":"master","score":1.0},{"id":32018344,"node_id":"MDEwOlJlcG9zaXRvcnkzMjAxODM0NA==","name":"math-comp","full_name":"math-comp/math-comp","private":false,"owner":{"login":"math-comp","id":11424151,"node_id":"MDEyOk9yZ2FuaXphdGlvbjExNDI0MTUx","avatar_url":"https://avatars.githubusercontent.com/u/11424151?v=4","gravatar_id":"","url":"https://api.github.com/users/math-comp","html_url":"https://github.com/math-comp","followers_url":"https://api.github.com/users/math-comp/followers","following_url":"https://api.github.com/users/math-comp/following{/other_user}","gists_url":"https://api.github.com/users/math-comp/gists{/gist_id}","starred_url":"https://api.github.com/users/math-comp/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/math-comp/subscriptions","organizations_url":"https://api.github.com/users/math-comp/orgs","repos_url":"https://api.github.com/users/math-comp/repos","events_url":"https://api.github.com/users/math-comp/events{/privacy}","received_events_url":"https://api.github.com/users/math-comp/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/math-comp/math-comp","description":"Mathematical Components","fork":false,"url":"https://api.github.com/repos/math-comp/math-comp","forks_url":"https://api.github.com/repos/math-comp/math-comp/forks","keys_url":"https://api.github.com/repos/math-comp/math-comp/keys{/key_id}","collaborators_url":"https://api.github.com/repos/math-comp/math-comp/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/math-comp/math-comp/teams","hooks_url":"https://api.github.com/repos/math-comp/math-comp/hooks","issue_events_url":"https://api.github.com/repos/math-comp/math-comp/issues/events{/number}","events_url":"https://api.github.com/repos/math-comp/math-comp/events","assignees_url":"https://api.github.com/repos/math-comp/math-comp/assignees{/user}","branches_url":"https://api.github.com/repos/math-comp/math-comp/branches{/branch}","tags_url":"https://api.github.com/repos/math-comp/math-comp/tags","blobs_url":"https://api.github.com/repos/math-comp/math-comp/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/math-comp/math-comp/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/math-comp/math-comp/git/refs{/sha}","trees_url":"https://api.github.com/repos/math-comp/math-comp/git/trees{/sha}","statuses_url":"https://api.github.com/repos/math-comp/math-comp/statuses/{sha}","languages_url":"https://api.github.com/repos/math-comp/math-comp/languages","stargazers_url":"https://api.github.com/repos/math-comp/math-comp/stargazers","contributors_url":"https://api.github.com/repos/math-comp/math-comp/contributors","subscribers_url":"https://api.github.com/repos/math-comp/math-comp/subscribers","subscription_url":"https://api.github.com/repos/math-comp/math-comp/subscription","commits_url":"https://api.github.com/repos/math-comp/math-comp/commits{/sha}","git_commits_url":"https://api.github.com/repos/math-comp/math-comp/git/commits{/sha}","comments_url":"https://api.github.com/repos/math-comp/math-comp/comments{/number}","issue_comment_url":"https://api.github.com/repos/math-comp/math-comp/issues/comments{/number}","contents_url":"https://api.github.com/repos/math-comp/math-comp/contents/{+path}","compare_url":"https://api.github.com/repos/math-comp/math-comp/compare/{base}...{head}","merges_url":"https://api.github.com/repos/math-comp/math-comp/merges","archive_url":"https://api.github.com/repos/math-comp/math-comp/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/math-comp/math-comp/downloads","issues_url":"https://api.github.com/repos/math-comp/math-comp/issues{/number}","pulls_url":"https://api.github.com/repos/math-comp/math-comp/pulls{/number}","milestones_url":"https://api.github.com/repos/math-comp/math-comp/milestones{/number}","notifications_url":"https://api.github.com/repos/math-comp/math-comp/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/math-comp/math-comp/labels{/name}","releases_url":"https://api.github.com/repos/math-comp/math-comp/releases{/id}","deployments_url":"https://api.github.com/repos/math-comp/math-comp/deployments","created_at":"2015-03-11T13:13:27Z","updated_at":"2026-10-09T14:39:57Z","pushed_at":"2026-09-28T05:59:21Z","git_url":"git://github.com/math-comp/math-comp.git","ssh_url":"git@github.com:math-comp/math-comp.git","clone_url":"https://github.com/math-comp/math-comp.git","svn_url":"https://github.com/math-comp/math-comp","homepage":"https://math-comp.github.io","size":19902,"stargazers_count":700,"watchers_count":700,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":136,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":183,"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":["coq","coq-formalization","mathcomp","rocq","rocq-library","rocq-prover","rocq-prover-lang","ssreflect"],"visibility":"public","forks":136,"open_issues":183,"watchers":700,"default_branch":"master","score":1.0},{"id":26697351,"node_id":"MDEwOlJlcG9zaXRvcnkyNjY5NzM1MQ==","name":"verdi","full_name":"uwplse/verdi","private":false,"owner":{"login":"uwplse","id":5273459,"node_id":"MDEyOk9yZ2FuaXphdGlvbjUyNzM0NTk=","avatar_url":"https://avatars.githubusercontent.com/u/5273459?v=4","gravatar_id":"","url":"https://api.github.com/users/uwplse","html_url":"https://github.com/uwplse","followers_url":"https://api.github.com/users/uwplse/followers","following_url":"https://api.github.com/users/uwplse/following{/other_user}","gists_url":"https://api.github.com/users/uwplse/gists{/gist_id}","starred_url":"https://api.github.com/users/uwplse/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/uwplse/subscriptions","organizations_url":"https://api.github.com/users/uwplse/orgs","repos_url":"https://api.github.com/users/uwplse/repos","events_url":"https://api.github.com/users/uwplse/events{/privacy}","received_events_url":"https://api.github.com/users/uwplse/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/uwplse/verdi","description":"A framework for formally verifying distributed systems implementations in Coq","fork":false,"url":"https://api.github.com/repos/uwplse/verdi","forks_url":"https://api.github.com/repos/uwplse/verdi/forks","keys_url":"https://api.github.com/repos/uwplse/verdi/keys{/key_id}","collaborators_url":"https://api.github.com/repos/uwplse/verdi/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/uwplse/verdi/teams","hooks_url":"https://api.github.com/repos/uwplse/verdi/hooks","issue_events_url":"https://api.github.com/repos/uwplse/verdi/issues/events{/number}","events_url":"https://api.github.com/repos/uwplse/verdi/events","assignees_url":"https://api.github.com/repos/uwplse/verdi/assignees{/user}","branches_url":"https://api.github.com/repos/uwplse/verdi/branches{/branch}","tags_url":"https://api.github.com/repos/uwplse/verdi/tags","blobs_url":"https://api.github.com/repos/uwplse/verdi/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/uwplse/verdi/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/uwplse/verdi/git/refs{/sha}","trees_url":"https://api.github.com/repos/uwplse/verdi/git/trees{/sha}","statuses_url":"https://api.github.com/repos/uwplse/verdi/statuses/{sha}","languages_url":"https://api.github.com/repos/uwplse/verdi/languages","stargazers_url":"https://api.github.com/repos/uwplse/verdi/stargazers","contributors_url":"https://api.github.com/repos/uwplse/verdi/contributors","subscribers_url":"https://api.github.com/repos/uwplse/verdi/subscribers","subscription_url":"https://api.github.com/repos/uwplse/verdi/subscription","commits_url":"https://api.github.com/repos/uwplse/verdi/commits{/sha}","git_commits_url":"https://api.github.com/repos/uwplse/verdi/git/commits{/sha}","comments_url":"https://api.github.com/repos/uwplse/verdi/comments{/number}","issue_comment_url":"https://api.github.com/repos/uwplse/verdi/issues/comments{/number}","contents_url":"https://api.github.com/repos/uwplse/verdi/contents/{+path}","compare_url":"https://api.github.com/repos/uwplse/verdi/compare/{base}...{head}","merges_url":"https://api.github.com/repos/uwplse/verdi/merges","archive_url":"https://api.github.com/repos/uwplse/verdi/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/uwplse/verdi/downloads","issues_url":"https://api.github.com/repos/uwplse/verdi/issues{/number}","pulls_url":"https://api.github.com/repos/uwplse/verdi/pulls{/number}","milestones_url":"https://api.github.com/repos/uwplse/verdi/milestones{/number}","notifications_url":"https://api.github.com/repos/uwplse/verdi/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/uwplse/verdi/labels{/name}","releases_url":"https://api.github.com/repos/uwplse/verdi/releases{/id}","deployments_url":"https://api.github.com/repos/uwplse/verdi/deployments","created_at":"2014-11-15T23:17:51Z","updated_at":"2026-09-30T05:30:51Z","pushed_at":"2026-01-27T13:15:07Z","git_url":"git://github.com/uwplse/verdi.git","ssh_url":"git@github.com:uwplse/verdi.git","clone_url":"https://github.com/uwplse/verdi.git","svn_url":"https://github.com/uwplse/verdi","homepage":null,"size":2714,"stargazers_count":627,"watchers_count":627,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":58,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":5,"license":{"key":"bsd-2-clause","name":"BSD 2-Clause \"Simplified\" License","spdx_id":"BSD-2-Clause","url":"https://api.github.com/licenses/bsd-2-clause","node_id":"MDc6TGljZW5zZTQ="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["coq","coq-library","distributed-systems","proof","verdi"],"visibility":"public","forks":58,"open_issues":5,"watchers":627,"default_branch":"master","score":1.0},{"id":107535901,"node_id":"MDEwOlJlcG9zaXRvcnkxMDc1MzU5MDE=","name":"metarocq","full_name":"MetaRocq/metarocq","private":false,"owner":{"login":"MetaRocq","id":32929165,"node_id":"MDEyOk9yZ2FuaXphdGlvbjMyOTI5MTY1","avatar_url":"https://avatars.githubusercontent.com/u/32929165?v=4","gravatar_id":"","url":"https://api.github.com/users/MetaRocq","html_url":"https://github.com/MetaRocq","followers_url":"https://api.github.com/users/MetaRocq/followers","following_url":"https://api.github.com/users/MetaRocq/following{/other_user}","gists_url":"https://api.github.com/users/MetaRocq/gists{/gist_id}","starred_url":"https://api.github.com/users/MetaRocq/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/MetaRocq/subscriptions","organizations_url":"https://api.github.com/users/MetaRocq/orgs","repos_url":"https://api.github.com/users/MetaRocq/repos","events_url":"https://api.github.com/users/MetaRocq/events{/privacy}","received_events_url":"https://api.github.com/users/MetaRocq/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/MetaRocq/metarocq","description":"Metaprogramming, verified meta-theory and implementation of Rocq in Rocq","fork":false,"url":"https://api.github.com/repos/MetaRocq/metarocq","forks_url":"https://api.github.com/repos/MetaRocq/metarocq/forks","keys_url":"https://api.github.com/repos/MetaRocq/metarocq/keys{/key_id}","collaborators_url":"https://api.github.com/repos/MetaRocq/metarocq/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/MetaRocq/metarocq/teams","hooks_url":"https://api.github.com/repos/MetaRocq/metarocq/hooks","issue_events_url":"https://api.github.com/repos/MetaRocq/metarocq/issues/events{/number}","events_url":"https://api.github.com/repos/MetaRocq/metarocq/events","assignees_url":"https://api.github.com/repos/MetaRocq/metarocq/assignees{/user}","branches_url":"https://api.github.com/repos/MetaRocq/metarocq/branches{/branch}","tags_url":"https://api.github.com/repos/MetaRocq/metarocq/tags","blobs_url":"https://api.github.com/repos/MetaRocq/metarocq/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/MetaRocq/metarocq/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/MetaRocq/metarocq/git/refs{/sha}","trees_url":"https://api.github.com/repos/MetaRocq/metarocq/git/trees{/sha}","statuses_url":"https://api.github.com/repos/MetaRocq/metarocq/statuses/{sha}","languages_url":"https://api.github.com/repos/MetaRocq/metarocq/languages","stargazers_url":"https://api.github.com/repos/MetaRocq/metarocq/stargazers","contributors_url":"https://api.github.com/repos/MetaRocq/metarocq/contributors","subscribers_url":"https://api.github.com/repos/MetaRocq/metarocq/subscribers","subscription_url":"https://api.github.com/repos/MetaRocq/metarocq/subscription","commits_url":"https://api.github.com/repos/MetaRocq/metarocq/commits{/sha}","git_commits_url":"https://api.github.com/repos/MetaRocq/metarocq/git/commits{/sha}","comments_url":"https://api.github.com/repos/MetaRocq/metarocq/comments{/number}","issue_comment_url":"https://api.github.com/repos/MetaRocq/metarocq/issues/comments{/number}","contents_url":"https://api.github.com/repos/MetaRocq/metarocq/contents/{+path}","compare_url":"https://api.github.com/repos/MetaRocq/metarocq/compare/{base}...{head}","merges_url":"https://api.github.com/repos/MetaRocq/metarocq/merges","archive_url":"https://api.github.com/repos/MetaRocq/metarocq/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/MetaRocq/metarocq/downloads","issues_url":"https://api.github.com/repos/MetaRocq/metarocq/issues{/number}","pulls_url":"https://api.github.com/repos/MetaRocq/metarocq/pulls{/number}","milestones_url":"https://api.github.com/repos/MetaRocq/metarocq/milestones{/number}","notifications_url":"https://api.github.com/repos/MetaRocq/metarocq/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/MetaRocq/metarocq/labels{/name}","releases_url":"https://api.github.com/repos/MetaRocq/metarocq/releases{/id}","deployments_url":"https://api.github.com/repos/MetaRocq/metarocq/deployments","created_at":"2017-10-19T11:10:54Z","updated_at":"2026-10-10T05:04:07Z","pushed_at":"2026-10-09T18:17:11Z","git_url":"git://github.com/MetaRocq/metarocq.git","ssh_url":"git@github.com:MetaRocq/metarocq.git","clone_url":"https://github.com/MetaRocq/metarocq.git","svn_url":"https://github.com/MetaRocq/metarocq","homepage":"https://metarocq.github.io","size":36128,"stargazers_count":559,"watchers_count":559,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":100,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":98,"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":["coq","coq-formalization","metaprogramming","rocq"],"visibility":"public","forks":100,"open_issues":98,"watchers":559,"default_branch":"9.1","score":1.0},{"id":74908815,"node_id":"MDEwOlJlcG9zaXRvcnk3NDkwODgxNQ==","name":"rocq-tricks","full_name":"rocq-community/rocq-tricks","private":false,"owner":{"login":"rocq-community","id":34452610,"node_id":"MDEyOk9yZ2FuaXphdGlvbjM0NDUyNjEw","avatar_url":"https://avatars.githubusercontent.com/u/34452610?v=4","gravatar_id":"","url":"https://api.github.com/users/rocq-community","html_url":"https://github.com/rocq-community","followers_url":"https://api.github.com/users/rocq-community/followers","following_url":"https://api.github.com/users/rocq-community/following{/other_user}","gists_url":"https://api.github.com/users/rocq-community/gists{/gist_id}","starred_url":"https://api.github.com/users/rocq-community/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rocq-community/subscriptions","organizations_url":"https://api.github.com/users/rocq-community/orgs","repos_url":"https://api.github.com/users/rocq-community/repos","events_url":"https://api.github.com/users/rocq-community/events{/privacy}","received_events_url":"https://api.github.com/users/rocq-community/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/rocq-community/rocq-tricks","description":"Tricks you wish the Coq manual told you [maintainer=@tchajed]","fork":false,"url":"https://api.github.com/repos/rocq-community/rocq-tricks","forks_url":"https://api.github.com/repos/rocq-community/rocq-tricks/forks","keys_url":"https://api.github.com/repos/rocq-community/rocq-tricks/keys{/key_id}","collaborators_url":"https://api.github.com/repos/rocq-community/rocq-tricks/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/rocq-community/rocq-tricks/teams","hooks_url":"https://api.github.com/repos/rocq-community/rocq-tricks/hooks","issue_events_url":"https://api.github.com/repos/rocq-community/rocq-tricks/issues/events{/number}","events_url":"https://api.github.com/repos/rocq-community/rocq-tricks/events","assignees_url":"https://api.github.com/repos/rocq-community/rocq-tricks/assignees{/user}","branches_url":"https://api.github.com/repos/rocq-community/rocq-tricks/branches{/branch}","tags_url":"https://api.github.com/repos/rocq-community/rocq-tricks/tags","blobs_url":"https://api.github.com/repos/rocq-community/rocq-tricks/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/rocq-community/rocq-tricks/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/rocq-community/rocq-tricks/git/refs{/sha}","trees_url":"https://api.github.com/repos/rocq-community/rocq-tricks/git/trees{/sha}","statuses_url":"https://api.github.com/repos/rocq-community/rocq-tricks/statuses/{sha}","languages_url":"https://api.github.com/repos/rocq-community/rocq-tricks/languages","stargazers_url":"https://api.github.com/repos/rocq-community/rocq-tricks/stargazers","contributors_url":"https://api.github.com/repos/rocq-community/rocq-tricks/contributors","subscribers_url":"https://api.github.com/repos/rocq-community/rocq-tricks/subscribers","subscription_url":"https://api.github.com/repos/rocq-community/rocq-tricks/subscription","commits_url":"https://api.github.com/repos/rocq-community/rocq-tricks/commits{/sha}","git_commits_url":"https://api.github.com/repos/rocq-community/rocq-tricks/git/commits{/sha}","comments_url":"https://api.github.com/repos/rocq-community/rocq-tricks/comments{/number}","issue_comment_url":"https://api.github.com/repos/rocq-community/rocq-tricks/issues/comments{/number}","contents_url":"https://api.github.com/repos/rocq-community/rocq-tricks/contents/{+path}","compare_url":"https://api.github.com/repos/rocq-community/rocq-tricks/compare/{base}...{head}","merges_url":"https://api.github.com/repos/rocq-community/rocq-tricks/merges","archive_url":"https://api.github.com/repos/rocq-community/rocq-tricks/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/rocq-community/rocq-tricks/downloads","issues_url":"https://api.github.com/repos/rocq-community/rocq-tricks/issues{/number}","pulls_url":"https://api.github.com/repos/rocq-community/rocq-tricks/pulls{/number}","milestones_url":"https://api.github.com/repos/rocq-community/rocq-tricks/milestones{/number}","notifications_url":"https://api.github.com/repos/rocq-community/rocq-tricks/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/rocq-community/rocq-tricks/labels{/name}","releases_url":"https://api.github.com/repos/rocq-community/rocq-tricks/releases{/id}","deployments_url":"https://api.github.com/repos/rocq-community/rocq-tricks/deployments","created_at":"2016-11-27T19:20:09Z","updated_at":"2026-10-04T18:03:02Z","pushed_at":"2025-05-28T14:10:46Z","git_url":"git://github.com/rocq-community/rocq-tricks.git","ssh_url":"git@github.com:rocq-community/rocq-tricks.git","clone_url":"https://github.com/rocq-community/rocq-tricks.git","svn_url":"https://github.com/rocq-community/rocq-tricks","homepage":"http://coq-community.org/coq-tricks/","size":238,"stargazers_count":554,"watchers_count":554,"language":"Coq","has_issues":true,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":true,"has_discussions":false,"forks_count":25,"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":["coq"],"visibility":"public","forks":25,"open_issues":7,"watchers":554,"default_branch":"main","score":1.0},{"id":26978879,"node_id":"MDEwOlJlcG9zaXRvcnkyNjk3ODg3OQ==","name":"VST","full_name":"PrincetonUniversity/VST","private":false,"owner":{"login":"PrincetonUniversity","id":1919273,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE5MTkyNzM=","avatar_url":"https://avatars.githubusercontent.com/u/1919273?v=4","gravatar_id":"","url":"https://api.github.com/users/PrincetonUniversity","html_url":"https://github.com/PrincetonUniversity","followers_url":"https://api.github.com/users/PrincetonUniversity/followers","following_url":"https://api.github.com/users/PrincetonUniversity/following{/other_user}","gists_url":"https://api.github.com/users/PrincetonUniversity/gists{/gist_id}","starred_url":"https://api.github.com/users/PrincetonUniversity/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/PrincetonUniversity/subscriptions","organizations_url":"https://api.github.com/users/PrincetonUniversity/orgs","repos_url":"https://api.github.com/users/PrincetonUniversity/repos","events_url":"https://api.github.com/users/PrincetonUniversity/events{/privacy}","received_events_url":"https://api.github.com/users/PrincetonUniversity/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/PrincetonUniversity/VST","description":"Verified Software Toolchain","fork":false,"url":"https://api.github.com/repos/PrincetonUniversity/VST","forks_url":"https://api.github.com/repos/PrincetonUniversity/VST/forks","keys_url":"https://api.github.com/repos/PrincetonUniversity/VST/keys{/key_id}","collaborators_url":"https://api.github.com/repos/PrincetonUniversity/VST/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/PrincetonUniversity/VST/teams","hooks_url":"https://api.github.com/repos/PrincetonUniversity/VST/hooks","issue_events_url":"https://api.github.com/repos/PrincetonUniversity/VST/issues/events{/number}","events_url":"https://api.github.com/repos/PrincetonUniversity/VST/events","assignees_url":"https://api.github.com/repos/PrincetonUniversity/VST/assignees{/user}","branches_url":"https://api.github.com/repos/PrincetonUniversity/VST/branches{/branch}","tags_url":"https://api.github.com/repos/PrincetonUniversity/VST/tags","blobs_url":"https://api.github.com/repos/PrincetonUniversity/VST/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/PrincetonUniversity/VST/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/PrincetonUniversity/VST/git/refs{/sha}","trees_url":"https://api.github.com/repos/PrincetonUniversity/VST/git/trees{/sha}","statuses_url":"https://api.github.com/repos/PrincetonUniversity/VST/statuses/{sha}","languages_url":"https://api.github.com/repos/PrincetonUniversity/VST/languages","stargazers_url":"https://api.github.com/repos/PrincetonUniversity/VST/stargazers","contributors_url":"https://api.github.com/repos/PrincetonUniversity/VST/contributors","subscribers_url":"https://api.github.com/repos/PrincetonUniversity/VST/subscribers","subscription_url":"https://api.github.com/repos/PrincetonUniversity/VST/subscription","commits_url":"https://api.github.com/repos/PrincetonUniversity/VST/commits{/sha}","git_commits_url":"https://api.github.com/repos/PrincetonUniversity/VST/git/commits{/sha}","comments_url":"https://api.github.com/repos/PrincetonUniversity/VST/comments{/number}","issue_comment_url":"https://api.github.com/repos/PrincetonUniversity/VST/issues/comments{/number}","contents_url":"https://api.github.com/repos/PrincetonUniversity/VST/contents/{+path}","compare_url":"https://api.github.com/repos/PrincetonUniversity/VST/compare/{base}...{head}","merges_url":"https://api.github.com/repos/PrincetonUniversity/VST/merges","archive_url":"https://api.github.com/repos/PrincetonUniversity/VST/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/PrincetonUniversity/VST/downloads","issues_url":"https://api.github.com/repos/PrincetonUniversity/VST/issues{/number}","pulls_url":"https://api.github.com/repos/PrincetonUniversity/VST/pulls{/number}","milestones_url":"https://api.github.com/repos/PrincetonUniversity/VST/milestones{/number}","notifications_url":"https://api.github.com/repos/PrincetonUniversity/VST/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/PrincetonUniversity/VST/labels{/name}","releases_url":"https://api.github.com/repos/PrincetonUniversity/VST/releases{/id}","deployments_url":"https://api.github.com/repos/PrincetonUniversity/VST/deployments","created_at":"2014-11-21T21:36:24Z","updated_at":"2026-10-04T21:28:59Z","pushed_at":"2026-10-03T01:49:22Z","git_url":"git://github.com/PrincetonUniversity/VST.git","ssh_url":"git@github.com:PrincetonUniversity/VST.git","clone_url":"https://github.com/PrincetonUniversity/VST.git","svn_url":"https://github.com/PrincetonUniversity/VST","homepage":"https://vst.cs.princeton.edu","size":78224,"stargazers_count":509,"watchers_count":509,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":105,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":32,"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":["c","compcert","coq","coq-library","coq-vst","formal-methods","formal-specification","formal-verification","proof","proof-assistant","verification"],"visibility":"public","forks":105,"open_issues":32,"watchers":509,"default_branch":"master","score":1.0},{"id":196233996,"node_id":"MDEwOlJlcG9zaXRvcnkxOTYyMzM5OTY=","name":"vsrocq","full_name":"rocq-prover/vsrocq","private":false,"owner":{"login":"rocq-prover","id":621198,"node_id":"MDEyOk9yZ2FuaXphdGlvbjYyMTE5OA==","avatar_url":"https://avatars.githubusercontent.com/u/621198?v=4","gravatar_id":"","url":"https://api.github.com/users/rocq-prover","html_url":"https://github.com/rocq-prover","followers_url":"https://api.github.com/users/rocq-prover/followers","following_url":"https://api.github.com/users/rocq-prover/following{/other_user}","gists_url":"https://api.github.com/users/rocq-prover/gists{/gist_id}","starred_url":"https://api.github.com/users/rocq-prover/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rocq-prover/subscriptions","organizations_url":"https://api.github.com/users/rocq-prover/orgs","repos_url":"https://api.github.com/users/rocq-prover/repos","events_url":"https://api.github.com/users/rocq-prover/events{/privacy}","received_events_url":"https://api.github.com/users/rocq-prover/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/rocq-prover/vsrocq","description":"Visual Studio Code extension for Rocq","fork":false,"url":"https://api.github.com/repos/rocq-prover/vsrocq","forks_url":"https://api.github.com/repos/rocq-prover/vsrocq/forks","keys_url":"https://api.github.com/repos/rocq-prover/vsrocq/keys{/key_id}","collaborators_url":"https://api.github.com/repos/rocq-prover/vsrocq/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/rocq-prover/vsrocq/teams","hooks_url":"https://api.github.com/repos/rocq-prover/vsrocq/hooks","issue_events_url":"https://api.github.com/repos/rocq-prover/vsrocq/issues/events{/number}","events_url":"https://api.github.com/repos/rocq-prover/vsrocq/events","assignees_url":"https://api.github.com/repos/rocq-prover/vsrocq/assignees{/user}","branches_url":"https://api.github.com/repos/rocq-prover/vsrocq/branches{/branch}","tags_url":"https://api.github.com/repos/rocq-prover/vsrocq/tags","blobs_url":"https://api.github.com/repos/rocq-prover/vsrocq/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/rocq-prover/vsrocq/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/rocq-prover/vsrocq/git/refs{/sha}","trees_url":"https://api.github.com/repos/rocq-prover/vsrocq/git/trees{/sha}","statuses_url":"https://api.github.com/repos/rocq-prover/vsrocq/statuses/{sha}","languages_url":"https://api.github.com/repos/rocq-prover/vsrocq/languages","stargazers_url":"https://api.github.com/repos/rocq-prover/vsrocq/stargazers","contributors_url":"https://api.github.com/repos/rocq-prover/vsrocq/contributors","subscribers_url":"https://api.github.com/repos/rocq-prover/vsrocq/subscribers","subscription_url":"https://api.github.com/repos/rocq-prover/vsrocq/subscription","commits_url":"https://api.github.com/repos/rocq-prover/vsrocq/commits{/sha}","git_commits_url":"https://api.github.com/repos/rocq-prover/vsrocq/git/commits{/sha}","comments_url":"https://api.github.com/repos/rocq-prover/vsrocq/comments{/number}","issue_comment_url":"https://api.github.com/repos/rocq-prover/vsrocq/issues/comments{/number}","contents_url":"https://api.github.com/repos/rocq-prover/vsrocq/contents/{+path}","compare_url":"https://api.github.com/repos/rocq-prover/vsrocq/compare/{base}...{head}","merges_url":"https://api.github.com/repos/rocq-prover/vsrocq/merges","archive_url":"https://api.github.com/repos/rocq-prover/vsrocq/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/rocq-prover/vsrocq/downloads","issues_url":"https://api.github.com/repos/rocq-prover/vsrocq/issues{/number}","pulls_url":"https://api.github.com/repos/rocq-prover/vsrocq/pulls{/number}","milestones_url":"https://api.github.com/repos/rocq-prover/vsrocq/milestones{/number}","notifications_url":"https://api.github.com/repos/rocq-prover/vsrocq/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/rocq-prover/vsrocq/labels{/name}","releases_url":"https://api.github.com/repos/rocq-prover/vsrocq/releases{/id}","deployments_url":"https://api.github.com/repos/rocq-prover/vsrocq/deployments","created_at":"2019-07-10T15:48:24Z","updated_at":"2026-10-10T06:28:15Z","pushed_at":"2026-10-10T06:28:10Z","git_url":"git://github.com/rocq-prover/vsrocq.git","ssh_url":"git@github.com:rocq-prover/vsrocq.git","clone_url":"https://github.com/rocq-prover/vsrocq.git","svn_url":"https://github.com/rocq-prover/vsrocq","homepage":"","size":83822,"stargazers_count":462,"watchers_count":462,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":112,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":180,"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":["coq","editor","rocq","rocq-prover","vscode","vscode-extension","vscodium"],"visibility":"public","forks":112,"open_issues":180,"watchers":462,"default_branch":"main","score":1.0},{"id":188494706,"node_id":"MDEwOlJlcG9zaXRvcnkxODg0OTQ3MDY=","name":"CoqGym","full_name":"princeton-vl/CoqGym","private":false,"owner":{"login":"princeton-vl","id":29677746,"node_id":"MDEyOk9yZ2FuaXphdGlvbjI5Njc3NzQ2","avatar_url":"https://avatars.githubusercontent.com/u/29677746?v=4","gravatar_id":"","url":"https://api.github.com/users/princeton-vl","html_url":"https://github.com/princeton-vl","followers_url":"https://api.github.com/users/princeton-vl/followers","following_url":"https://api.github.com/users/princeton-vl/following{/other_user}","gists_url":"https://api.github.com/users/princeton-vl/gists{/gist_id}","starred_url":"https://api.github.com/users/princeton-vl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/princeton-vl/subscriptions","organizations_url":"https://api.github.com/users/princeton-vl/orgs","repos_url":"https://api.github.com/users/princeton-vl/repos","events_url":"https://api.github.com/users/princeton-vl/events{/privacy}","received_events_url":"https://api.github.com/users/princeton-vl/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/princeton-vl/CoqGym","description":"A Learning Environment for Theorem Proving with the Coq proof assistant","fork":false,"url":"https://api.github.com/repos/princeton-vl/CoqGym","forks_url":"https://api.github.com/repos/princeton-vl/CoqGym/forks","keys_url":"https://api.github.com/repos/princeton-vl/CoqGym/keys{/key_id}","collaborators_url":"https://api.github.com/repos/princeton-vl/CoqGym/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/princeton-vl/CoqGym/teams","hooks_url":"https://api.github.com/repos/princeton-vl/CoqGym/hooks","issue_events_url":"https://api.github.com/repos/princeton-vl/CoqGym/issues/events{/number}","events_url":"https://api.github.com/repos/princeton-vl/CoqGym/events","assignees_url":"https://api.github.com/repos/princeton-vl/CoqGym/assignees{/user}","branches_url":"https://api.github.com/repos/princeton-vl/CoqGym/branches{/branch}","tags_url":"https://api.github.com/repos/princeton-vl/CoqGym/tags","blobs_url":"https://api.github.com/repos/princeton-vl/CoqGym/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/princeton-vl/CoqGym/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/princeton-vl/CoqGym/git/refs{/sha}","trees_url":"https://api.github.com/repos/princeton-vl/CoqGym/git/trees{/sha}","statuses_url":"https://api.github.com/repos/princeton-vl/CoqGym/statuses/{sha}","languages_url":"https://api.github.com/repos/princeton-vl/CoqGym/languages","stargazers_url":"https://api.github.com/repos/princeton-vl/CoqGym/stargazers","contributors_url":"https://api.github.com/repos/princeton-vl/CoqGym/contributors","subscribers_url":"https://api.github.com/repos/princeton-vl/CoqGym/subscribers","subscription_url":"https://api.github.com/repos/princeton-vl/CoqGym/subscription","commits_url":"https://api.github.com/repos/princeton-vl/CoqGym/commits{/sha}","git_commits_url":"https://api.github.com/repos/princeton-vl/CoqGym/git/commits{/sha}","comments_url":"https://api.github.com/repos/princeton-vl/CoqGym/comments{/number}","issue_comment_url":"https://api.github.com/repos/princeton-vl/CoqGym/issues/comments{/number}","contents_url":"https://api.github.com/repos/princeton-vl/CoqGym/contents/{+path}","compare_url":"https://api.github.com/repos/princeton-vl/CoqGym/compare/{base}...{head}","merges_url":"https://api.github.com/repos/princeton-vl/CoqGym/merges","archive_url":"https://api.github.com/repos/princeton-vl/CoqGym/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/princeton-vl/CoqGym/downloads","issues_url":"https://api.github.com/repos/princeton-vl/CoqGym/issues{/number}","pulls_url":"https://api.github.com/repos/princeton-vl/CoqGym/pulls{/number}","milestones_url":"https://api.github.com/repos/princeton-vl/CoqGym/milestones{/number}","notifications_url":"https://api.github.com/repos/princeton-vl/CoqGym/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/princeton-vl/CoqGym/labels{/name}","releases_url":"https://api.github.com/repos/princeton-vl/CoqGym/releases{/id}","deployments_url":"https://api.github.com/repos/princeton-vl/CoqGym/deployments","created_at":"2019-05-24T22:31:20Z","updated_at":"2026-10-05T16:37:31Z","pushed_at":"2023-06-30T18:46:04Z","git_url":"git://github.com/princeton-vl/CoqGym.git","ssh_url":"git@github.com:princeton-vl/CoqGym.git","clone_url":"https://github.com/princeton-vl/CoqGym.git","svn_url":"https://github.com/princeton-vl/CoqGym","homepage":"https://arxiv.org/abs/1905.09381","size":33566,"stargazers_count":421,"watchers_count":421,"language":"Coq","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":true,"forks_count":54,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":{"key":"lgpl-2.1","name":"GNU Lesser General Public License v2.1","spdx_id":"LGPL-2.1","url":"https://api.github.com/licenses/lgpl-2.1","node_id":"MDc6TGljZW5zZTEx"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["icml-2019","machine-learning","theorem-proving"],"visibility":"public","forks":54,"open_issues":1,"watchers":421,"default_branch":"master","score":1.0},{"id":78072136,"node_id":"MDEwOlJlcG9zaXRvcnk3ODA3MjEzNg==","name":"jasmin","full_name":"jasmin-lang/jasmin","private":false,"owner":{"login":"jasmin-lang","id":24634661,"node_id":"MDEyOk9yZ2FuaXphdGlvbjI0NjM0NjYx","avatar_url":"https://avatars.githubusercontent.com/u/24634661?v=4","gravatar_id":"","url":"https://api.github.com/users/jasmin-lang","html_url":"https://github.com/jasmin-lang","followers_url":"https://api.github.com/users/jasmin-lang/followers","following_url":"https://api.github.com/users/jasmin-lang/following{/other_user}","gists_url":"https://api.github.com/users/jasmin-lang/gists{/gist_id}","starred_url":"https://api.github.com/users/jasmin-lang/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jasmin-lang/subscriptions","organizations_url":"https://api.github.com/users/jasmin-lang/orgs","repos_url":"https://api.github.com/users/jasmin-lang/repos","events_url":"https://api.github.com/users/jasmin-lang/events{/privacy}","received_events_url":"https://api.github.com/users/jasmin-lang/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/jasmin-lang/jasmin","description":"Language for high-assurance and high-speed cryptography","fork":false,"url":"https://api.github.com/repos/jasmin-lang/jasmin","forks_url":"https://api.github.com/repos/jasmin-lang/jasmin/forks","keys_url":"https://api.github.com/repos/jasmin-lang/jasmin/keys{/key_id}","collaborators_url":"https://api.github.com/repos/jasmin-lang/jasmin/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/jasmin-lang/jasmin/teams","hooks_url":"https://api.github.com/repos/jasmin-lang/jasmin/hooks","issue_events_url":"https://api.github.com/repos/jasmin-lang/jasmin/issues/events{/number}","events_url":"https://api.github.com/repos/jasmin-lang/jasmin/events","assignees_url":"https://api.github.com/repos/jasmin-lang/jasmin/assignees{/user}","branches_url":"https://api.github.com/repos/jasmin-lang/jasmin/branches{/branch}","tags_url":"https://api.github.com/repos/jasmin-lang/jasmin/tags","blobs_url":"https://api.github.com/repos/jasmin-lang/jasmin/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/jasmin-lang/jasmin/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/jasmin-lang/jasmin/git/refs{/sha}","trees_url":"https://api.github.com/repos/jasmin-lang/jasmin/git/trees{/sha}","statuses_url":"https://api.github.com/repos/jasmin-lang/jasmin/statuses/{sha}","languages_url":"https://api.github.com/repos/jasmin-lang/jasmin/languages","stargazers_url":"https://api.github.com/repos/jasmin-lang/jasmin/stargazers","contributors_url":"https://api.github.com/repos/jasmin-lang/jasmin/contributors","subscribers_url":"https://api.github.com/repos/jasmin-lang/jasmin/subscribers","subscription_url":"https://api.github.com/repos/jasmin-lang/jasmin/subscription","commits_url":"https://api.github.com/repos/jasmin-lang/jasmin/commits{/sha}","git_commits_url":"https://api.github.com/repos/jasmin-lang/jasmin/git/commits{/sha}","comments_url":"https://api.github.com/repos/jasmin-lang/jasmin/comments{/number}","issue_comment_url":"https://api.github.com/repos/jasmin-lang/jasmin/issues/comments{/number}","contents_url":"https://api.github.com/repos/jasmin-lang/jasmin/contents/{+path}","compare_url":"https://api.github.com/repos/jasmin-lang/jasmin/compare/{base}...{head}","merges_url":"https://api.github.com/repos/jasmin-lang/jasmin/merges","archive_url":"https://api.github.com/repos/jasmin-lang/jasmin/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/jasmin-lang/jasmin/downloads","issues_url":"https://api.github.com/repos/jasmin-lang/jasmin/issues{/number}","pulls_url":"https://api.github.com/repos/jasmin-lang/jasmin/pulls{/number}","milestones_url":"https://api.github.com/repos/jasmin-lang/jasmin/milestones{/number}","notifications_url":"https://api.github.com/repos/jasmin-lang/jasmin/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/jasmin-lang/jasmin/labels{/name}","releases_url":"https://api.github.com/repos/jasmin-lang/jasmin/releases{/id}","deployments_url":"https://api.github.com/repos/jasmin-lang/jasmin/deployments","created_at":"2017-01-05T02:39:56Z","updated_at":"2026-10-10T16:37:33Z","pushed_at":"2026-10-09T19:53:45Z","git_url":"git://github.com/jasmin-lang/jasmin.git","ssh_url":"git@github.com:jasmin-lang/jasmin.git","clone_url":"https://github.com/jasmin-lang/jasmin.git","svn_url":"https://github.com/jasmin-lang/jasmin","homepage":"","size":27091,"stargazers_count":380,"watchers_count":380,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":86,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":160,"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":["compiler","coq","language"],"visibility":"public","forks":86,"open_issues":160,"watchers":380,"default_branch":"main","score":1.0},{"id":791852442,"node_id":"R_kgDOLzK1mg","name":"Coq-BB5","full_name":"ccz181078/Coq-BB5","private":false,"owner":{"login":"ccz181078","id":22724704,"node_id":"MDQ6VXNlcjIyNzI0NzA0","avatar_url":"https://avatars.githubusercontent.com/u/22724704?v=4","gravatar_id":"","url":"https://api.github.com/users/ccz181078","html_url":"https://github.com/ccz181078","followers_url":"https://api.github.com/users/ccz181078/followers","following_url":"https://api.github.com/users/ccz181078/following{/other_user}","gists_url":"https://api.github.com/users/ccz181078/gists{/gist_id}","starred_url":"https://api.github.com/users/ccz181078/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ccz181078/subscriptions","organizations_url":"https://api.github.com/users/ccz181078/orgs","repos_url":"https://api.github.com/users/ccz181078/repos","events_url":"https://api.github.com/users/ccz181078/events{/privacy}","received_events_url":"https://api.github.com/users/ccz181078/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/ccz181078/Coq-BB5","description":null,"fork":false,"url":"https://api.github.com/repos/ccz181078/Coq-BB5","forks_url":"https://api.github.com/repos/ccz181078/Coq-BB5/forks","keys_url":"https://api.github.com/repos/ccz181078/Coq-BB5/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ccz181078/Coq-BB5/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ccz181078/Coq-BB5/teams","hooks_url":"https://api.github.com/repos/ccz181078/Coq-BB5/hooks","issue_events_url":"https://api.github.com/repos/ccz181078/Coq-BB5/issues/events{/number}","events_url":"https://api.github.com/repos/ccz181078/Coq-BB5/events","assignees_url":"https://api.github.com/repos/ccz181078/Coq-BB5/assignees{/user}","branches_url":"https://api.github.com/repos/ccz181078/Coq-BB5/branches{/branch}","tags_url":"https://api.github.com/repos/ccz181078/Coq-BB5/tags","blobs_url":"https://api.github.com/repos/ccz181078/Coq-BB5/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ccz181078/Coq-BB5/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ccz181078/Coq-BB5/git/refs{/sha}","trees_url":"https://api.github.com/repos/ccz181078/Coq-BB5/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ccz181078/Coq-BB5/statuses/{sha}","languages_url":"https://api.github.com/repos/ccz181078/Coq-BB5/languages","stargazers_url":"https://api.github.com/repos/ccz181078/Coq-BB5/stargazers","contributors_url":"https://api.github.com/repos/ccz181078/Coq-BB5/contributors","subscribers_url":"https://api.github.com/repos/ccz181078/Coq-BB5/subscribers","subscription_url":"https://api.github.com/repos/ccz181078/Coq-BB5/subscription","commits_url":"https://api.github.com/repos/ccz181078/Coq-BB5/commits{/sha}","git_commits_url":"https://api.github.com/repos/ccz181078/Coq-BB5/git/commits{/sha}","comments_url":"https://api.github.com/repos/ccz181078/Coq-BB5/comments{/number}","issue_comment_url":"https://api.github.com/repos/ccz181078/Coq-BB5/issues/comments{/number}","contents_url":"https://api.github.com/repos/ccz181078/Coq-BB5/contents/{+path}","compare_url":"https://api.github.com/repos/ccz181078/Coq-BB5/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ccz181078/Coq-BB5/merges","archive_url":"https://api.github.com/repos/ccz181078/Coq-BB5/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ccz181078/Coq-BB5/downloads","issues_url":"https://api.github.com/repos/ccz181078/Coq-BB5/issues{/number}","pulls_url":"https://api.github.com/repos/ccz181078/Coq-BB5/pulls{/number}","milestones_url":"https://api.github.com/repos/ccz181078/Coq-BB5/milestones{/number}","notifications_url":"https://api.github.com/repos/ccz181078/Coq-BB5/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ccz181078/Coq-BB5/labels{/name}","releases_url":"https://api.github.com/repos/ccz181078/Coq-BB5/releases{/id}","deployments_url":"https://api.github.com/repos/ccz181078/Coq-BB5/deployments","created_at":"2024-04-25T13:53:24Z","updated_at":"2026-10-04T18:41:56Z","pushed_at":"2025-09-20T18:47:57Z","git_url":"git://github.com/ccz181078/Coq-BB5.git","ssh_url":"git@github.com:ccz181078/Coq-BB5.git","clone_url":"https://github.com/ccz181078/Coq-BB5.git","svn_url":"https://github.com/ccz181078/Coq-BB5","homepage":null,"size":853,"stargazers_count":375,"watchers_count":375,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":13,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":7,"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":13,"open_issues":7,"watchers":375,"default_branch":"main","score":1.0},{"id":135329184,"node_id":"MDEwOlJlcG9zaXRvcnkxMzUzMjkxODQ=","name":"bedrock2","full_name":"mit-plv/bedrock2","private":false,"owner":{"login":"mit-plv","id":11860253,"node_id":"MDEyOk9yZ2FuaXphdGlvbjExODYwMjUz","avatar_url":"https://avatars.githubusercontent.com/u/11860253?v=4","gravatar_id":"","url":"https://api.github.com/users/mit-plv","html_url":"https://github.com/mit-plv","followers_url":"https://api.github.com/users/mit-plv/followers","following_url":"https://api.github.com/users/mit-plv/following{/other_user}","gists_url":"https://api.github.com/users/mit-plv/gists{/gist_id}","starred_url":"https://api.github.com/users/mit-plv/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mit-plv/subscriptions","organizations_url":"https://api.github.com/users/mit-plv/orgs","repos_url":"https://api.github.com/users/mit-plv/repos","events_url":"https://api.github.com/users/mit-plv/events{/privacy}","received_events_url":"https://api.github.com/users/mit-plv/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/mit-plv/bedrock2","description":"A work-in-progress language and compiler for verified low-level programming","fork":false,"url":"https://api.github.com/repos/mit-plv/bedrock2","forks_url":"https://api.github.com/repos/mit-plv/bedrock2/forks","keys_url":"https://api.github.com/repos/mit-plv/bedrock2/keys{/key_id}","collaborators_url":"https://api.github.com/repos/mit-plv/bedrock2/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/mit-plv/bedrock2/teams","hooks_url":"https://api.github.com/repos/mit-plv/bedrock2/hooks","issue_events_url":"https://api.github.com/repos/mit-plv/bedrock2/issues/events{/number}","events_url":"https://api.github.com/repos/mit-plv/bedrock2/events","assignees_url":"https://api.github.com/repos/mit-plv/bedrock2/assignees{/user}","branches_url":"https://api.github.com/repos/mit-plv/bedrock2/branches{/branch}","tags_url":"https://api.github.com/repos/mit-plv/bedrock2/tags","blobs_url":"https://api.github.com/repos/mit-plv/bedrock2/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/mit-plv/bedrock2/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/mit-plv/bedrock2/git/refs{/sha}","trees_url":"https://api.github.com/repos/mit-plv/bedrock2/git/trees{/sha}","statuses_url":"https://api.github.com/repos/mit-plv/bedrock2/statuses/{sha}","languages_url":"https://api.github.com/repos/mit-plv/bedrock2/languages","stargazers_url":"https://api.github.com/repos/mit-plv/bedrock2/stargazers","contributors_url":"https://api.github.com/repos/mit-plv/bedrock2/contributors","subscribers_url":"https://api.github.com/repos/mit-plv/bedrock2/subscribers","subscription_url":"https://api.github.com/repos/mit-plv/bedrock2/subscription","commits_url":"https://api.github.com/repos/mit-plv/bedrock2/commits{/sha}","git_commits_url":"https://api.github.com/repos/mit-plv/bedrock2/git/commits{/sha}","comments_url":"https://api.github.com/repos/mit-plv/bedrock2/comments{/number}","issue_comment_url":"https://api.github.com/repos/mit-plv/bedrock2/issues/comments{/number}","contents_url":"https://api.github.com/repos/mit-plv/bedrock2/contents/{+path}","compare_url":"https://api.github.com/repos/mit-plv/bedrock2/compare/{base}...{head}","merges_url":"https://api.github.com/repos/mit-plv/bedrock2/merges","archive_url":"https://api.github.com/repos/mit-plv/bedrock2/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/mit-plv/bedrock2/downloads","issues_url":"https://api.github.com/repos/mit-plv/bedrock2/issues{/number}","pulls_url":"https://api.github.com/repos/mit-plv/bedrock2/pulls{/number}","milestones_url":"https://api.github.com/repos/mit-plv/bedrock2/milestones{/number}","notifications_url":"https://api.github.com/repos/mit-plv/bedrock2/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/mit-plv/bedrock2/labels{/name}","releases_url":"https://api.github.com/repos/mit-plv/bedrock2/releases{/id}","deployments_url":"https://api.github.com/repos/mit-plv/bedrock2/deployments","created_at":"2018-05-29T17:15:22Z","updated_at":"2026-09-21T06:24:56Z","pushed_at":"2026-09-22T05:47:20Z","git_url":"git://github.com/mit-plv/bedrock2.git","ssh_url":"git@github.com:mit-plv/bedrock2.git","clone_url":"https://github.com/mit-plv/bedrock2.git","svn_url":"https://github.com/mit-plv/bedrock2","homepage":"http://adam.chlipala.net/papers/LightbulbPLDI21/","size":10603,"stargazers_count":336,"watchers_count":336,"language":"Rocq Prover","has_issues":true,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":56,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":59,"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":56,"open_issues":59,"watchers":336,"default_branch":"master","score":1.0},{"id":96195197,"node_id":"MDEwOlJlcG9zaXRvcnk5NjE5NTE5Nw==","name":"proofs","full_name":"stepchowfun/proofs","private":false,"owner":{"login":"stepchowfun","id":796574,"node_id":"MDQ6VXNlcjc5NjU3NA==","avatar_url":"https://avatars.githubusercontent.com/u/796574?v=4","gravatar_id":"","url":"https://api.github.com/users/stepchowfun","html_url":"https://github.com/stepchowfun","followers_url":"https://api.github.com/users/stepchowfun/followers","following_url":"https://api.github.com/users/stepchowfun/following{/other_user}","gists_url":"https://api.github.com/users/stepchowfun/gists{/gist_id}","starred_url":"https://api.github.com/users/stepchowfun/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stepchowfun/subscriptions","organizations_url":"https://api.github.com/users/stepchowfun/orgs","repos_url":"https://api.github.com/users/stepchowfun/repos","events_url":"https://api.github.com/users/stepchowfun/events{/privacy}","received_events_url":"https://api.github.com/users/stepchowfun/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/stepchowfun/proofs","description":"My personal repository of formally verified mathematics.","fork":false,"url":"https://api.github.com/repos/stepchowfun/proofs","forks_url":"https://api.github.com/repos/stepchowfun/proofs/forks","keys_url":"https://api.github.com/repos/stepchowfun/proofs/keys{/key_id}","collaborators_url":"https://api.github.com/repos/stepchowfun/proofs/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/stepchowfun/proofs/teams","hooks_url":"https://api.github.com/repos/stepchowfun/proofs/hooks","issue_events_url":"https://api.github.com/repos/stepchowfun/proofs/issues/events{/number}","events_url":"https://api.github.com/repos/stepchowfun/proofs/events","assignees_url":"https://api.github.com/repos/stepchowfun/proofs/assignees{/user}","branches_url":"https://api.github.com/repos/stepchowfun/proofs/branches{/branch}","tags_url":"https://api.github.com/repos/stepchowfun/proofs/tags","blobs_url":"https://api.github.com/repos/stepchowfun/proofs/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/stepchowfun/proofs/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/stepchowfun/proofs/git/refs{/sha}","trees_url":"https://api.github.com/repos/stepchowfun/proofs/git/trees{/sha}","statuses_url":"https://api.github.com/repos/stepchowfun/proofs/statuses/{sha}","languages_url":"https://api.github.com/repos/stepchowfun/proofs/languages","stargazers_url":"https://api.github.com/repos/stepchowfun/proofs/stargazers","contributors_url":"https://api.github.com/repos/stepchowfun/proofs/contributors","subscribers_url":"https://api.github.com/repos/stepchowfun/proofs/subscribers","subscription_url":"https://api.github.com/repos/stepchowfun/proofs/subscription","commits_url":"https://api.github.com/repos/stepchowfun/proofs/commits{/sha}","git_commits_url":"https://api.github.com/repos/stepchowfun/proofs/git/commits{/sha}","comments_url":"https://api.github.com/repos/stepchowfun/proofs/comments{/number}","issue_comment_url":"https://api.github.com/repos/stepchowfun/proofs/issues/comments{/number}","contents_url":"https://api.github.com/repos/stepchowfun/proofs/contents/{+path}","compare_url":"https://api.github.com/repos/stepchowfun/proofs/compare/{base}...{head}","merges_url":"https://api.github.com/repos/stepchowfun/proofs/merges","archive_url":"https://api.github.com/repos/stepchowfun/proofs/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/stepchowfun/proofs/downloads","issues_url":"https://api.github.com/repos/stepchowfun/proofs/issues{/number}","pulls_url":"https://api.github.com/repos/stepchowfun/proofs/pulls{/number}","milestones_url":"https://api.github.com/repos/stepchowfun/proofs/milestones{/number}","notifications_url":"https://api.github.com/repos/stepchowfun/proofs/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/stepchowfun/proofs/labels{/name}","releases_url":"https://api.github.com/repos/stepchowfun/proofs/releases{/id}","deployments_url":"https://api.github.com/repos/stepchowfun/proofs/deployments","created_at":"2017-07-04T08:35:13Z","updated_at":"2026-10-01T18:06:04Z","pushed_at":"2026-10-01T18:06:01Z","git_url":"git://github.com/stepchowfun/proofs.git","ssh_url":"git@github.com:stepchowfun/proofs.git","clone_url":"https://github.com/stepchowfun/proofs.git","svn_url":"https://github.com/stepchowfun/proofs","homepage":"","size":1811,"stargazers_count":312,"watchers_count":312,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":15,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"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":["coq","formal-verification","interactive-theorem-proving","lean","lean-theorem-prover","lean4","proof-assistant","rocq","rocq-prover","type-theory"],"visibility":"public","forks":15,"open_issues":0,"watchers":312,"default_branch":"main","score":1.0},{"id":18420385,"node_id":"MDEwOlJlcG9zaXRvcnkxODQyMDM4NQ==","name":"QuickChick","full_name":"QuickChick/QuickChick","private":false,"owner":{"login":"QuickChick","id":8515341,"node_id":"MDEyOk9yZ2FuaXphdGlvbjg1MTUzNDE=","avatar_url":"https://avatars.githubusercontent.com/u/8515341?v=4","gravatar_id":"","url":"https://api.github.com/users/QuickChick","html_url":"https://github.com/QuickChick","followers_url":"https://api.github.com/users/QuickChick/followers","following_url":"https://api.github.com/users/QuickChick/following{/other_user}","gists_url":"https://api.github.com/users/QuickChick/gists{/gist_id}","starred_url":"https://api.github.com/users/QuickChick/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/QuickChick/subscriptions","organizations_url":"https://api.github.com/users/QuickChick/orgs","repos_url":"https://api.github.com/users/QuickChick/repos","events_url":"https://api.github.com/users/QuickChick/events{/privacy}","received_events_url":"https://api.github.com/users/QuickChick/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/QuickChick/QuickChick","description":"Randomized Property-Based Testing Plugin for Coq","fork":false,"url":"https://api.github.com/repos/QuickChick/QuickChick","forks_url":"https://api.github.com/repos/QuickChick/QuickChick/forks","keys_url":"https://api.github.com/repos/QuickChick/QuickChick/keys{/key_id}","collaborators_url":"https://api.github.com/repos/QuickChick/QuickChick/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/QuickChick/QuickChick/teams","hooks_url":"https://api.github.com/repos/QuickChick/QuickChick/hooks","issue_events_url":"https://api.github.com/repos/QuickChick/QuickChick/issues/events{/number}","events_url":"https://api.github.com/repos/QuickChick/QuickChick/events","assignees_url":"https://api.github.com/repos/QuickChick/QuickChick/assignees{/user}","branches_url":"https://api.github.com/repos/QuickChick/QuickChick/branches{/branch}","tags_url":"https://api.github.com/repos/QuickChick/QuickChick/tags","blobs_url":"https://api.github.com/repos/QuickChick/QuickChick/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/QuickChick/QuickChick/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/QuickChick/QuickChick/git/refs{/sha}","trees_url":"https://api.github.com/repos/QuickChick/QuickChick/git/trees{/sha}","statuses_url":"https://api.github.com/repos/QuickChick/QuickChick/statuses/{sha}","languages_url":"https://api.github.com/repos/QuickChick/QuickChick/languages","stargazers_url":"https://api.github.com/repos/QuickChick/QuickChick/stargazers","contributors_url":"https://api.github.com/repos/QuickChick/QuickChick/contributors","subscribers_url":"https://api.github.com/repos/QuickChick/QuickChick/subscribers","subscription_url":"https://api.github.com/repos/QuickChick/QuickChick/subscription","commits_url":"https://api.github.com/repos/QuickChick/QuickChick/commits{/sha}","git_commits_url":"https://api.github.com/repos/QuickChick/QuickChick/git/commits{/sha}","comments_url":"https://api.github.com/repos/QuickChick/QuickChick/comments{/number}","issue_comment_url":"https://api.github.com/repos/QuickChick/QuickChick/issues/comments{/number}","contents_url":"https://api.github.com/repos/QuickChick/QuickChick/contents/{+path}","compare_url":"https://api.github.com/repos/QuickChick/QuickChick/compare/{base}...{head}","merges_url":"https://api.github.com/repos/QuickChick/QuickChick/merges","archive_url":"https://api.github.com/repos/QuickChick/QuickChick/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/QuickChick/QuickChick/downloads","issues_url":"https://api.github.com/repos/QuickChick/QuickChick/issues{/number}","pulls_url":"https://api.github.com/repos/QuickChick/QuickChick/pulls{/number}","milestones_url":"https://api.github.com/repos/QuickChick/QuickChick/milestones{/number}","notifications_url":"https://api.github.com/repos/QuickChick/QuickChick/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/QuickChick/QuickChick/labels{/name}","releases_url":"https://api.github.com/repos/QuickChick/QuickChick/releases{/id}","deployments_url":"https://api.github.com/repos/QuickChick/QuickChick/deployments","created_at":"2014-04-03T22:36:19Z","updated_at":"2026-10-06T06:59:02Z","pushed_at":"2026-10-02T14:59:22Z","git_url":"git://github.com/QuickChick/QuickChick.git","ssh_url":"git@github.com:QuickChick/QuickChick.git","clone_url":"https://github.com/QuickChick/QuickChick.git","svn_url":"https://github.com/QuickChick/QuickChick","homepage":"","size":28998,"stargazers_count":293,"watchers_count":293,"language":"Rocq Prover","has_issues":true,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":51,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":92,"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":["coq","testing"],"visibility":"public","forks":51,"open_issues":92,"watchers":293,"default_branch":"master","score":1.0},{"id":85992369,"node_id":"MDEwOlJlcG9zaXRvcnk4NTk5MjM2OQ==","name":"hs-to-coq","full_name":"antalsz/hs-to-coq","private":false,"owner":{"login":"antalsz","id":4643974,"node_id":"MDQ6VXNlcjQ2NDM5NzQ=","avatar_url":"https://avatars.githubusercontent.com/u/4643974?v=4","gravatar_id":"","url":"https://api.github.com/users/antalsz","html_url":"https://github.com/antalsz","followers_url":"https://api.github.com/users/antalsz/followers","following_url":"https://api.github.com/users/antalsz/following{/other_user}","gists_url":"https://api.github.com/users/antalsz/gists{/gist_id}","starred_url":"https://api.github.com/users/antalsz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/antalsz/subscriptions","organizations_url":"https://api.github.com/users/antalsz/orgs","repos_url":"https://api.github.com/users/antalsz/repos","events_url":"https://api.github.com/users/antalsz/events{/privacy}","received_events_url":"https://api.github.com/users/antalsz/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/antalsz/hs-to-coq","description":"Convert Haskell source code to Coq source code","fork":false,"url":"https://api.github.com/repos/antalsz/hs-to-coq","forks_url":"https://api.github.com/repos/antalsz/hs-to-coq/forks","keys_url":"https://api.github.com/repos/antalsz/hs-to-coq/keys{/key_id}","collaborators_url":"https://api.github.com/repos/antalsz/hs-to-coq/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/antalsz/hs-to-coq/teams","hooks_url":"https://api.github.com/repos/antalsz/hs-to-coq/hooks","issue_events_url":"https://api.github.com/repos/antalsz/hs-to-coq/issues/events{/number}","events_url":"https://api.github.com/repos/antalsz/hs-to-coq/events","assignees_url":"https://api.github.com/repos/antalsz/hs-to-coq/assignees{/user}","branches_url":"https://api.github.com/repos/antalsz/hs-to-coq/branches{/branch}","tags_url":"https://api.github.com/repos/antalsz/hs-to-coq/tags","blobs_url":"https://api.github.com/repos/antalsz/hs-to-coq/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/antalsz/hs-to-coq/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/antalsz/hs-to-coq/git/refs{/sha}","trees_url":"https://api.github.com/repos/antalsz/hs-to-coq/git/trees{/sha}","statuses_url":"https://api.github.com/repos/antalsz/hs-to-coq/statuses/{sha}","languages_url":"https://api.github.com/repos/antalsz/hs-to-coq/languages","stargazers_url":"https://api.github.com/repos/antalsz/hs-to-coq/stargazers","contributors_url":"https://api.github.com/repos/antalsz/hs-to-coq/contributors","subscribers_url":"https://api.github.com/repos/antalsz/hs-to-coq/subscribers","subscription_url":"https://api.github.com/repos/antalsz/hs-to-coq/subscription","commits_url":"https://api.github.com/repos/antalsz/hs-to-coq/commits{/sha}","git_commits_url":"https://api.github.com/repos/antalsz/hs-to-coq/git/commits{/sha}","comments_url":"https://api.github.com/repos/antalsz/hs-to-coq/comments{/number}","issue_comment_url":"https://api.github.com/repos/antalsz/hs-to-coq/issues/comments{/number}","contents_url":"https://api.github.com/repos/antalsz/hs-to-coq/contents/{+path}","compare_url":"https://api.github.com/repos/antalsz/hs-to-coq/compare/{base}...{head}","merges_url":"https://api.github.com/repos/antalsz/hs-to-coq/merges","archive_url":"https://api.github.com/repos/antalsz/hs-to-coq/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/antalsz/hs-to-coq/downloads","issues_url":"https://api.github.com/repos/antalsz/hs-to-coq/issues{/number}","pulls_url":"https://api.github.com/repos/antalsz/hs-to-coq/pulls{/number}","milestones_url":"https://api.github.com/repos/antalsz/hs-to-coq/milestones{/number}","notifications_url":"https://api.github.com/repos/antalsz/hs-to-coq/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/antalsz/hs-to-coq/labels{/name}","releases_url":"https://api.github.com/repos/antalsz/hs-to-coq/releases{/id}","deployments_url":"https://api.github.com/repos/antalsz/hs-to-coq/deployments","created_at":"2017-03-23T20:03:34Z","updated_at":"2026-04-29T10:32:07Z","pushed_at":"2020-11-11T00:03:04Z","git_url":"git://github.com/antalsz/hs-to-coq.git","ssh_url":"git@github.com:antalsz/hs-to-coq.git","clone_url":"https://github.com/antalsz/hs-to-coq.git","svn_url":"https://github.com/antalsz/hs-to-coq","homepage":"https://hs-to-coq.readthedocs.io","size":12394,"stargazers_count":283,"watchers_count":283,"language":"Coq","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":26,"mirror_url":null,"archived":true,"disabled":false,"open_issues_count":62,"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":26,"open_issues":62,"watchers":283,"default_branch":"master","score":1.0},{"id":162246486,"node_id":"MDEwOlJlcG9zaXRvcnkxNjIyNDY0ODY=","name":"cnn_open","full_name":"lulinchen/cnn_open","private":false,"owner":{"login":"lulinchen","id":7813124,"node_id":"MDQ6VXNlcjc4MTMxMjQ=","avatar_url":"https://avatars.githubusercontent.com/u/7813124?v=4","gravatar_id":"","url":"https://api.github.com/users/lulinchen","html_url":"https://github.com/lulinchen","followers_url":"https://api.github.com/users/lulinchen/followers","following_url":"https://api.github.com/users/lulinchen/following{/other_user}","gists_url":"https://api.github.com/users/lulinchen/gists{/gist_id}","starred_url":"https://api.github.com/users/lulinchen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lulinchen/subscriptions","organizations_url":"https://api.github.com/users/lulinchen/orgs","repos_url":"https://api.github.com/users/lulinchen/repos","events_url":"https://api.github.com/users/lulinchen/events{/privacy}","received_events_url":"https://api.github.com/users/lulinchen/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/lulinchen/cnn_open","description":"A hardware implementation of CNN,  written by Verilog and synthesized  on FPGA","fork":false,"url":"https://api.github.com/repos/lulinchen/cnn_open","forks_url":"https://api.github.com/repos/lulinchen/cnn_open/forks","keys_url":"https://api.github.com/repos/lulinchen/cnn_open/keys{/key_id}","collaborators_url":"https://api.github.com/repos/lulinchen/cnn_open/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/lulinchen/cnn_open/teams","hooks_url":"https://api.github.com/repos/lulinchen/cnn_open/hooks","issue_events_url":"https://api.github.com/repos/lulinchen/cnn_open/issues/events{/number}","events_url":"https://api.github.com/repos/lulinchen/cnn_open/events","assignees_url":"https://api.github.com/repos/lulinchen/cnn_open/assignees{/user}","branches_url":"https://api.github.com/repos/lulinchen/cnn_open/branches{/branch}","tags_url":"https://api.github.com/repos/lulinchen/cnn_open/tags","blobs_url":"https://api.github.com/repos/lulinchen/cnn_open/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/lulinchen/cnn_open/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/lulinchen/cnn_open/git/refs{/sha}","trees_url":"https://api.github.com/repos/lulinchen/cnn_open/git/trees{/sha}","statuses_url":"https://api.github.com/repos/lulinchen/cnn_open/statuses/{sha}","languages_url":"https://api.github.com/repos/lulinchen/cnn_open/languages","stargazers_url":"https://api.github.com/repos/lulinchen/cnn_open/stargazers","contributors_url":"https://api.github.com/repos/lulinchen/cnn_open/contributors","subscribers_url":"https://api.github.com/repos/lulinchen/cnn_open/subscribers","subscription_url":"https://api.github.com/repos/lulinchen/cnn_open/subscription","commits_url":"https://api.github.com/repos/lulinchen/cnn_open/commits{/sha}","git_commits_url":"https://api.github.com/repos/lulinchen/cnn_open/git/commits{/sha}","comments_url":"https://api.github.com/repos/lulinchen/cnn_open/comments{/number}","issue_comment_url":"https://api.github.com/repos/lulinchen/cnn_open/issues/comments{/number}","contents_url":"https://api.github.com/repos/lulinchen/cnn_open/contents/{+path}","compare_url":"https://api.github.com/repos/lulinchen/cnn_open/compare/{base}...{head}","merges_url":"https://api.github.com/repos/lulinchen/cnn_open/merges","archive_url":"https://api.github.com/repos/lulinchen/cnn_open/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/lulinchen/cnn_open/downloads","issues_url":"https://api.github.com/repos/lulinchen/cnn_open/issues{/number}","pulls_url":"https://api.github.com/repos/lulinchen/cnn_open/pulls{/number}","milestones_url":"https://api.github.com/repos/lulinchen/cnn_open/milestones{/number}","notifications_url":"https://api.github.com/repos/lulinchen/cnn_open/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/lulinchen/cnn_open/labels{/name}","releases_url":"https://api.github.com/repos/lulinchen/cnn_open/releases{/id}","deployments_url":"https://api.github.com/repos/lulinchen/cnn_open/deployments","created_at":"2018-12-18T07:15:31Z","updated_at":"2026-10-06T16:17:39Z","pushed_at":"2018-12-29T03:11:52Z","git_url":"git://github.com/lulinchen/cnn_open.git","ssh_url":"git@github.com:lulinchen/cnn_open.git","clone_url":"https://github.com/lulinchen/cnn_open.git","svn_url":"https://github.com/lulinchen/cnn_open","homepage":"","size":12124,"stargazers_count":262,"watchers_count":262,"language":"Coq","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":79,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":3,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["cnn","fpga","lenet","rtl","verilog"],"visibility":"public","forks":79,"open_issues":3,"watchers":262,"default_branch":"master","score":1.0},{"id":138210180,"node_id":"MDEwOlJlcG9zaXRvcnkxMzgyMTAxODA=","name":"InteractionTrees","full_name":"DeepSpec/InteractionTrees","private":false,"owner":{"login":"DeepSpec","id":15218901,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE1MjE4OTAx","avatar_url":"https://avatars.githubusercontent.com/u/15218901?v=4","gravatar_id":"","url":"https://api.github.com/users/DeepSpec","html_url":"https://github.com/DeepSpec","followers_url":"https://api.github.com/users/DeepSpec/followers","following_url":"https://api.github.com/users/DeepSpec/following{/other_user}","gists_url":"https://api.github.com/users/DeepSpec/gists{/gist_id}","starred_url":"https://api.github.com/users/DeepSpec/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DeepSpec/subscriptions","organizations_url":"https://api.github.com/users/DeepSpec/orgs","repos_url":"https://api.github.com/users/DeepSpec/repos","events_url":"https://api.github.com/users/DeepSpec/events{/privacy}","received_events_url":"https://api.github.com/users/DeepSpec/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/DeepSpec/InteractionTrees","description":"A Library for Representing Recursive and Impure Programs in Coq","fork":false,"url":"https://api.github.com/repos/DeepSpec/InteractionTrees","forks_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/forks","keys_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/keys{/key_id}","collaborators_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/teams","hooks_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/hooks","issue_events_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/issues/events{/number}","events_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/events","assignees_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/assignees{/user}","branches_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/branches{/branch}","tags_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/tags","blobs_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/git/refs{/sha}","trees_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/git/trees{/sha}","statuses_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/statuses/{sha}","languages_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/languages","stargazers_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/stargazers","contributors_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/contributors","subscribers_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/subscribers","subscription_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/subscription","commits_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/commits{/sha}","git_commits_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/git/commits{/sha}","comments_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/comments{/number}","issue_comment_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/issues/comments{/number}","contents_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/contents/{+path}","compare_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/compare/{base}...{head}","merges_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/merges","archive_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/downloads","issues_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/issues{/number}","pulls_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/pulls{/number}","milestones_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/milestones{/number}","notifications_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/labels{/name}","releases_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/releases{/id}","deployments_url":"https://api.github.com/repos/DeepSpec/InteractionTrees/deployments","created_at":"2018-06-21T18:53:18Z","updated_at":"2026-10-09T01:55:37Z","pushed_at":"2026-06-12T08:26:44Z","git_url":"git://github.com/DeepSpec/InteractionTrees.git","ssh_url":"git@github.com:DeepSpec/InteractionTrees.git","clone_url":"https://github.com/DeepSpec/InteractionTrees.git","svn_url":"https://github.com/DeepSpec/InteractionTrees","homepage":"","size":4848,"stargazers_count":261,"watchers_count":261,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":true,"has_discussions":false,"forks_count":60,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":30,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":60,"open_issues":30,"watchers":261,"default_branch":"master","score":1.0},{"id":156423471,"node_id":"MDEwOlJlcG9zaXRvcnkxNTY0MjM0NzE=","name":"fourcolor","full_name":"rocq-community/fourcolor","private":false,"owner":{"login":"rocq-community","id":34452610,"node_id":"MDEyOk9yZ2FuaXphdGlvbjM0NDUyNjEw","avatar_url":"https://avatars.githubusercontent.com/u/34452610?v=4","gravatar_id":"","url":"https://api.github.com/users/rocq-community","html_url":"https://github.com/rocq-community","followers_url":"https://api.github.com/users/rocq-community/followers","following_url":"https://api.github.com/users/rocq-community/following{/other_user}","gists_url":"https://api.github.com/users/rocq-community/gists{/gist_id}","starred_url":"https://api.github.com/users/rocq-community/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rocq-community/subscriptions","organizations_url":"https://api.github.com/users/rocq-community/orgs","repos_url":"https://api.github.com/users/rocq-community/repos","events_url":"https://api.github.com/users/rocq-community/events{/privacy}","received_events_url":"https://api.github.com/users/rocq-community/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/rocq-community/fourcolor","description":"Formal proof of the Four Color Theorem [maintainer=@ybertot]","fork":false,"url":"https://api.github.com/repos/rocq-community/fourcolor","forks_url":"https://api.github.com/repos/rocq-community/fourcolor/forks","keys_url":"https://api.github.com/repos/rocq-community/fourcolor/keys{/key_id}","collaborators_url":"https://api.github.com/repos/rocq-community/fourcolor/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/rocq-community/fourcolor/teams","hooks_url":"https://api.github.com/repos/rocq-community/fourcolor/hooks","issue_events_url":"https://api.github.com/repos/rocq-community/fourcolor/issues/events{/number}","events_url":"https://api.github.com/repos/rocq-community/fourcolor/events","assignees_url":"https://api.github.com/repos/rocq-community/fourcolor/assignees{/user}","branches_url":"https://api.github.com/repos/rocq-community/fourcolor/branches{/branch}","tags_url":"https://api.github.com/repos/rocq-community/fourcolor/tags","blobs_url":"https://api.github.com/repos/rocq-community/fourcolor/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/rocq-community/fourcolor/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/rocq-community/fourcolor/git/refs{/sha}","trees_url":"https://api.github.com/repos/rocq-community/fourcolor/git/trees{/sha}","statuses_url":"https://api.github.com/repos/rocq-community/fourcolor/statuses/{sha}","languages_url":"https://api.github.com/repos/rocq-community/fourcolor/languages","stargazers_url":"https://api.github.com/repos/rocq-community/fourcolor/stargazers","contributors_url":"https://api.github.com/repos/rocq-community/fourcolor/contributors","subscribers_url":"https://api.github.com/repos/rocq-community/fourcolor/subscribers","subscription_url":"https://api.github.com/repos/rocq-community/fourcolor/subscription","commits_url":"https://api.github.com/repos/rocq-community/fourcolor/commits{/sha}","git_commits_url":"https://api.github.com/repos/rocq-community/fourcolor/git/commits{/sha}","comments_url":"https://api.github.com/repos/rocq-community/fourcolor/comments{/number}","issue_comment_url":"https://api.github.com/repos/rocq-community/fourcolor/issues/comments{/number}","contents_url":"https://api.github.com/repos/rocq-community/fourcolor/contents/{+path}","compare_url":"https://api.github.com/repos/rocq-community/fourcolor/compare/{base}...{head}","merges_url":"https://api.github.com/repos/rocq-community/fourcolor/merges","archive_url":"https://api.github.com/repos/rocq-community/fourcolor/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/rocq-community/fourcolor/downloads","issues_url":"https://api.github.com/repos/rocq-community/fourcolor/issues{/number}","pulls_url":"https://api.github.com/repos/rocq-community/fourcolor/pulls{/number}","milestones_url":"https://api.github.com/repos/rocq-community/fourcolor/milestones{/number}","notifications_url":"https://api.github.com/repos/rocq-community/fourcolor/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/rocq-community/fourcolor/labels{/name}","releases_url":"https://api.github.com/repos/rocq-community/fourcolor/releases{/id}","deployments_url":"https://api.github.com/repos/rocq-community/fourcolor/deployments","created_at":"2018-11-06T17:43:35Z","updated_at":"2026-10-06T13:59:35Z","pushed_at":"2026-08-20T14:15:57Z","git_url":"git://github.com/rocq-community/fourcolor.git","ssh_url":"git@github.com:rocq-community/fourcolor.git","clone_url":"https://github.com/rocq-community/fourcolor.git","svn_url":"https://github.com/rocq-community/fourcolor","homepage":"","size":905,"stargazers_count":252,"watchers_count":252,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":28,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":3,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["coq","coq-ci","four-color-theorem","mathcomp","ssreflect"],"visibility":"public","forks":28,"open_issues":3,"watchers":252,"default_branch":"master","score":1.0},{"id":40208554,"node_id":"MDEwOlJlcG9zaXRvcnk0MDIwODU1NA==","name":"fscq","full_name":"mit-pdos/fscq","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/fscq","description":"FSCQ is a certified file system written and proven in Coq","fork":false,"url":"https://api.github.com/repos/mit-pdos/fscq","forks_url":"https://api.github.com/repos/mit-pdos/fscq/forks","keys_url":"https://api.github.com/repos/mit-pdos/fscq/keys{/key_id}","collaborators_url":"https://api.github.com/repos/mit-pdos/fscq/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/mit-pdos/fscq/teams","hooks_url":"https://api.github.com/repos/mit-pdos/fscq/hooks","issue_events_url":"https://api.github.com/repos/mit-pdos/fscq/issues/events{/number}","events_url":"https://api.github.com/repos/mit-pdos/fscq/events","assignees_url":"https://api.github.com/repos/mit-pdos/fscq/assignees{/user}","branches_url":"https://api.github.com/repos/mit-pdos/fscq/branches{/branch}","tags_url":"https://api.github.com/repos/mit-pdos/fscq/tags","blobs_url":"https://api.github.com/repos/mit-pdos/fscq/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/mit-pdos/fscq/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/mit-pdos/fscq/git/refs{/sha}","trees_url":"https://api.github.com/repos/mit-pdos/fscq/git/trees{/sha}","statuses_url":"https://api.github.com/repos/mit-pdos/fscq/statuses/{sha}","languages_url":"https://api.github.com/repos/mit-pdos/fscq/languages","stargazers_url":"https://api.github.com/repos/mit-pdos/fscq/stargazers","contributors_url":"https://api.github.com/repos/mit-pdos/fscq/contributors","subscribers_url":"https://api.github.com/repos/mit-pdos/fscq/subscribers","subscription_url":"https://api.github.com/repos/mit-pdos/fscq/subscription","commits_url":"https://api.github.com/repos/mit-pdos/fscq/commits{/sha}","git_commits_url":"https://api.github.com/repos/mit-pdos/fscq/git/commits{/sha}","comments_url":"https://api.github.com/repos/mit-pdos/fscq/comments{/number}","issue_comment_url":"https://api.github.com/repos/mit-pdos/fscq/issues/comments{/number}","contents_url":"https://api.github.com/repos/mit-pdos/fscq/contents/{+path}","compare_url":"https://api.github.com/repos/mit-pdos/fscq/compare/{base}...{head}","merges_url":"https://api.github.com/repos/mit-pdos/fscq/merges","archive_url":"https://api.github.com/repos/mit-pdos/fscq/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/mit-pdos/fscq/downloads","issues_url":"https://api.github.com/repos/mit-pdos/fscq/issues{/number}","pulls_url":"https://api.github.com/repos/mit-pdos/fscq/pulls{/number}","milestones_url":"https://api.github.com/repos/mit-pdos/fscq/milestones{/number}","notifications_url":"https://api.github.com/repos/mit-pdos/fscq/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/mit-pdos/fscq/labels{/name}","releases_url":"https://api.github.com/repos/mit-pdos/fscq/releases{/id}","deployments_url":"https://api.github.com/repos/mit-pdos/fscq/deployments","created_at":"2015-08-04T20:53:52Z","updated_at":"2026-09-10T16:37:12Z","pushed_at":"2022-10-21T14:37:45Z","git_url":"git://github.com/mit-pdos/fscq.git","ssh_url":"git@github.com:mit-pdos/fscq.git","clone_url":"https://github.com/mit-pdos/fscq.git","svn_url":"https://github.com/mit-pdos/fscq","homepage":null,"size":11102,"stargazers_count":252,"watchers_count":252,"language":"Coq","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":24,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":5,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":24,"open_issues":5,"watchers":252,"default_branch":"master","score":1.0},{"id":246794780,"node_id":"MDEwOlJlcG9zaXRvcnkyNDY3OTQ3ODA=","name":"hacspec","full_name":"hacspec/hacspec","private":false,"owner":{"login":"hacspec","id":43384411,"node_id":"MDEyOk9yZ2FuaXphdGlvbjQzMzg0NDEx","avatar_url":"https://avatars.githubusercontent.com/u/43384411?v=4","gravatar_id":"","url":"https://api.github.com/users/hacspec","html_url":"https://github.com/hacspec","followers_url":"https://api.github.com/users/hacspec/followers","following_url":"https://api.github.com/users/hacspec/following{/other_user}","gists_url":"https://api.github.com/users/hacspec/gists{/gist_id}","starred_url":"https://api.github.com/users/hacspec/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hacspec/subscriptions","organizations_url":"https://api.github.com/users/hacspec/orgs","repos_url":"https://api.github.com/users/hacspec/repos","events_url":"https://api.github.com/users/hacspec/events{/privacy}","received_events_url":"https://api.github.com/users/hacspec/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/hacspec/hacspec","description":"Please see https://github.com/hacspec/hax","fork":false,"url":"https://api.github.com/repos/hacspec/hacspec","forks_url":"https://api.github.com/repos/hacspec/hacspec/forks","keys_url":"https://api.github.com/repos/hacspec/hacspec/keys{/key_id}","collaborators_url":"https://api.github.com/repos/hacspec/hacspec/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/hacspec/hacspec/teams","hooks_url":"https://api.github.com/repos/hacspec/hacspec/hooks","issue_events_url":"https://api.github.com/repos/hacspec/hacspec/issues/events{/number}","events_url":"https://api.github.com/repos/hacspec/hacspec/events","assignees_url":"https://api.github.com/repos/hacspec/hacspec/assignees{/user}","branches_url":"https://api.github.com/repos/hacspec/hacspec/branches{/branch}","tags_url":"https://api.github.com/repos/hacspec/hacspec/tags","blobs_url":"https://api.github.com/repos/hacspec/hacspec/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/hacspec/hacspec/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/hacspec/hacspec/git/refs{/sha}","trees_url":"https://api.github.com/repos/hacspec/hacspec/git/trees{/sha}","statuses_url":"https://api.github.com/repos/hacspec/hacspec/statuses/{sha}","languages_url":"https://api.github.com/repos/hacspec/hacspec/languages","stargazers_url":"https://api.github.com/repos/hacspec/hacspec/stargazers","contributors_url":"https://api.github.com/repos/hacspec/hacspec/contributors","subscribers_url":"https://api.github.com/repos/hacspec/hacspec/subscribers","subscription_url":"https://api.github.com/repos/hacspec/hacspec/subscription","commits_url":"https://api.github.com/repos/hacspec/hacspec/commits{/sha}","git_commits_url":"https://api.github.com/repos/hacspec/hacspec/git/commits{/sha}","comments_url":"https://api.github.com/repos/hacspec/hacspec/comments{/number}","issue_comment_url":"https://api.github.com/repos/hacspec/hacspec/issues/comments{/number}","contents_url":"https://api.github.com/repos/hacspec/hacspec/contents/{+path}","compare_url":"https://api.github.com/repos/hacspec/hacspec/compare/{base}...{head}","merges_url":"https://api.github.com/repos/hacspec/hacspec/merges","archive_url":"https://api.github.com/repos/hacspec/hacspec/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/hacspec/hacspec/downloads","issues_url":"https://api.github.com/repos/hacspec/hacspec/issues{/number}","pulls_url":"https://api.github.com/repos/hacspec/hacspec/pulls{/number}","milestones_url":"https://api.github.com/repos/hacspec/hacspec/milestones{/number}","notifications_url":"https://api.github.com/repos/hacspec/hacspec/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/hacspec/hacspec/labels{/name}","releases_url":"https://api.github.com/repos/hacspec/hacspec/releases{/id}","deployments_url":"https://api.github.com/repos/hacspec/hacspec/deployments","created_at":"2020-03-12T09:31:57Z","updated_at":"2026-07-11T22:30:28Z","pushed_at":"2024-02-12T09:41:35Z","git_url":"git://github.com/hacspec/hacspec.git","ssh_url":"git@github.com:hacspec/hacspec.git","clone_url":"https://github.com/hacspec/hacspec.git","svn_url":"https://github.com/hacspec/hacspec","homepage":"https://hacspec.org","size":137083,"stargazers_count":250,"watchers_count":250,"language":"Coq","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":true,"has_discussions":true,"forks_count":41,"mirror_url":null,"archived":true,"disabled":false,"open_issues_count":96,"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":["cryptography","formal-verification","specifications"],"visibility":"public","forks":41,"open_issues":96,"watchers":250,"default_branch":"master","score":1.0},{"id":112471761,"node_id":"MDEwOlJlcG9zaXRvcnkxMTI0NzE3NjE=","name":"analysis","full_name":"math-comp/analysis","private":false,"owner":{"login":"math-comp","id":11424151,"node_id":"MDEyOk9yZ2FuaXphdGlvbjExNDI0MTUx","avatar_url":"https://avatars.githubusercontent.com/u/11424151?v=4","gravatar_id":"","url":"https://api.github.com/users/math-comp","html_url":"https://github.com/math-comp","followers_url":"https://api.github.com/users/math-comp/followers","following_url":"https://api.github.com/users/math-comp/following{/other_user}","gists_url":"https://api.github.com/users/math-comp/gists{/gist_id}","starred_url":"https://api.github.com/users/math-comp/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/math-comp/subscriptions","organizations_url":"https://api.github.com/users/math-comp/orgs","repos_url":"https://api.github.com/users/math-comp/repos","events_url":"https://api.github.com/users/math-comp/events{/privacy}","received_events_url":"https://api.github.com/users/math-comp/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/math-comp/analysis","description":"Mathematical Components compliant Analysis Library","fork":false,"url":"https://api.github.com/repos/math-comp/analysis","forks_url":"https://api.github.com/repos/math-comp/analysis/forks","keys_url":"https://api.github.com/repos/math-comp/analysis/keys{/key_id}","collaborators_url":"https://api.github.com/repos/math-comp/analysis/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/math-comp/analysis/teams","hooks_url":"https://api.github.com/repos/math-comp/analysis/hooks","issue_events_url":"https://api.github.com/repos/math-comp/analysis/issues/events{/number}","events_url":"https://api.github.com/repos/math-comp/analysis/events","assignees_url":"https://api.github.com/repos/math-comp/analysis/assignees{/user}","branches_url":"https://api.github.com/repos/math-comp/analysis/branches{/branch}","tags_url":"https://api.github.com/repos/math-comp/analysis/tags","blobs_url":"https://api.github.com/repos/math-comp/analysis/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/math-comp/analysis/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/math-comp/analysis/git/refs{/sha}","trees_url":"https://api.github.com/repos/math-comp/analysis/git/trees{/sha}","statuses_url":"https://api.github.com/repos/math-comp/analysis/statuses/{sha}","languages_url":"https://api.github.com/repos/math-comp/analysis/languages","stargazers_url":"https://api.github.com/repos/math-comp/analysis/stargazers","contributors_url":"https://api.github.com/repos/math-comp/analysis/contributors","subscribers_url":"https://api.github.com/repos/math-comp/analysis/subscribers","subscription_url":"https://api.github.com/repos/math-comp/analysis/subscription","commits_url":"https://api.github.com/repos/math-comp/analysis/commits{/sha}","git_commits_url":"https://api.github.com/repos/math-comp/analysis/git/commits{/sha}","comments_url":"https://api.github.com/repos/math-comp/analysis/comments{/number}","issue_comment_url":"https://api.github.com/repos/math-comp/analysis/issues/comments{/number}","contents_url":"https://api.github.com/repos/math-comp/analysis/contents/{+path}","compare_url":"https://api.github.com/repos/math-comp/analysis/compare/{base}...{head}","merges_url":"https://api.github.com/repos/math-comp/analysis/merges","archive_url":"https://api.github.com/repos/math-comp/analysis/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/math-comp/analysis/downloads","issues_url":"https://api.github.com/repos/math-comp/analysis/issues{/number}","pulls_url":"https://api.github.com/repos/math-comp/analysis/pulls{/number}","milestones_url":"https://api.github.com/repos/math-comp/analysis/milestones{/number}","notifications_url":"https://api.github.com/repos/math-comp/analysis/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/math-comp/analysis/labels{/name}","releases_url":"https://api.github.com/repos/math-comp/analysis/releases{/id}","deployments_url":"https://api.github.com/repos/math-comp/analysis/deployments","created_at":"2017-11-29T12:17:44Z","updated_at":"2026-10-09T03:06:06Z","pushed_at":"2026-10-10T21:34:14Z","git_url":"git://github.com/math-comp/analysis.git","ssh_url":"git@github.com:math-comp/analysis.git","clone_url":"https://github.com/math-comp/analysis.git","svn_url":"https://github.com/math-comp/analysis","homepage":"","size":357494,"stargazers_count":247,"watchers_count":247,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":75,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":183,"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":["analysis","coq","mathcomp","rocq","ssreflect"],"visibility":"public","forks":75,"open_issues":183,"watchers":247,"default_branch":"master","score":1.0},{"id":960808,"node_id":"MDEwOlJlcG9zaXRvcnk5NjA4MDg=","name":"Foundations","full_name":"UniMath/Foundations","private":false,"owner":{"login":"UniMath","id":6826454,"node_id":"MDEyOk9yZ2FuaXphdGlvbjY4MjY0NTQ=","avatar_url":"https://avatars.githubusercontent.com/u/6826454?v=4","gravatar_id":"","url":"https://api.github.com/users/UniMath","html_url":"https://github.com/UniMath","followers_url":"https://api.github.com/users/UniMath/followers","following_url":"https://api.github.com/users/UniMath/following{/other_user}","gists_url":"https://api.github.com/users/UniMath/gists{/gist_id}","starred_url":"https://api.github.com/users/UniMath/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/UniMath/subscriptions","organizations_url":"https://api.github.com/users/UniMath/orgs","repos_url":"https://api.github.com/users/UniMath/repos","events_url":"https://api.github.com/users/UniMath/events{/privacy}","received_events_url":"https://api.github.com/users/UniMath/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/UniMath/Foundations","description":"Voevodsky's original development of the univalent foundations of mathematics in Coq","fork":false,"url":"https://api.github.com/repos/UniMath/Foundations","forks_url":"https://api.github.com/repos/UniMath/Foundations/forks","keys_url":"https://api.github.com/repos/UniMath/Foundations/keys{/key_id}","collaborators_url":"https://api.github.com/repos/UniMath/Foundations/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/UniMath/Foundations/teams","hooks_url":"https://api.github.com/repos/UniMath/Foundations/hooks","issue_events_url":"https://api.github.com/repos/UniMath/Foundations/issues/events{/number}","events_url":"https://api.github.com/repos/UniMath/Foundations/events","assignees_url":"https://api.github.com/repos/UniMath/Foundations/assignees{/user}","branches_url":"https://api.github.com/repos/UniMath/Foundations/branches{/branch}","tags_url":"https://api.github.com/repos/UniMath/Foundations/tags","blobs_url":"https://api.github.com/repos/UniMath/Foundations/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/UniMath/Foundations/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/UniMath/Foundations/git/refs{/sha}","trees_url":"https://api.github.com/repos/UniMath/Foundations/git/trees{/sha}","statuses_url":"https://api.github.com/repos/UniMath/Foundations/statuses/{sha}","languages_url":"https://api.github.com/repos/UniMath/Foundations/languages","stargazers_url":"https://api.github.com/repos/UniMath/Foundations/stargazers","contributors_url":"https://api.github.com/repos/UniMath/Foundations/contributors","subscribers_url":"https://api.github.com/repos/UniMath/Foundations/subscribers","subscription_url":"https://api.github.com/repos/UniMath/Foundations/subscription","commits_url":"https://api.github.com/repos/UniMath/Foundations/commits{/sha}","git_commits_url":"https://api.github.com/repos/UniMath/Foundations/git/commits{/sha}","comments_url":"https://api.github.com/repos/UniMath/Foundations/comments{/number}","issue_comment_url":"https://api.github.com/repos/UniMath/Foundations/issues/comments{/number}","contents_url":"https://api.github.com/repos/UniMath/Foundations/contents/{+path}","compare_url":"https://api.github.com/repos/UniMath/Foundations/compare/{base}...{head}","merges_url":"https://api.github.com/repos/UniMath/Foundations/merges","archive_url":"https://api.github.com/repos/UniMath/Foundations/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/UniMath/Foundations/downloads","issues_url":"https://api.github.com/repos/UniMath/Foundations/issues{/number}","pulls_url":"https://api.github.com/repos/UniMath/Foundations/pulls{/number}","milestones_url":"https://api.github.com/repos/UniMath/Foundations/milestones{/number}","notifications_url":"https://api.github.com/repos/UniMath/Foundations/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/UniMath/Foundations/labels{/name}","releases_url":"https://api.github.com/repos/UniMath/Foundations/releases{/id}","deployments_url":"https://api.github.com/repos/UniMath/Foundations/deployments","created_at":"2010-10-04T14:57:15Z","updated_at":"2026-09-08T10:07:19Z","pushed_at":"2014-09-10T10:13:43Z","git_url":"git://github.com/UniMath/Foundations.git","ssh_url":"git@github.com:UniMath/Foundations.git","clone_url":"https://github.com/UniMath/Foundations.git","svn_url":"https://github.com/UniMath/Foundations","homepage":"http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html","size":4120,"stargazers_count":247,"watchers_count":247,"language":"Coq","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":22,"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":22,"open_issues":0,"watchers":247,"default_branch":"master","score":1.0},{"id":351551,"node_id":"MDEwOlJlcG9zaXRvcnkzNTE1NTE=","name":"equations","full_name":"rocq-prover/equations","private":false,"owner":{"login":"rocq-prover","id":621198,"node_id":"MDEyOk9yZ2FuaXphdGlvbjYyMTE5OA==","avatar_url":"https://avatars.githubusercontent.com/u/621198?v=4","gravatar_id":"","url":"https://api.github.com/users/rocq-prover","html_url":"https://github.com/rocq-prover","followers_url":"https://api.github.com/users/rocq-prover/followers","following_url":"https://api.github.com/users/rocq-prover/following{/other_user}","gists_url":"https://api.github.com/users/rocq-prover/gists{/gist_id}","starred_url":"https://api.github.com/users/rocq-prover/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rocq-prover/subscriptions","organizations_url":"https://api.github.com/users/rocq-prover/orgs","repos_url":"https://api.github.com/users/rocq-prover/repos","events_url":"https://api.github.com/users/rocq-prover/events{/privacy}","received_events_url":"https://api.github.com/users/rocq-prover/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/rocq-prover/equations","description":"A function definition package for Rocq","fork":false,"url":"https://api.github.com/repos/rocq-prover/equations","forks_url":"https://api.github.com/repos/rocq-prover/equations/forks","keys_url":"https://api.github.com/repos/rocq-prover/equations/keys{/key_id}","collaborators_url":"https://api.github.com/repos/rocq-prover/equations/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/rocq-prover/equations/teams","hooks_url":"https://api.github.com/repos/rocq-prover/equations/hooks","issue_events_url":"https://api.github.com/repos/rocq-prover/equations/issues/events{/number}","events_url":"https://api.github.com/repos/rocq-prover/equations/events","assignees_url":"https://api.github.com/repos/rocq-prover/equations/assignees{/user}","branches_url":"https://api.github.com/repos/rocq-prover/equations/branches{/branch}","tags_url":"https://api.github.com/repos/rocq-prover/equations/tags","blobs_url":"https://api.github.com/repos/rocq-prover/equations/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/rocq-prover/equations/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/rocq-prover/equations/git/refs{/sha}","trees_url":"https://api.github.com/repos/rocq-prover/equations/git/trees{/sha}","statuses_url":"https://api.github.com/repos/rocq-prover/equations/statuses/{sha}","languages_url":"https://api.github.com/repos/rocq-prover/equations/languages","stargazers_url":"https://api.github.com/repos/rocq-prover/equations/stargazers","contributors_url":"https://api.github.com/repos/rocq-prover/equations/contributors","subscribers_url":"https://api.github.com/repos/rocq-prover/equations/subscribers","subscription_url":"https://api.github.com/repos/rocq-prover/equations/subscription","commits_url":"https://api.github.com/repos/rocq-prover/equations/commits{/sha}","git_commits_url":"https://api.github.com/repos/rocq-prover/equations/git/commits{/sha}","comments_url":"https://api.github.com/repos/rocq-prover/equations/comments{/number}","issue_comment_url":"https://api.github.com/repos/rocq-prover/equations/issues/comments{/number}","contents_url":"https://api.github.com/repos/rocq-prover/equations/contents/{+path}","compare_url":"https://api.github.com/repos/rocq-prover/equations/compare/{base}...{head}","merges_url":"https://api.github.com/repos/rocq-prover/equations/merges","archive_url":"https://api.github.com/repos/rocq-prover/equations/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/rocq-prover/equations/downloads","issues_url":"https://api.github.com/repos/rocq-prover/equations/issues{/number}","pulls_url":"https://api.github.com/repos/rocq-prover/equations/pulls{/number}","milestones_url":"https://api.github.com/repos/rocq-prover/equations/milestones{/number}","notifications_url":"https://api.github.com/repos/rocq-prover/equations/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/rocq-prover/equations/labels{/name}","releases_url":"https://api.github.com/repos/rocq-prover/equations/releases{/id}","deployments_url":"https://api.github.com/repos/rocq-prover/equations/deployments","created_at":"2009-10-27T16:20:28Z","updated_at":"2026-09-28T15:31:33Z","pushed_at":"2026-09-28T15:30:31Z","git_url":"git://github.com/rocq-prover/equations.git","ssh_url":"git@github.com:rocq-prover/equations.git","clone_url":"https://github.com/rocq-prover/equations.git","svn_url":"https://github.com/rocq-prover/equations","homepage":"http://mattam82.github.io/Coq-Equations","size":63450,"stargazers_count":236,"watchers_count":236,"language":"Rocq Prover","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":58,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":100,"license":{"key":"lgpl-2.1","name":"GNU Lesser General Public License v2.1","spdx_id":"LGPL-2.1","url":"https://api.github.com/licenses/lgpl-2.1","node_id":"MDc6TGljZW5zZTEx"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["coq","dependent-types","programming-language","rocq"],"visibility":"public","forks":58,"open_issues":100,"watchers":236,"default_branch":"main","score":1.0}]}