{"total_count":513,"incomplete_results":false,"items":[{"id":18411972,"node_id":"MDEwOlJlcG9zaXRvcnkxODQxMTk3Mg==","name":"FStar","full_name":"FStarLang/FStar","private":false,"owner":{"login":"FStarLang","id":7689927,"node_id":"MDEyOk9yZ2FuaXphdGlvbjc2ODk5Mjc=","avatar_url":"https://avatars.githubusercontent.com/u/7689927?v=4","gravatar_id":"","url":"https://api.github.com/users/FStarLang","html_url":"https://github.com/FStarLang","followers_url":"https://api.github.com/users/FStarLang/followers","following_url":"https://api.github.com/users/FStarLang/following{/other_user}","gists_url":"https://api.github.com/users/FStarLang/gists{/gist_id}","starred_url":"https://api.github.com/users/FStarLang/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/FStarLang/subscriptions","organizations_url":"https://api.github.com/users/FStarLang/orgs","repos_url":"https://api.github.com/users/FStarLang/repos","events_url":"https://api.github.com/users/FStarLang/events{/privacy}","received_events_url":"https://api.github.com/users/FStarLang/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/FStarLang/FStar","description":"A Proof-oriented Programming Language","fork":false,"url":"https://api.github.com/repos/FStarLang/FStar","forks_url":"https://api.github.com/repos/FStarLang/FStar/forks","keys_url":"https://api.github.com/repos/FStarLang/FStar/keys{/key_id}","collaborators_url":"https://api.github.com/repos/FStarLang/FStar/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/FStarLang/FStar/teams","hooks_url":"https://api.github.com/repos/FStarLang/FStar/hooks","issue_events_url":"https://api.github.com/repos/FStarLang/FStar/issues/events{/number}","events_url":"https://api.github.com/repos/FStarLang/FStar/events","assignees_url":"https://api.github.com/repos/FStarLang/FStar/assignees{/user}","branches_url":"https://api.github.com/repos/FStarLang/FStar/branches{/branch}","tags_url":"https://api.github.com/repos/FStarLang/FStar/tags","blobs_url":"https://api.github.com/repos/FStarLang/FStar/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/FStarLang/FStar/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/FStarLang/FStar/git/refs{/sha}","trees_url":"https://api.github.com/repos/FStarLang/FStar/git/trees{/sha}","statuses_url":"https://api.github.com/repos/FStarLang/FStar/statuses/{sha}","languages_url":"https://api.github.com/repos/FStarLang/FStar/languages","stargazers_url":"https://api.github.com/repos/FStarLang/FStar/stargazers","contributors_url":"https://api.github.com/repos/FStarLang/FStar/contributors","subscribers_url":"https://api.github.com/repos/FStarLang/FStar/subscribers","subscription_url":"https://api.github.com/repos/FStarLang/FStar/subscription","commits_url":"https://api.github.com/repos/FStarLang/FStar/commits{/sha}","git_commits_url":"https://api.github.com/repos/FStarLang/FStar/git/commits{/sha}","comments_url":"https://api.github.com/repos/FStarLang/FStar/comments{/number}","issue_comment_url":"https://api.github.com/repos/FStarLang/FStar/issues/comments{/number}","contents_url":"https://api.github.com/repos/FStarLang/FStar/contents/{+path}","compare_url":"https://api.github.com/repos/FStarLang/FStar/compare/{base}...{head}","merges_url":"https://api.github.com/repos/FStarLang/FStar/merges","archive_url":"https://api.github.com/repos/FStarLang/FStar/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/FStarLang/FStar/downloads","issues_url":"https://api.github.com/repos/FStarLang/FStar/issues{/number}","pulls_url":"https://api.github.com/repos/FStarLang/FStar/pulls{/number}","milestones_url":"https://api.github.com/repos/FStarLang/FStar/milestones{/number}","notifications_url":"https://api.github.com/repos/FStarLang/FStar/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/FStarLang/FStar/labels{/name}","releases_url":"https://api.github.com/repos/FStarLang/FStar/releases{/id}","deployments_url":"https://api.github.com/repos/FStarLang/FStar/deployments","created_at":"2014-04-03T17:32:49Z","updated_at":"2026-06-06T17:40:41Z","pushed_at":"2026-06-06T01:54:42Z","git_url":"git://github.com/FStarLang/FStar.git","ssh_url":"git@github.com:FStarLang/FStar.git","clone_url":"https://github.com/FStarLang/FStar.git","svn_url":"https://github.com/FStarLang/FStar","homepage":"https://fstar-lang.org","size":826312,"stargazers_count":3042,"watchers_count":3042,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":true,"forks_count":254,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":555,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":true,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["c-language","dependent-types","dijkstra-monads","f-sharp","fstar","interactive-theorem-proving","ocaml","program-proof","programming-language","proof-assistant","smt","theorem-proving","verification"],"visibility":"public","forks":254,"open_issues":555,"watchers":3042,"default_branch":"master","score":1.0},{"id":61803978,"node_id":"MDEwOlJlcG9zaXRvcnk2MTgwMzk3OA==","name":"hacl-star","full_name":"hacl-star/hacl-star","private":false,"owner":{"login":"hacl-star","id":58970371,"node_id":"MDEyOk9yZ2FuaXphdGlvbjU4OTcwMzcx","avatar_url":"https://avatars.githubusercontent.com/u/58970371?v=4","gravatar_id":"","url":"https://api.github.com/users/hacl-star","html_url":"https://github.com/hacl-star","followers_url":"https://api.github.com/users/hacl-star/followers","following_url":"https://api.github.com/users/hacl-star/following{/other_user}","gists_url":"https://api.github.com/users/hacl-star/gists{/gist_id}","starred_url":"https://api.github.com/users/hacl-star/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hacl-star/subscriptions","organizations_url":"https://api.github.com/users/hacl-star/orgs","repos_url":"https://api.github.com/users/hacl-star/repos","events_url":"https://api.github.com/users/hacl-star/events{/privacy}","received_events_url":"https://api.github.com/users/hacl-star/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/hacl-star/hacl-star","description":"HACL*, a formally verified cryptographic library written in F*","fork":false,"url":"https://api.github.com/repos/hacl-star/hacl-star","forks_url":"https://api.github.com/repos/hacl-star/hacl-star/forks","keys_url":"https://api.github.com/repos/hacl-star/hacl-star/keys{/key_id}","collaborators_url":"https://api.github.com/repos/hacl-star/hacl-star/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/hacl-star/hacl-star/teams","hooks_url":"https://api.github.com/repos/hacl-star/hacl-star/hooks","issue_events_url":"https://api.github.com/repos/hacl-star/hacl-star/issues/events{/number}","events_url":"https://api.github.com/repos/hacl-star/hacl-star/events","assignees_url":"https://api.github.com/repos/hacl-star/hacl-star/assignees{/user}","branches_url":"https://api.github.com/repos/hacl-star/hacl-star/branches{/branch}","tags_url":"https://api.github.com/repos/hacl-star/hacl-star/tags","blobs_url":"https://api.github.com/repos/hacl-star/hacl-star/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/hacl-star/hacl-star/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/hacl-star/hacl-star/git/refs{/sha}","trees_url":"https://api.github.com/repos/hacl-star/hacl-star/git/trees{/sha}","statuses_url":"https://api.github.com/repos/hacl-star/hacl-star/statuses/{sha}","languages_url":"https://api.github.com/repos/hacl-star/hacl-star/languages","stargazers_url":"https://api.github.com/repos/hacl-star/hacl-star/stargazers","contributors_url":"https://api.github.com/repos/hacl-star/hacl-star/contributors","subscribers_url":"https://api.github.com/repos/hacl-star/hacl-star/subscribers","subscription_url":"https://api.github.com/repos/hacl-star/hacl-star/subscription","commits_url":"https://api.github.com/repos/hacl-star/hacl-star/commits{/sha}","git_commits_url":"https://api.github.com/repos/hacl-star/hacl-star/git/commits{/sha}","comments_url":"https://api.github.com/repos/hacl-star/hacl-star/comments{/number}","issue_comment_url":"https://api.github.com/repos/hacl-star/hacl-star/issues/comments{/number}","contents_url":"https://api.github.com/repos/hacl-star/hacl-star/contents/{+path}","compare_url":"https://api.github.com/repos/hacl-star/hacl-star/compare/{base}...{head}","merges_url":"https://api.github.com/repos/hacl-star/hacl-star/merges","archive_url":"https://api.github.com/repos/hacl-star/hacl-star/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/hacl-star/hacl-star/downloads","issues_url":"https://api.github.com/repos/hacl-star/hacl-star/issues{/number}","pulls_url":"https://api.github.com/repos/hacl-star/hacl-star/pulls{/number}","milestones_url":"https://api.github.com/repos/hacl-star/hacl-star/milestones{/number}","notifications_url":"https://api.github.com/repos/hacl-star/hacl-star/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/hacl-star/hacl-star/labels{/name}","releases_url":"https://api.github.com/repos/hacl-star/hacl-star/releases{/id}","deployments_url":"https://api.github.com/repos/hacl-star/hacl-star/deployments","created_at":"2016-06-23T12:37:16Z","updated_at":"2026-06-06T21:23:12Z","pushed_at":"2026-06-07T03:50:52Z","git_url":"git://github.com/hacl-star/hacl-star.git","ssh_url":"git@github.com:hacl-star/hacl-star.git","clone_url":"https://github.com/hacl-star/hacl-star.git","svn_url":"https://github.com/hacl-star/hacl-star","homepage":"","size":609071,"stargazers_count":1829,"watchers_count":1829,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":190,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":47,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["cryptography","everest","formal-methods","formal-verification","hacl","high-performance","inria","security","verification","verified-primitives"],"visibility":"public","forks":190,"open_issues":47,"watchers":1829,"default_branch":"main","score":1.0},{"id":116669081,"node_id":"MDEwOlJlcG9zaXRvcnkxMTY2NjkwODE=","name":"everparse","full_name":"project-everest/everparse","private":false,"owner":{"login":"project-everest","id":19580477,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE5NTgwNDc3","avatar_url":"https://avatars.githubusercontent.com/u/19580477?v=4","gravatar_id":"","url":"https://api.github.com/users/project-everest","html_url":"https://github.com/project-everest","followers_url":"https://api.github.com/users/project-everest/followers","following_url":"https://api.github.com/users/project-everest/following{/other_user}","gists_url":"https://api.github.com/users/project-everest/gists{/gist_id}","starred_url":"https://api.github.com/users/project-everest/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/project-everest/subscriptions","organizations_url":"https://api.github.com/users/project-everest/orgs","repos_url":"https://api.github.com/users/project-everest/repos","events_url":"https://api.github.com/users/project-everest/events{/privacy}","received_events_url":"https://api.github.com/users/project-everest/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/project-everest/everparse","description":"Automated generation of provably secure, zero-copy parsers from format specifications","fork":false,"url":"https://api.github.com/repos/project-everest/everparse","forks_url":"https://api.github.com/repos/project-everest/everparse/forks","keys_url":"https://api.github.com/repos/project-everest/everparse/keys{/key_id}","collaborators_url":"https://api.github.com/repos/project-everest/everparse/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/project-everest/everparse/teams","hooks_url":"https://api.github.com/repos/project-everest/everparse/hooks","issue_events_url":"https://api.github.com/repos/project-everest/everparse/issues/events{/number}","events_url":"https://api.github.com/repos/project-everest/everparse/events","assignees_url":"https://api.github.com/repos/project-everest/everparse/assignees{/user}","branches_url":"https://api.github.com/repos/project-everest/everparse/branches{/branch}","tags_url":"https://api.github.com/repos/project-everest/everparse/tags","blobs_url":"https://api.github.com/repos/project-everest/everparse/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/project-everest/everparse/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/project-everest/everparse/git/refs{/sha}","trees_url":"https://api.github.com/repos/project-everest/everparse/git/trees{/sha}","statuses_url":"https://api.github.com/repos/project-everest/everparse/statuses/{sha}","languages_url":"https://api.github.com/repos/project-everest/everparse/languages","stargazers_url":"https://api.github.com/repos/project-everest/everparse/stargazers","contributors_url":"https://api.github.com/repos/project-everest/everparse/contributors","subscribers_url":"https://api.github.com/repos/project-everest/everparse/subscribers","subscription_url":"https://api.github.com/repos/project-everest/everparse/subscription","commits_url":"https://api.github.com/repos/project-everest/everparse/commits{/sha}","git_commits_url":"https://api.github.com/repos/project-everest/everparse/git/commits{/sha}","comments_url":"https://api.github.com/repos/project-everest/everparse/comments{/number}","issue_comment_url":"https://api.github.com/repos/project-everest/everparse/issues/comments{/number}","contents_url":"https://api.github.com/repos/project-everest/everparse/contents/{+path}","compare_url":"https://api.github.com/repos/project-everest/everparse/compare/{base}...{head}","merges_url":"https://api.github.com/repos/project-everest/everparse/merges","archive_url":"https://api.github.com/repos/project-everest/everparse/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/project-everest/everparse/downloads","issues_url":"https://api.github.com/repos/project-everest/everparse/issues{/number}","pulls_url":"https://api.github.com/repos/project-everest/everparse/pulls{/number}","milestones_url":"https://api.github.com/repos/project-everest/everparse/milestones{/number}","notifications_url":"https://api.github.com/repos/project-everest/everparse/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/project-everest/everparse/labels{/name}","releases_url":"https://api.github.com/repos/project-everest/everparse/releases{/id}","deployments_url":"https://api.github.com/repos/project-everest/everparse/deployments","created_at":"2018-01-08T11:35:59Z","updated_at":"2026-05-30T05:57:48Z","pushed_at":"2026-06-04T02:48:01Z","git_url":"git://github.com/project-everest/everparse.git","ssh_url":"git@github.com:project-everest/everparse.git","clone_url":"https://github.com/project-everest/everparse.git","svn_url":"https://github.com/project-everest/everparse","homepage":"https://project-everest.github.io/everparse","size":100480,"stargazers_count":319,"watchers_count":319,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":24,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":36,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":24,"open_issues":36,"watchers":319,"default_branch":"master","score":1.0},{"id":45973759,"node_id":"MDEwOlJlcG9zaXRvcnk0NTk3Mzc1OQ==","name":"mitls-fstar","full_name":"project-everest/mitls-fstar","private":false,"owner":{"login":"project-everest","id":19580477,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE5NTgwNDc3","avatar_url":"https://avatars.githubusercontent.com/u/19580477?v=4","gravatar_id":"","url":"https://api.github.com/users/project-everest","html_url":"https://github.com/project-everest","followers_url":"https://api.github.com/users/project-everest/followers","following_url":"https://api.github.com/users/project-everest/following{/other_user}","gists_url":"https://api.github.com/users/project-everest/gists{/gist_id}","starred_url":"https://api.github.com/users/project-everest/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/project-everest/subscriptions","organizations_url":"https://api.github.com/users/project-everest/orgs","repos_url":"https://api.github.com/users/project-everest/repos","events_url":"https://api.github.com/users/project-everest/events{/privacy}","received_events_url":"https://api.github.com/users/project-everest/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/project-everest/mitls-fstar","description":"Verified implementation of TLS 1.3 in F*","fork":false,"url":"https://api.github.com/repos/project-everest/mitls-fstar","forks_url":"https://api.github.com/repos/project-everest/mitls-fstar/forks","keys_url":"https://api.github.com/repos/project-everest/mitls-fstar/keys{/key_id}","collaborators_url":"https://api.github.com/repos/project-everest/mitls-fstar/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/project-everest/mitls-fstar/teams","hooks_url":"https://api.github.com/repos/project-everest/mitls-fstar/hooks","issue_events_url":"https://api.github.com/repos/project-everest/mitls-fstar/issues/events{/number}","events_url":"https://api.github.com/repos/project-everest/mitls-fstar/events","assignees_url":"https://api.github.com/repos/project-everest/mitls-fstar/assignees{/user}","branches_url":"https://api.github.com/repos/project-everest/mitls-fstar/branches{/branch}","tags_url":"https://api.github.com/repos/project-everest/mitls-fstar/tags","blobs_url":"https://api.github.com/repos/project-everest/mitls-fstar/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/project-everest/mitls-fstar/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/project-everest/mitls-fstar/git/refs{/sha}","trees_url":"https://api.github.com/repos/project-everest/mitls-fstar/git/trees{/sha}","statuses_url":"https://api.github.com/repos/project-everest/mitls-fstar/statuses/{sha}","languages_url":"https://api.github.com/repos/project-everest/mitls-fstar/languages","stargazers_url":"https://api.github.com/repos/project-everest/mitls-fstar/stargazers","contributors_url":"https://api.github.com/repos/project-everest/mitls-fstar/contributors","subscribers_url":"https://api.github.com/repos/project-everest/mitls-fstar/subscribers","subscription_url":"https://api.github.com/repos/project-everest/mitls-fstar/subscription","commits_url":"https://api.github.com/repos/project-everest/mitls-fstar/commits{/sha}","git_commits_url":"https://api.github.com/repos/project-everest/mitls-fstar/git/commits{/sha}","comments_url":"https://api.github.com/repos/project-everest/mitls-fstar/comments{/number}","issue_comment_url":"https://api.github.com/repos/project-everest/mitls-fstar/issues/comments{/number}","contents_url":"https://api.github.com/repos/project-everest/mitls-fstar/contents/{+path}","compare_url":"https://api.github.com/repos/project-everest/mitls-fstar/compare/{base}...{head}","merges_url":"https://api.github.com/repos/project-everest/mitls-fstar/merges","archive_url":"https://api.github.com/repos/project-everest/mitls-fstar/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/project-everest/mitls-fstar/downloads","issues_url":"https://api.github.com/repos/project-everest/mitls-fstar/issues{/number}","pulls_url":"https://api.github.com/repos/project-everest/mitls-fstar/pulls{/number}","milestones_url":"https://api.github.com/repos/project-everest/mitls-fstar/milestones{/number}","notifications_url":"https://api.github.com/repos/project-everest/mitls-fstar/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/project-everest/mitls-fstar/labels{/name}","releases_url":"https://api.github.com/repos/project-everest/mitls-fstar/releases{/id}","deployments_url":"https://api.github.com/repos/project-everest/mitls-fstar/deployments","created_at":"2015-11-11T09:59:32Z","updated_at":"2026-06-04T06:27:23Z","pushed_at":"2025-02-12T16:31:04Z","git_url":"git://github.com/project-everest/mitls-fstar.git","ssh_url":"git@github.com:project-everest/mitls-fstar.git","clone_url":"https://github.com/project-everest/mitls-fstar.git","svn_url":"https://github.com/project-everest/mitls-fstar","homepage":"https://www.mitls.org","size":76514,"stargazers_count":180,"watchers_count":180,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":17,"mirror_url":null,"archived":true,"disabled":false,"open_issues_count":75,"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":17,"open_issues":75,"watchers":180,"default_branch":"master","score":1.0},{"id":439815757,"node_id":"R_kgDOGjcOTQ","name":"bertie","full_name":"cryspen/bertie","private":false,"owner":{"login":"cryspen","id":88740011,"node_id":"MDEyOk9yZ2FuaXphdGlvbjg4NzQwMDEx","avatar_url":"https://avatars.githubusercontent.com/u/88740011?v=4","gravatar_id":"","url":"https://api.github.com/users/cryspen","html_url":"https://github.com/cryspen","followers_url":"https://api.github.com/users/cryspen/followers","following_url":"https://api.github.com/users/cryspen/following{/other_user}","gists_url":"https://api.github.com/users/cryspen/gists{/gist_id}","starred_url":"https://api.github.com/users/cryspen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cryspen/subscriptions","organizations_url":"https://api.github.com/users/cryspen/orgs","repos_url":"https://api.github.com/users/cryspen/repos","events_url":"https://api.github.com/users/cryspen/events{/privacy}","received_events_url":"https://api.github.com/users/cryspen/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/cryspen/bertie","description":"Bertie TLS 1.3 Implementation","fork":false,"url":"https://api.github.com/repos/cryspen/bertie","forks_url":"https://api.github.com/repos/cryspen/bertie/forks","keys_url":"https://api.github.com/repos/cryspen/bertie/keys{/key_id}","collaborators_url":"https://api.github.com/repos/cryspen/bertie/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/cryspen/bertie/teams","hooks_url":"https://api.github.com/repos/cryspen/bertie/hooks","issue_events_url":"https://api.github.com/repos/cryspen/bertie/issues/events{/number}","events_url":"https://api.github.com/repos/cryspen/bertie/events","assignees_url":"https://api.github.com/repos/cryspen/bertie/assignees{/user}","branches_url":"https://api.github.com/repos/cryspen/bertie/branches{/branch}","tags_url":"https://api.github.com/repos/cryspen/bertie/tags","blobs_url":"https://api.github.com/repos/cryspen/bertie/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/cryspen/bertie/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/cryspen/bertie/git/refs{/sha}","trees_url":"https://api.github.com/repos/cryspen/bertie/git/trees{/sha}","statuses_url":"https://api.github.com/repos/cryspen/bertie/statuses/{sha}","languages_url":"https://api.github.com/repos/cryspen/bertie/languages","stargazers_url":"https://api.github.com/repos/cryspen/bertie/stargazers","contributors_url":"https://api.github.com/repos/cryspen/bertie/contributors","subscribers_url":"https://api.github.com/repos/cryspen/bertie/subscribers","subscription_url":"https://api.github.com/repos/cryspen/bertie/subscription","commits_url":"https://api.github.com/repos/cryspen/bertie/commits{/sha}","git_commits_url":"https://api.github.com/repos/cryspen/bertie/git/commits{/sha}","comments_url":"https://api.github.com/repos/cryspen/bertie/comments{/number}","issue_comment_url":"https://api.github.com/repos/cryspen/bertie/issues/comments{/number}","contents_url":"https://api.github.com/repos/cryspen/bertie/contents/{+path}","compare_url":"https://api.github.com/repos/cryspen/bertie/compare/{base}...{head}","merges_url":"https://api.github.com/repos/cryspen/bertie/merges","archive_url":"https://api.github.com/repos/cryspen/bertie/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/cryspen/bertie/downloads","issues_url":"https://api.github.com/repos/cryspen/bertie/issues{/number}","pulls_url":"https://api.github.com/repos/cryspen/bertie/pulls{/number}","milestones_url":"https://api.github.com/repos/cryspen/bertie/milestones{/number}","notifications_url":"https://api.github.com/repos/cryspen/bertie/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/cryspen/bertie/labels{/name}","releases_url":"https://api.github.com/repos/cryspen/bertie/releases{/id}","deployments_url":"https://api.github.com/repos/cryspen/bertie/deployments","created_at":"2021-12-19T08:47:59Z","updated_at":"2026-05-25T16:57:15Z","pushed_at":"2026-05-18T09:07:07Z","git_url":"git://github.com/cryspen/bertie.git","ssh_url":"git@github.com:cryspen/bertie.git","clone_url":"https://github.com/cryspen/bertie.git","svn_url":"https://github.com/cryspen/bertie","homepage":null,"size":19484,"stargazers_count":134,"watchers_count":134,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":true,"has_discussions":true,"forks_count":5,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":32,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":5,"open_issues":32,"watchers":134,"default_branch":"main","score":1.0},{"id":37552051,"node_id":"MDEwOlJlcG9zaXRvcnkzNzU1MjA1MQ==","name":"Integron_Finder","full_name":"gem-pasteur/Integron_Finder","private":false,"owner":{"login":"gem-pasteur","id":5920106,"node_id":"MDEyOk9yZ2FuaXphdGlvbjU5MjAxMDY=","avatar_url":"https://avatars.githubusercontent.com/u/5920106?v=4","gravatar_id":"","url":"https://api.github.com/users/gem-pasteur","html_url":"https://github.com/gem-pasteur","followers_url":"https://api.github.com/users/gem-pasteur/followers","following_url":"https://api.github.com/users/gem-pasteur/following{/other_user}","gists_url":"https://api.github.com/users/gem-pasteur/gists{/gist_id}","starred_url":"https://api.github.com/users/gem-pasteur/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gem-pasteur/subscriptions","organizations_url":"https://api.github.com/users/gem-pasteur/orgs","repos_url":"https://api.github.com/users/gem-pasteur/repos","events_url":"https://api.github.com/users/gem-pasteur/events{/privacy}","received_events_url":"https://api.github.com/users/gem-pasteur/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/gem-pasteur/Integron_Finder","description":"Bioinformatics tool to find integrons in bacterial genomes","fork":false,"url":"https://api.github.com/repos/gem-pasteur/Integron_Finder","forks_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/forks","keys_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/keys{/key_id}","collaborators_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/teams","hooks_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/hooks","issue_events_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/issues/events{/number}","events_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/events","assignees_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/assignees{/user}","branches_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/branches{/branch}","tags_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/tags","blobs_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/git/refs{/sha}","trees_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/git/trees{/sha}","statuses_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/statuses/{sha}","languages_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/languages","stargazers_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/stargazers","contributors_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/contributors","subscribers_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/subscribers","subscription_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/subscription","commits_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/commits{/sha}","git_commits_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/git/commits{/sha}","comments_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/comments{/number}","issue_comment_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/issues/comments{/number}","contents_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/contents/{+path}","compare_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/compare/{base}...{head}","merges_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/merges","archive_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/downloads","issues_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/issues{/number}","pulls_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/pulls{/number}","milestones_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/milestones{/number}","notifications_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/labels{/name}","releases_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/releases{/id}","deployments_url":"https://api.github.com/repos/gem-pasteur/Integron_Finder/deployments","created_at":"2015-06-16T19:42:30Z","updated_at":"2026-04-30T07:22:49Z","pushed_at":"2025-05-07T14:34:58Z","git_url":"git://github.com/gem-pasteur/Integron_Finder.git","ssh_url":"git@github.com:gem-pasteur/Integron_Finder.git","clone_url":"https://github.com/gem-pasteur/Integron_Finder.git","svn_url":"https://github.com/gem-pasteur/Integron_Finder","homepage":"","size":58805,"stargazers_count":87,"watchers_count":87,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":27,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":7,"license":{"key":"gpl-3.0","name":"GNU General Public License v3.0","spdx_id":"GPL-3.0","url":"https://api.github.com/licenses/gpl-3.0","node_id":"MDc6TGljZW5zZTk="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["bacterial-genomes","bioinformatics","identification"],"visibility":"public","forks":27,"open_issues":7,"watchers":87,"default_branch":"master","score":1.0},{"id":87832685,"node_id":"MDEwOlJlcG9zaXRvcnk4NzgzMjY4NQ==","name":"r-test","full_name":"OpenFAST/r-test","private":false,"owner":{"login":"OpenFAST","id":15838605,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE1ODM4NjA1","avatar_url":"https://avatars.githubusercontent.com/u/15838605?v=4","gravatar_id":"","url":"https://api.github.com/users/OpenFAST","html_url":"https://github.com/OpenFAST","followers_url":"https://api.github.com/users/OpenFAST/followers","following_url":"https://api.github.com/users/OpenFAST/following{/other_user}","gists_url":"https://api.github.com/users/OpenFAST/gists{/gist_id}","starred_url":"https://api.github.com/users/OpenFAST/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/OpenFAST/subscriptions","organizations_url":"https://api.github.com/users/OpenFAST/orgs","repos_url":"https://api.github.com/users/OpenFAST/repos","events_url":"https://api.github.com/users/OpenFAST/events{/privacy}","received_events_url":"https://api.github.com/users/OpenFAST/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/OpenFAST/r-test","description":"Collection of regression tests for OpenFAST and its modules, which can also be used as example models. This repository is a submodule of the https://github.com/OpenFAST/openfast/ repository.","fork":false,"url":"https://api.github.com/repos/OpenFAST/r-test","forks_url":"https://api.github.com/repos/OpenFAST/r-test/forks","keys_url":"https://api.github.com/repos/OpenFAST/r-test/keys{/key_id}","collaborators_url":"https://api.github.com/repos/OpenFAST/r-test/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/OpenFAST/r-test/teams","hooks_url":"https://api.github.com/repos/OpenFAST/r-test/hooks","issue_events_url":"https://api.github.com/repos/OpenFAST/r-test/issues/events{/number}","events_url":"https://api.github.com/repos/OpenFAST/r-test/events","assignees_url":"https://api.github.com/repos/OpenFAST/r-test/assignees{/user}","branches_url":"https://api.github.com/repos/OpenFAST/r-test/branches{/branch}","tags_url":"https://api.github.com/repos/OpenFAST/r-test/tags","blobs_url":"https://api.github.com/repos/OpenFAST/r-test/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/OpenFAST/r-test/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/OpenFAST/r-test/git/refs{/sha}","trees_url":"https://api.github.com/repos/OpenFAST/r-test/git/trees{/sha}","statuses_url":"https://api.github.com/repos/OpenFAST/r-test/statuses/{sha}","languages_url":"https://api.github.com/repos/OpenFAST/r-test/languages","stargazers_url":"https://api.github.com/repos/OpenFAST/r-test/stargazers","contributors_url":"https://api.github.com/repos/OpenFAST/r-test/contributors","subscribers_url":"https://api.github.com/repos/OpenFAST/r-test/subscribers","subscription_url":"https://api.github.com/repos/OpenFAST/r-test/subscription","commits_url":"https://api.github.com/repos/OpenFAST/r-test/commits{/sha}","git_commits_url":"https://api.github.com/repos/OpenFAST/r-test/git/commits{/sha}","comments_url":"https://api.github.com/repos/OpenFAST/r-test/comments{/number}","issue_comment_url":"https://api.github.com/repos/OpenFAST/r-test/issues/comments{/number}","contents_url":"https://api.github.com/repos/OpenFAST/r-test/contents/{+path}","compare_url":"https://api.github.com/repos/OpenFAST/r-test/compare/{base}...{head}","merges_url":"https://api.github.com/repos/OpenFAST/r-test/merges","archive_url":"https://api.github.com/repos/OpenFAST/r-test/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/OpenFAST/r-test/downloads","issues_url":"https://api.github.com/repos/OpenFAST/r-test/issues{/number}","pulls_url":"https://api.github.com/repos/OpenFAST/r-test/pulls{/number}","milestones_url":"https://api.github.com/repos/OpenFAST/r-test/milestones{/number}","notifications_url":"https://api.github.com/repos/OpenFAST/r-test/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/OpenFAST/r-test/labels{/name}","releases_url":"https://api.github.com/repos/OpenFAST/r-test/releases{/id}","deployments_url":"https://api.github.com/repos/OpenFAST/r-test/deployments","created_at":"2017-04-10T16:21:43Z","updated_at":"2026-05-25T09:11:44Z","pushed_at":"2026-06-04T21:47:49Z","git_url":"git://github.com/OpenFAST/r-test.git","ssh_url":"git@github.com:OpenFAST/r-test.git","clone_url":"https://github.com/OpenFAST/r-test.git","svn_url":"https://github.com/OpenFAST/r-test","homepage":"","size":3659888,"stargazers_count":84,"watchers_count":84,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":107,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":12,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["examples","testing"],"visibility":"public","forks":107,"open_issues":12,"watchers":84,"default_branch":"main","score":1.0},{"id":972327374,"node_id":"R_kgDOOfSJzg","name":"SparsePostQuantumRatchet","full_name":"signalapp/SparsePostQuantumRatchet","private":false,"owner":{"login":"signalapp","id":702459,"node_id":"MDEyOk9yZ2FuaXphdGlvbjcwMjQ1OQ==","avatar_url":"https://avatars.githubusercontent.com/u/702459?v=4","gravatar_id":"","url":"https://api.github.com/users/signalapp","html_url":"https://github.com/signalapp","followers_url":"https://api.github.com/users/signalapp/followers","following_url":"https://api.github.com/users/signalapp/following{/other_user}","gists_url":"https://api.github.com/users/signalapp/gists{/gist_id}","starred_url":"https://api.github.com/users/signalapp/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/signalapp/subscriptions","organizations_url":"https://api.github.com/users/signalapp/orgs","repos_url":"https://api.github.com/users/signalapp/repos","events_url":"https://api.github.com/users/signalapp/events{/privacy}","received_events_url":"https://api.github.com/users/signalapp/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/signalapp/SparsePostQuantumRatchet","description":"Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.","fork":false,"url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet","forks_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/forks","keys_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/keys{/key_id}","collaborators_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/teams","hooks_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/hooks","issue_events_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/issues/events{/number}","events_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/events","assignees_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/assignees{/user}","branches_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/branches{/branch}","tags_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/tags","blobs_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/git/refs{/sha}","trees_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/git/trees{/sha}","statuses_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/statuses/{sha}","languages_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/languages","stargazers_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/stargazers","contributors_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/contributors","subscribers_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/subscribers","subscription_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/subscription","commits_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/commits{/sha}","git_commits_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/git/commits{/sha}","comments_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/comments{/number}","issue_comment_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/issues/comments{/number}","contents_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/contents/{+path}","compare_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/compare/{base}...{head}","merges_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/merges","archive_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/downloads","issues_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/issues{/number}","pulls_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/pulls{/number}","milestones_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/milestones{/number}","notifications_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/labels{/name}","releases_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/releases{/id}","deployments_url":"https://api.github.com/repos/signalapp/SparsePostQuantumRatchet/deployments","created_at":"2025-04-24T22:36:51Z","updated_at":"2026-06-04T16:15:03Z","pushed_at":"2026-03-23T16:02:09Z","git_url":"git://github.com/signalapp/SparsePostQuantumRatchet.git","ssh_url":"git@github.com:signalapp/SparsePostQuantumRatchet.git","clone_url":"https://github.com/signalapp/SparsePostQuantumRatchet.git","svn_url":"https://github.com/signalapp/SparsePostQuantumRatchet","homepage":"","size":260,"stargazers_count":66,"watchers_count":66,"language":"F*","has_issues":true,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":19,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":4,"license":{"key":"agpl-3.0","name":"GNU Affero General Public License v3.0","spdx_id":"AGPL-3.0","url":"https://api.github.com/licenses/agpl-3.0","node_id":"MDc6TGljZW5zZTE="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":19,"open_issues":4,"watchers":66,"default_branch":"main","score":1.0},{"id":190932856,"node_id":"MDEwOlJlcG9zaXRvcnkxOTA5MzI4NTY=","name":"Creality_Ender_3_ESP32_Board","full_name":"felixstorm/Creality_Ender_3_ESP32_Board","private":false,"owner":{"login":"felixstorm","id":1177810,"node_id":"MDQ6VXNlcjExNzc4MTA=","avatar_url":"https://avatars.githubusercontent.com/u/1177810?v=4","gravatar_id":"","url":"https://api.github.com/users/felixstorm","html_url":"https://github.com/felixstorm","followers_url":"https://api.github.com/users/felixstorm/followers","following_url":"https://api.github.com/users/felixstorm/following{/other_user}","gists_url":"https://api.github.com/users/felixstorm/gists{/gist_id}","starred_url":"https://api.github.com/users/felixstorm/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/felixstorm/subscriptions","organizations_url":"https://api.github.com/users/felixstorm/orgs","repos_url":"https://api.github.com/users/felixstorm/repos","events_url":"https://api.github.com/users/felixstorm/events{/privacy}","received_events_url":"https://api.github.com/users/felixstorm/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/felixstorm/Creality_Ender_3_ESP32_Board","description":null,"fork":false,"url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board","forks_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/forks","keys_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/keys{/key_id}","collaborators_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/teams","hooks_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/hooks","issue_events_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/issues/events{/number}","events_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/events","assignees_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/assignees{/user}","branches_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/branches{/branch}","tags_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/tags","blobs_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/git/refs{/sha}","trees_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/git/trees{/sha}","statuses_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/statuses/{sha}","languages_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/languages","stargazers_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/stargazers","contributors_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/contributors","subscribers_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/subscribers","subscription_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/subscription","commits_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/commits{/sha}","git_commits_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/git/commits{/sha}","comments_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/comments{/number}","issue_comment_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/issues/comments{/number}","contents_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/contents/{+path}","compare_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/compare/{base}...{head}","merges_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/merges","archive_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/downloads","issues_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/issues{/number}","pulls_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/pulls{/number}","milestones_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/milestones{/number}","notifications_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/labels{/name}","releases_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/releases{/id}","deployments_url":"https://api.github.com/repos/felixstorm/Creality_Ender_3_ESP32_Board/deployments","created_at":"2019-06-08T20:39:18Z","updated_at":"2025-08-26T18:35:56Z","pushed_at":"2021-11-08T00:14:15Z","git_url":"git://github.com/felixstorm/Creality_Ender_3_ESP32_Board.git","ssh_url":"git@github.com:felixstorm/Creality_Ender_3_ESP32_Board.git","clone_url":"https://github.com/felixstorm/Creality_Ender_3_ESP32_Board.git","svn_url":"https://github.com/felixstorm/Creality_Ender_3_ESP32_Board","homepage":null,"size":7475,"stargazers_count":59,"watchers_count":59,"language":"F*","has_issues":true,"has_projects":false,"has_downloads":true,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":12,"mirror_url":null,"archived":true,"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":[],"visibility":"public","forks":12,"open_issues":3,"watchers":59,"default_branch":"master","score":1.0},{"id":803774880,"node_id":"R_kgDOL-ihoA","name":"SpecImmune","full_name":"deepomicslab/SpecImmune","private":false,"owner":{"login":"deepomicslab","id":68988229,"node_id":"MDEyOk9yZ2FuaXphdGlvbjY4OTg4MjI5","avatar_url":"https://avatars.githubusercontent.com/u/68988229?v=4","gravatar_id":"","url":"https://api.github.com/users/deepomicslab","html_url":"https://github.com/deepomicslab","followers_url":"https://api.github.com/users/deepomicslab/followers","following_url":"https://api.github.com/users/deepomicslab/following{/other_user}","gists_url":"https://api.github.com/users/deepomicslab/gists{/gist_id}","starred_url":"https://api.github.com/users/deepomicslab/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/deepomicslab/subscriptions","organizations_url":"https://api.github.com/users/deepomicslab/orgs","repos_url":"https://api.github.com/users/deepomicslab/repos","events_url":"https://api.github.com/users/deepomicslab/events{/privacy}","received_events_url":"https://api.github.com/users/deepomicslab/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/deepomicslab/SpecImmune","description":"Accurate Typing of Diverse Immune-Related Gene Families from Long-Read Sequencing Data. It can handle HLA, KIR, IG, TCR, CYP gene families. It supports both WGS and amplicon data. It supports PacBio and Nanopore data.","fork":false,"url":"https://api.github.com/repos/deepomicslab/SpecImmune","forks_url":"https://api.github.com/repos/deepomicslab/SpecImmune/forks","keys_url":"https://api.github.com/repos/deepomicslab/SpecImmune/keys{/key_id}","collaborators_url":"https://api.github.com/repos/deepomicslab/SpecImmune/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/deepomicslab/SpecImmune/teams","hooks_url":"https://api.github.com/repos/deepomicslab/SpecImmune/hooks","issue_events_url":"https://api.github.com/repos/deepomicslab/SpecImmune/issues/events{/number}","events_url":"https://api.github.com/repos/deepomicslab/SpecImmune/events","assignees_url":"https://api.github.com/repos/deepomicslab/SpecImmune/assignees{/user}","branches_url":"https://api.github.com/repos/deepomicslab/SpecImmune/branches{/branch}","tags_url":"https://api.github.com/repos/deepomicslab/SpecImmune/tags","blobs_url":"https://api.github.com/repos/deepomicslab/SpecImmune/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/deepomicslab/SpecImmune/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/deepomicslab/SpecImmune/git/refs{/sha}","trees_url":"https://api.github.com/repos/deepomicslab/SpecImmune/git/trees{/sha}","statuses_url":"https://api.github.com/repos/deepomicslab/SpecImmune/statuses/{sha}","languages_url":"https://api.github.com/repos/deepomicslab/SpecImmune/languages","stargazers_url":"https://api.github.com/repos/deepomicslab/SpecImmune/stargazers","contributors_url":"https://api.github.com/repos/deepomicslab/SpecImmune/contributors","subscribers_url":"https://api.github.com/repos/deepomicslab/SpecImmune/subscribers","subscription_url":"https://api.github.com/repos/deepomicslab/SpecImmune/subscription","commits_url":"https://api.github.com/repos/deepomicslab/SpecImmune/commits{/sha}","git_commits_url":"https://api.github.com/repos/deepomicslab/SpecImmune/git/commits{/sha}","comments_url":"https://api.github.com/repos/deepomicslab/SpecImmune/comments{/number}","issue_comment_url":"https://api.github.com/repos/deepomicslab/SpecImmune/issues/comments{/number}","contents_url":"https://api.github.com/repos/deepomicslab/SpecImmune/contents/{+path}","compare_url":"https://api.github.com/repos/deepomicslab/SpecImmune/compare/{base}...{head}","merges_url":"https://api.github.com/repos/deepomicslab/SpecImmune/merges","archive_url":"https://api.github.com/repos/deepomicslab/SpecImmune/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/deepomicslab/SpecImmune/downloads","issues_url":"https://api.github.com/repos/deepomicslab/SpecImmune/issues{/number}","pulls_url":"https://api.github.com/repos/deepomicslab/SpecImmune/pulls{/number}","milestones_url":"https://api.github.com/repos/deepomicslab/SpecImmune/milestones{/number}","notifications_url":"https://api.github.com/repos/deepomicslab/SpecImmune/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/deepomicslab/SpecImmune/labels{/name}","releases_url":"https://api.github.com/repos/deepomicslab/SpecImmune/releases{/id}","deployments_url":"https://api.github.com/repos/deepomicslab/SpecImmune/deployments","created_at":"2024-05-21T11:12:34Z","updated_at":"2026-05-31T15:34:18Z","pushed_at":"2026-03-08T22:33:24Z","git_url":"git://github.com/deepomicslab/SpecImmune.git","ssh_url":"git@github.com:deepomicslab/SpecImmune.git","clone_url":"https://github.com/deepomicslab/SpecImmune.git","svn_url":"https://github.com/deepomicslab/SpecImmune","homepage":"","size":669538,"stargazers_count":55,"watchers_count":55,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":2,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":2,"license":{"key":"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":["bcr","cyp-typing","drug-recommendation","hla-typing","ig","immune","kir-typing","long-read-sequencing","nanopore","pacbio","tcr","tgs","vdj"],"visibility":"public","forks":2,"open_issues":2,"watchers":55,"default_branch":"main","score":1.0},{"id":702599077,"node_id":"R_kgDOKeDPpQ","name":"StarMalloc","full_name":"Inria-Prosecco/StarMalloc","private":false,"owner":{"login":"Inria-Prosecco","id":23483865,"node_id":"MDEyOk9yZ2FuaXphdGlvbjIzNDgzODY1","avatar_url":"https://avatars.githubusercontent.com/u/23483865?v=4","gravatar_id":"","url":"https://api.github.com/users/Inria-Prosecco","html_url":"https://github.com/Inria-Prosecco","followers_url":"https://api.github.com/users/Inria-Prosecco/followers","following_url":"https://api.github.com/users/Inria-Prosecco/following{/other_user}","gists_url":"https://api.github.com/users/Inria-Prosecco/gists{/gist_id}","starred_url":"https://api.github.com/users/Inria-Prosecco/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Inria-Prosecco/subscriptions","organizations_url":"https://api.github.com/users/Inria-Prosecco/orgs","repos_url":"https://api.github.com/users/Inria-Prosecco/repos","events_url":"https://api.github.com/users/Inria-Prosecco/events{/privacy}","received_events_url":"https://api.github.com/users/Inria-Prosecco/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/Inria-Prosecco/StarMalloc","description":"A verified, modern, hardened memory allocator. [maintainer=@cmovcc]","fork":false,"url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc","forks_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/forks","keys_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/teams","hooks_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/hooks","issue_events_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/issues/events{/number}","events_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/events","assignees_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/assignees{/user}","branches_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/branches{/branch}","tags_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/tags","blobs_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/git/refs{/sha}","trees_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/statuses/{sha}","languages_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/languages","stargazers_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/stargazers","contributors_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/contributors","subscribers_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/subscribers","subscription_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/subscription","commits_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/commits{/sha}","git_commits_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/git/commits{/sha}","comments_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/comments{/number}","issue_comment_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/issues/comments{/number}","contents_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/contents/{+path}","compare_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/merges","archive_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/downloads","issues_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/issues{/number}","pulls_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/pulls{/number}","milestones_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/milestones{/number}","notifications_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/labels{/name}","releases_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/releases{/id}","deployments_url":"https://api.github.com/repos/Inria-Prosecco/StarMalloc/deployments","created_at":"2023-10-09T16:08:53Z","updated_at":"2026-05-15T09:40:50Z","pushed_at":"2026-04-24T17:14:34Z","git_url":"git://github.com/Inria-Prosecco/StarMalloc.git","ssh_url":"git@github.com:Inria-Prosecco/StarMalloc.git","clone_url":"https://github.com/Inria-Prosecco/StarMalloc.git","svn_url":"https://github.com/Inria-Prosecco/StarMalloc","homepage":"","size":2466,"stargazers_count":49,"watchers_count":49,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":1,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":2,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":1,"open_issues":2,"watchers":49,"default_branch":"main","score":1.0},{"id":181452652,"node_id":"MDEwOlJlcG9zaXRvcnkxODE0NTI2NTI=","name":"rox-star","full_name":"denismerigoux/rox-star","private":false,"owner":{"login":"denismerigoux","id":1766128,"node_id":"MDQ6VXNlcjE3NjYxMjg=","avatar_url":"https://avatars.githubusercontent.com/u/1766128?v=4","gravatar_id":"","url":"https://api.github.com/users/denismerigoux","html_url":"https://github.com/denismerigoux","followers_url":"https://api.github.com/users/denismerigoux/followers","following_url":"https://api.github.com/users/denismerigoux/following{/other_user}","gists_url":"https://api.github.com/users/denismerigoux/gists{/gist_id}","starred_url":"https://api.github.com/users/denismerigoux/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/denismerigoux/subscriptions","organizations_url":"https://api.github.com/users/denismerigoux/orgs","repos_url":"https://api.github.com/users/denismerigoux/repos","events_url":"https://api.github.com/users/denismerigoux/events{/privacy}","received_events_url":"https://api.github.com/users/denismerigoux/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/denismerigoux/rox-star","description":"Rust to F* toolchain","fork":false,"url":"https://api.github.com/repos/denismerigoux/rox-star","forks_url":"https://api.github.com/repos/denismerigoux/rox-star/forks","keys_url":"https://api.github.com/repos/denismerigoux/rox-star/keys{/key_id}","collaborators_url":"https://api.github.com/repos/denismerigoux/rox-star/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/denismerigoux/rox-star/teams","hooks_url":"https://api.github.com/repos/denismerigoux/rox-star/hooks","issue_events_url":"https://api.github.com/repos/denismerigoux/rox-star/issues/events{/number}","events_url":"https://api.github.com/repos/denismerigoux/rox-star/events","assignees_url":"https://api.github.com/repos/denismerigoux/rox-star/assignees{/user}","branches_url":"https://api.github.com/repos/denismerigoux/rox-star/branches{/branch}","tags_url":"https://api.github.com/repos/denismerigoux/rox-star/tags","blobs_url":"https://api.github.com/repos/denismerigoux/rox-star/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/denismerigoux/rox-star/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/denismerigoux/rox-star/git/refs{/sha}","trees_url":"https://api.github.com/repos/denismerigoux/rox-star/git/trees{/sha}","statuses_url":"https://api.github.com/repos/denismerigoux/rox-star/statuses/{sha}","languages_url":"https://api.github.com/repos/denismerigoux/rox-star/languages","stargazers_url":"https://api.github.com/repos/denismerigoux/rox-star/stargazers","contributors_url":"https://api.github.com/repos/denismerigoux/rox-star/contributors","subscribers_url":"https://api.github.com/repos/denismerigoux/rox-star/subscribers","subscription_url":"https://api.github.com/repos/denismerigoux/rox-star/subscription","commits_url":"https://api.github.com/repos/denismerigoux/rox-star/commits{/sha}","git_commits_url":"https://api.github.com/repos/denismerigoux/rox-star/git/commits{/sha}","comments_url":"https://api.github.com/repos/denismerigoux/rox-star/comments{/number}","issue_comment_url":"https://api.github.com/repos/denismerigoux/rox-star/issues/comments{/number}","contents_url":"https://api.github.com/repos/denismerigoux/rox-star/contents/{+path}","compare_url":"https://api.github.com/repos/denismerigoux/rox-star/compare/{base}...{head}","merges_url":"https://api.github.com/repos/denismerigoux/rox-star/merges","archive_url":"https://api.github.com/repos/denismerigoux/rox-star/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/denismerigoux/rox-star/downloads","issues_url":"https://api.github.com/repos/denismerigoux/rox-star/issues{/number}","pulls_url":"https://api.github.com/repos/denismerigoux/rox-star/pulls{/number}","milestones_url":"https://api.github.com/repos/denismerigoux/rox-star/milestones{/number}","notifications_url":"https://api.github.com/repos/denismerigoux/rox-star/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/denismerigoux/rox-star/labels{/name}","releases_url":"https://api.github.com/repos/denismerigoux/rox-star/releases{/id}","deployments_url":"https://api.github.com/repos/denismerigoux/rox-star/deployments","created_at":"2019-04-15T09:15:42Z","updated_at":"2025-07-14T10:35:31Z","pushed_at":"2019-04-16T09:21:27Z","git_url":"git://github.com/denismerigoux/rox-star.git","ssh_url":"git@github.com:denismerigoux/rox-star.git","clone_url":"https://github.com/denismerigoux/rox-star.git","svn_url":"https://github.com/denismerigoux/rox-star","homepage":null,"size":1787,"stargazers_count":43,"watchers_count":43,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":1,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":1,"open_issues":0,"watchers":43,"default_branch":"master","score":1.0},{"id":627628980,"node_id":"R_kgDOJWjbtA","name":"steel","full_name":"FStarLang/steel","private":false,"owner":{"login":"FStarLang","id":7689927,"node_id":"MDEyOk9yZ2FuaXphdGlvbjc2ODk5Mjc=","avatar_url":"https://avatars.githubusercontent.com/u/7689927?v=4","gravatar_id":"","url":"https://api.github.com/users/FStarLang","html_url":"https://github.com/FStarLang","followers_url":"https://api.github.com/users/FStarLang/followers","following_url":"https://api.github.com/users/FStarLang/following{/other_user}","gists_url":"https://api.github.com/users/FStarLang/gists{/gist_id}","starred_url":"https://api.github.com/users/FStarLang/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/FStarLang/subscriptions","organizations_url":"https://api.github.com/users/FStarLang/orgs","repos_url":"https://api.github.com/users/FStarLang/repos","events_url":"https://api.github.com/users/FStarLang/events{/privacy}","received_events_url":"https://api.github.com/users/FStarLang/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/FStarLang/steel","description":"The Steel separation logic library for F*","fork":false,"url":"https://api.github.com/repos/FStarLang/steel","forks_url":"https://api.github.com/repos/FStarLang/steel/forks","keys_url":"https://api.github.com/repos/FStarLang/steel/keys{/key_id}","collaborators_url":"https://api.github.com/repos/FStarLang/steel/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/FStarLang/steel/teams","hooks_url":"https://api.github.com/repos/FStarLang/steel/hooks","issue_events_url":"https://api.github.com/repos/FStarLang/steel/issues/events{/number}","events_url":"https://api.github.com/repos/FStarLang/steel/events","assignees_url":"https://api.github.com/repos/FStarLang/steel/assignees{/user}","branches_url":"https://api.github.com/repos/FStarLang/steel/branches{/branch}","tags_url":"https://api.github.com/repos/FStarLang/steel/tags","blobs_url":"https://api.github.com/repos/FStarLang/steel/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/FStarLang/steel/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/FStarLang/steel/git/refs{/sha}","trees_url":"https://api.github.com/repos/FStarLang/steel/git/trees{/sha}","statuses_url":"https://api.github.com/repos/FStarLang/steel/statuses/{sha}","languages_url":"https://api.github.com/repos/FStarLang/steel/languages","stargazers_url":"https://api.github.com/repos/FStarLang/steel/stargazers","contributors_url":"https://api.github.com/repos/FStarLang/steel/contributors","subscribers_url":"https://api.github.com/repos/FStarLang/steel/subscribers","subscription_url":"https://api.github.com/repos/FStarLang/steel/subscription","commits_url":"https://api.github.com/repos/FStarLang/steel/commits{/sha}","git_commits_url":"https://api.github.com/repos/FStarLang/steel/git/commits{/sha}","comments_url":"https://api.github.com/repos/FStarLang/steel/comments{/number}","issue_comment_url":"https://api.github.com/repos/FStarLang/steel/issues/comments{/number}","contents_url":"https://api.github.com/repos/FStarLang/steel/contents/{+path}","compare_url":"https://api.github.com/repos/FStarLang/steel/compare/{base}...{head}","merges_url":"https://api.github.com/repos/FStarLang/steel/merges","archive_url":"https://api.github.com/repos/FStarLang/steel/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/FStarLang/steel/downloads","issues_url":"https://api.github.com/repos/FStarLang/steel/issues{/number}","pulls_url":"https://api.github.com/repos/FStarLang/steel/pulls{/number}","milestones_url":"https://api.github.com/repos/FStarLang/steel/milestones{/number}","notifications_url":"https://api.github.com/repos/FStarLang/steel/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/FStarLang/steel/labels{/name}","releases_url":"https://api.github.com/repos/FStarLang/steel/releases{/id}","deployments_url":"https://api.github.com/repos/FStarLang/steel/deployments","created_at":"2023-04-13T21:39:25Z","updated_at":"2026-05-18T00:25:27Z","pushed_at":"2026-04-21T19:37:03Z","git_url":"git://github.com/FStarLang/steel.git","ssh_url":"git@github.com:FStarLang/steel.git","clone_url":"https://github.com/FStarLang/steel.git","svn_url":"https://github.com/FStarLang/steel","homepage":"","size":30090,"stargazers_count":38,"watchers_count":38,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":7,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":12,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":7,"open_issues":12,"watchers":38,"default_branch":"main","score":1.0},{"id":1151668734,"node_id":"R_kgDORKUR_g","name":"AlgoStar","full_name":"FStarLang/AlgoStar","private":false,"owner":{"login":"FStarLang","id":7689927,"node_id":"MDEyOk9yZ2FuaXphdGlvbjc2ODk5Mjc=","avatar_url":"https://avatars.githubusercontent.com/u/7689927?v=4","gravatar_id":"","url":"https://api.github.com/users/FStarLang","html_url":"https://github.com/FStarLang","followers_url":"https://api.github.com/users/FStarLang/followers","following_url":"https://api.github.com/users/FStarLang/following{/other_user}","gists_url":"https://api.github.com/users/FStarLang/gists{/gist_id}","starred_url":"https://api.github.com/users/FStarLang/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/FStarLang/subscriptions","organizations_url":"https://api.github.com/users/FStarLang/orgs","repos_url":"https://api.github.com/users/FStarLang/repos","events_url":"https://api.github.com/users/FStarLang/events{/privacy}","received_events_url":"https://api.github.com/users/FStarLang/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/FStarLang/AlgoStar","description":"Auto formalization of the CLRS text book","fork":false,"url":"https://api.github.com/repos/FStarLang/AlgoStar","forks_url":"https://api.github.com/repos/FStarLang/AlgoStar/forks","keys_url":"https://api.github.com/repos/FStarLang/AlgoStar/keys{/key_id}","collaborators_url":"https://api.github.com/repos/FStarLang/AlgoStar/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/FStarLang/AlgoStar/teams","hooks_url":"https://api.github.com/repos/FStarLang/AlgoStar/hooks","issue_events_url":"https://api.github.com/repos/FStarLang/AlgoStar/issues/events{/number}","events_url":"https://api.github.com/repos/FStarLang/AlgoStar/events","assignees_url":"https://api.github.com/repos/FStarLang/AlgoStar/assignees{/user}","branches_url":"https://api.github.com/repos/FStarLang/AlgoStar/branches{/branch}","tags_url":"https://api.github.com/repos/FStarLang/AlgoStar/tags","blobs_url":"https://api.github.com/repos/FStarLang/AlgoStar/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/FStarLang/AlgoStar/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/FStarLang/AlgoStar/git/refs{/sha}","trees_url":"https://api.github.com/repos/FStarLang/AlgoStar/git/trees{/sha}","statuses_url":"https://api.github.com/repos/FStarLang/AlgoStar/statuses/{sha}","languages_url":"https://api.github.com/repos/FStarLang/AlgoStar/languages","stargazers_url":"https://api.github.com/repos/FStarLang/AlgoStar/stargazers","contributors_url":"https://api.github.com/repos/FStarLang/AlgoStar/contributors","subscribers_url":"https://api.github.com/repos/FStarLang/AlgoStar/subscribers","subscription_url":"https://api.github.com/repos/FStarLang/AlgoStar/subscription","commits_url":"https://api.github.com/repos/FStarLang/AlgoStar/commits{/sha}","git_commits_url":"https://api.github.com/repos/FStarLang/AlgoStar/git/commits{/sha}","comments_url":"https://api.github.com/repos/FStarLang/AlgoStar/comments{/number}","issue_comment_url":"https://api.github.com/repos/FStarLang/AlgoStar/issues/comments{/number}","contents_url":"https://api.github.com/repos/FStarLang/AlgoStar/contents/{+path}","compare_url":"https://api.github.com/repos/FStarLang/AlgoStar/compare/{base}...{head}","merges_url":"https://api.github.com/repos/FStarLang/AlgoStar/merges","archive_url":"https://api.github.com/repos/FStarLang/AlgoStar/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/FStarLang/AlgoStar/downloads","issues_url":"https://api.github.com/repos/FStarLang/AlgoStar/issues{/number}","pulls_url":"https://api.github.com/repos/FStarLang/AlgoStar/pulls{/number}","milestones_url":"https://api.github.com/repos/FStarLang/AlgoStar/milestones{/number}","notifications_url":"https://api.github.com/repos/FStarLang/AlgoStar/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/FStarLang/AlgoStar/labels{/name}","releases_url":"https://api.github.com/repos/FStarLang/AlgoStar/releases{/id}","deployments_url":"https://api.github.com/repos/FStarLang/AlgoStar/deployments","created_at":"2026-02-06T18:48:34Z","updated_at":"2026-05-19T00:49:21Z","pushed_at":"2026-05-01T04:16:34Z","git_url":"git://github.com/FStarLang/AlgoStar.git","ssh_url":"git@github.com:FStarLang/AlgoStar.git","clone_url":"https://github.com/FStarLang/AlgoStar.git","svn_url":"https://github.com/FStarLang/AlgoStar","homepage":null,"size":9226,"stargazers_count":36,"watchers_count":36,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":3,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":10,"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":3,"open_issues":10,"watchers":36,"default_branch":"main","score":1.0},{"id":174398087,"node_id":"MDEwOlJlcG9zaXRvcnkxNzQzOTgwODc=","name":"IEA-3.4-130-RWT","full_name":"IEAWindSystems/IEA-3.4-130-RWT","private":false,"owner":{"login":"IEAWindSystems","id":36546446,"node_id":"MDEyOk9yZ2FuaXphdGlvbjM2NTQ2NDQ2","avatar_url":"https://avatars.githubusercontent.com/u/36546446?v=4","gravatar_id":"","url":"https://api.github.com/users/IEAWindSystems","html_url":"https://github.com/IEAWindSystems","followers_url":"https://api.github.com/users/IEAWindSystems/followers","following_url":"https://api.github.com/users/IEAWindSystems/following{/other_user}","gists_url":"https://api.github.com/users/IEAWindSystems/gists{/gist_id}","starred_url":"https://api.github.com/users/IEAWindSystems/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/IEAWindSystems/subscriptions","organizations_url":"https://api.github.com/users/IEAWindSystems/orgs","repos_url":"https://api.github.com/users/IEAWindSystems/repos","events_url":"https://api.github.com/users/IEAWindSystems/events{/privacy}","received_events_url":"https://api.github.com/users/IEAWindSystems/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/IEAWindSystems/IEA-3.4-130-RWT","description":"This repository contains the model data of the land-based reference wind turbine developed within IEA Wind Task 37","fork":false,"url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT","forks_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/forks","keys_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/keys{/key_id}","collaborators_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/teams","hooks_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/hooks","issue_events_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/issues/events{/number}","events_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/events","assignees_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/assignees{/user}","branches_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/branches{/branch}","tags_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/tags","blobs_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/git/refs{/sha}","trees_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/git/trees{/sha}","statuses_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/statuses/{sha}","languages_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/languages","stargazers_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/stargazers","contributors_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/contributors","subscribers_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/subscribers","subscription_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/subscription","commits_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/commits{/sha}","git_commits_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/git/commits{/sha}","comments_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/comments{/number}","issue_comment_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/issues/comments{/number}","contents_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/contents/{+path}","compare_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/compare/{base}...{head}","merges_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/merges","archive_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/downloads","issues_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/issues{/number}","pulls_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/pulls{/number}","milestones_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/milestones{/number}","notifications_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/labels{/name}","releases_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/releases{/id}","deployments_url":"https://api.github.com/repos/IEAWindSystems/IEA-3.4-130-RWT/deployments","created_at":"2019-03-07T18:23:12Z","updated_at":"2026-03-26T08:27:36Z","pushed_at":"2025-09-26T19:56:02Z","git_url":"git://github.com/IEAWindSystems/IEA-3.4-130-RWT.git","ssh_url":"git@github.com:IEAWindSystems/IEA-3.4-130-RWT.git","clone_url":"https://github.com/IEAWindSystems/IEA-3.4-130-RWT.git","svn_url":"https://github.com/IEAWindSystems/IEA-3.4-130-RWT","homepage":"","size":13212,"stargazers_count":24,"watchers_count":24,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":13,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":13,"open_issues":0,"watchers":24,"default_branch":"master","score":1.0},{"id":311409986,"node_id":"MDEwOlJlcG9zaXRvcnkzMTE0MDk5ODY=","name":"dice-star","full_name":"verified-HRoT/dice-star","private":false,"owner":{"login":"verified-HRoT","id":74203432,"node_id":"MDEyOk9yZ2FuaXphdGlvbjc0MjAzNDMy","avatar_url":"https://avatars.githubusercontent.com/u/74203432?v=4","gravatar_id":"","url":"https://api.github.com/users/verified-HRoT","html_url":"https://github.com/verified-HRoT","followers_url":"https://api.github.com/users/verified-HRoT/followers","following_url":"https://api.github.com/users/verified-HRoT/following{/other_user}","gists_url":"https://api.github.com/users/verified-HRoT/gists{/gist_id}","starred_url":"https://api.github.com/users/verified-HRoT/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/verified-HRoT/subscriptions","organizations_url":"https://api.github.com/users/verified-HRoT/orgs","repos_url":"https://api.github.com/users/verified-HRoT/repos","events_url":"https://api.github.com/users/verified-HRoT/events{/privacy}","received_events_url":"https://api.github.com/users/verified-HRoT/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/verified-HRoT/dice-star","description":null,"fork":false,"url":"https://api.github.com/repos/verified-HRoT/dice-star","forks_url":"https://api.github.com/repos/verified-HRoT/dice-star/forks","keys_url":"https://api.github.com/repos/verified-HRoT/dice-star/keys{/key_id}","collaborators_url":"https://api.github.com/repos/verified-HRoT/dice-star/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/verified-HRoT/dice-star/teams","hooks_url":"https://api.github.com/repos/verified-HRoT/dice-star/hooks","issue_events_url":"https://api.github.com/repos/verified-HRoT/dice-star/issues/events{/number}","events_url":"https://api.github.com/repos/verified-HRoT/dice-star/events","assignees_url":"https://api.github.com/repos/verified-HRoT/dice-star/assignees{/user}","branches_url":"https://api.github.com/repos/verified-HRoT/dice-star/branches{/branch}","tags_url":"https://api.github.com/repos/verified-HRoT/dice-star/tags","blobs_url":"https://api.github.com/repos/verified-HRoT/dice-star/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/verified-HRoT/dice-star/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/verified-HRoT/dice-star/git/refs{/sha}","trees_url":"https://api.github.com/repos/verified-HRoT/dice-star/git/trees{/sha}","statuses_url":"https://api.github.com/repos/verified-HRoT/dice-star/statuses/{sha}","languages_url":"https://api.github.com/repos/verified-HRoT/dice-star/languages","stargazers_url":"https://api.github.com/repos/verified-HRoT/dice-star/stargazers","contributors_url":"https://api.github.com/repos/verified-HRoT/dice-star/contributors","subscribers_url":"https://api.github.com/repos/verified-HRoT/dice-star/subscribers","subscription_url":"https://api.github.com/repos/verified-HRoT/dice-star/subscription","commits_url":"https://api.github.com/repos/verified-HRoT/dice-star/commits{/sha}","git_commits_url":"https://api.github.com/repos/verified-HRoT/dice-star/git/commits{/sha}","comments_url":"https://api.github.com/repos/verified-HRoT/dice-star/comments{/number}","issue_comment_url":"https://api.github.com/repos/verified-HRoT/dice-star/issues/comments{/number}","contents_url":"https://api.github.com/repos/verified-HRoT/dice-star/contents/{+path}","compare_url":"https://api.github.com/repos/verified-HRoT/dice-star/compare/{base}...{head}","merges_url":"https://api.github.com/repos/verified-HRoT/dice-star/merges","archive_url":"https://api.github.com/repos/verified-HRoT/dice-star/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/verified-HRoT/dice-star/downloads","issues_url":"https://api.github.com/repos/verified-HRoT/dice-star/issues{/number}","pulls_url":"https://api.github.com/repos/verified-HRoT/dice-star/pulls{/number}","milestones_url":"https://api.github.com/repos/verified-HRoT/dice-star/milestones{/number}","notifications_url":"https://api.github.com/repos/verified-HRoT/dice-star/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/verified-HRoT/dice-star/labels{/name}","releases_url":"https://api.github.com/repos/verified-HRoT/dice-star/releases{/id}","deployments_url":"https://api.github.com/repos/verified-HRoT/dice-star/deployments","created_at":"2020-11-09T17:12:36Z","updated_at":"2026-04-20T00:30:12Z","pushed_at":"2024-05-21T13:30:42Z","git_url":"git://github.com/verified-HRoT/dice-star.git","ssh_url":"git@github.com:verified-HRoT/dice-star.git","clone_url":"https://github.com/verified-HRoT/dice-star.git","svn_url":"https://github.com/verified-HRoT/dice-star","homepage":null,"size":1902,"stargazers_count":23,"watchers_count":23,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":7,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":7,"open_issues":1,"watchers":23,"default_branch":"main","score":1.0},{"id":64426579,"node_id":"MDEwOlJlcG9zaXRvcnk2NDQyNjU3OQ==","name":"ReVerC","full_name":"msr-quarc/ReVerC","private":false,"owner":{"login":"msr-quarc","id":14241334,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE0MjQxMzM0","avatar_url":"https://avatars.githubusercontent.com/u/14241334?v=4","gravatar_id":"","url":"https://api.github.com/users/msr-quarc","html_url":"https://github.com/msr-quarc","followers_url":"https://api.github.com/users/msr-quarc/followers","following_url":"https://api.github.com/users/msr-quarc/following{/other_user}","gists_url":"https://api.github.com/users/msr-quarc/gists{/gist_id}","starred_url":"https://api.github.com/users/msr-quarc/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/msr-quarc/subscriptions","organizations_url":"https://api.github.com/users/msr-quarc/orgs","repos_url":"https://api.github.com/users/msr-quarc/repos","events_url":"https://api.github.com/users/msr-quarc/events{/privacy}","received_events_url":"https://api.github.com/users/msr-quarc/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/msr-quarc/ReVerC","description":"Verified compilation of space-efficient reversible circuits","fork":false,"url":"https://api.github.com/repos/msr-quarc/ReVerC","forks_url":"https://api.github.com/repos/msr-quarc/ReVerC/forks","keys_url":"https://api.github.com/repos/msr-quarc/ReVerC/keys{/key_id}","collaborators_url":"https://api.github.com/repos/msr-quarc/ReVerC/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/msr-quarc/ReVerC/teams","hooks_url":"https://api.github.com/repos/msr-quarc/ReVerC/hooks","issue_events_url":"https://api.github.com/repos/msr-quarc/ReVerC/issues/events{/number}","events_url":"https://api.github.com/repos/msr-quarc/ReVerC/events","assignees_url":"https://api.github.com/repos/msr-quarc/ReVerC/assignees{/user}","branches_url":"https://api.github.com/repos/msr-quarc/ReVerC/branches{/branch}","tags_url":"https://api.github.com/repos/msr-quarc/ReVerC/tags","blobs_url":"https://api.github.com/repos/msr-quarc/ReVerC/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/msr-quarc/ReVerC/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/msr-quarc/ReVerC/git/refs{/sha}","trees_url":"https://api.github.com/repos/msr-quarc/ReVerC/git/trees{/sha}","statuses_url":"https://api.github.com/repos/msr-quarc/ReVerC/statuses/{sha}","languages_url":"https://api.github.com/repos/msr-quarc/ReVerC/languages","stargazers_url":"https://api.github.com/repos/msr-quarc/ReVerC/stargazers","contributors_url":"https://api.github.com/repos/msr-quarc/ReVerC/contributors","subscribers_url":"https://api.github.com/repos/msr-quarc/ReVerC/subscribers","subscription_url":"https://api.github.com/repos/msr-quarc/ReVerC/subscription","commits_url":"https://api.github.com/repos/msr-quarc/ReVerC/commits{/sha}","git_commits_url":"https://api.github.com/repos/msr-quarc/ReVerC/git/commits{/sha}","comments_url":"https://api.github.com/repos/msr-quarc/ReVerC/comments{/number}","issue_comment_url":"https://api.github.com/repos/msr-quarc/ReVerC/issues/comments{/number}","contents_url":"https://api.github.com/repos/msr-quarc/ReVerC/contents/{+path}","compare_url":"https://api.github.com/repos/msr-quarc/ReVerC/compare/{base}...{head}","merges_url":"https://api.github.com/repos/msr-quarc/ReVerC/merges","archive_url":"https://api.github.com/repos/msr-quarc/ReVerC/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/msr-quarc/ReVerC/downloads","issues_url":"https://api.github.com/repos/msr-quarc/ReVerC/issues{/number}","pulls_url":"https://api.github.com/repos/msr-quarc/ReVerC/pulls{/number}","milestones_url":"https://api.github.com/repos/msr-quarc/ReVerC/milestones{/number}","notifications_url":"https://api.github.com/repos/msr-quarc/ReVerC/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/msr-quarc/ReVerC/labels{/name}","releases_url":"https://api.github.com/repos/msr-quarc/ReVerC/releases{/id}","deployments_url":"https://api.github.com/repos/msr-quarc/ReVerC/deployments","created_at":"2016-07-28T20:37:22Z","updated_at":"2025-05-11T18:46:53Z","pushed_at":"2019-03-05T17:13:45Z","git_url":"git://github.com/msr-quarc/ReVerC.git","ssh_url":"git@github.com:msr-quarc/ReVerC.git","clone_url":"https://github.com/msr-quarc/ReVerC.git","svn_url":"https://github.com/msr-quarc/ReVerC","homepage":"","size":1035,"stargazers_count":23,"watchers_count":23,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":3,"mirror_url":null,"archived":true,"disabled":false,"open_issues_count":0,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":3,"open_issues":0,"watchers":23,"default_branch":"master","score":1.0},{"id":18397043,"node_id":"MDEwOlJlcG9zaXRvcnkxODM5NzA0Mw==","name":"kittel-koat","full_name":"s-falke/kittel-koat","private":false,"owner":{"login":"s-falke","id":6638954,"node_id":"MDQ6VXNlcjY2Mzg5NTQ=","avatar_url":"https://avatars.githubusercontent.com/u/6638954?v=4","gravatar_id":"","url":"https://api.github.com/users/s-falke","html_url":"https://github.com/s-falke","followers_url":"https://api.github.com/users/s-falke/followers","following_url":"https://api.github.com/users/s-falke/following{/other_user}","gists_url":"https://api.github.com/users/s-falke/gists{/gist_id}","starred_url":"https://api.github.com/users/s-falke/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/s-falke/subscriptions","organizations_url":"https://api.github.com/users/s-falke/orgs","repos_url":"https://api.github.com/users/s-falke/repos","events_url":"https://api.github.com/users/s-falke/events{/privacy}","received_events_url":"https://api.github.com/users/s-falke/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/s-falke/kittel-koat","description":"KITTeL/KoAT","fork":false,"url":"https://api.github.com/repos/s-falke/kittel-koat","forks_url":"https://api.github.com/repos/s-falke/kittel-koat/forks","keys_url":"https://api.github.com/repos/s-falke/kittel-koat/keys{/key_id}","collaborators_url":"https://api.github.com/repos/s-falke/kittel-koat/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/s-falke/kittel-koat/teams","hooks_url":"https://api.github.com/repos/s-falke/kittel-koat/hooks","issue_events_url":"https://api.github.com/repos/s-falke/kittel-koat/issues/events{/number}","events_url":"https://api.github.com/repos/s-falke/kittel-koat/events","assignees_url":"https://api.github.com/repos/s-falke/kittel-koat/assignees{/user}","branches_url":"https://api.github.com/repos/s-falke/kittel-koat/branches{/branch}","tags_url":"https://api.github.com/repos/s-falke/kittel-koat/tags","blobs_url":"https://api.github.com/repos/s-falke/kittel-koat/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/s-falke/kittel-koat/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/s-falke/kittel-koat/git/refs{/sha}","trees_url":"https://api.github.com/repos/s-falke/kittel-koat/git/trees{/sha}","statuses_url":"https://api.github.com/repos/s-falke/kittel-koat/statuses/{sha}","languages_url":"https://api.github.com/repos/s-falke/kittel-koat/languages","stargazers_url":"https://api.github.com/repos/s-falke/kittel-koat/stargazers","contributors_url":"https://api.github.com/repos/s-falke/kittel-koat/contributors","subscribers_url":"https://api.github.com/repos/s-falke/kittel-koat/subscribers","subscription_url":"https://api.github.com/repos/s-falke/kittel-koat/subscription","commits_url":"https://api.github.com/repos/s-falke/kittel-koat/commits{/sha}","git_commits_url":"https://api.github.com/repos/s-falke/kittel-koat/git/commits{/sha}","comments_url":"https://api.github.com/repos/s-falke/kittel-koat/comments{/number}","issue_comment_url":"https://api.github.com/repos/s-falke/kittel-koat/issues/comments{/number}","contents_url":"https://api.github.com/repos/s-falke/kittel-koat/contents/{+path}","compare_url":"https://api.github.com/repos/s-falke/kittel-koat/compare/{base}...{head}","merges_url":"https://api.github.com/repos/s-falke/kittel-koat/merges","archive_url":"https://api.github.com/repos/s-falke/kittel-koat/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/s-falke/kittel-koat/downloads","issues_url":"https://api.github.com/repos/s-falke/kittel-koat/issues{/number}","pulls_url":"https://api.github.com/repos/s-falke/kittel-koat/pulls{/number}","milestones_url":"https://api.github.com/repos/s-falke/kittel-koat/milestones{/number}","notifications_url":"https://api.github.com/repos/s-falke/kittel-koat/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/s-falke/kittel-koat/labels{/name}","releases_url":"https://api.github.com/repos/s-falke/kittel-koat/releases{/id}","deployments_url":"https://api.github.com/repos/s-falke/kittel-koat/deployments","created_at":"2014-04-03T09:00:39Z","updated_at":"2023-12-24T22:04:33Z","pushed_at":"2018-12-19T20:26:39Z","git_url":"git://github.com/s-falke/kittel-koat.git","ssh_url":"git@github.com:s-falke/kittel-koat.git","clone_url":"https://github.com/s-falke/kittel-koat.git","svn_url":"https://github.com/s-falke/kittel-koat","homepage":null,"size":3443,"stargazers_count":21,"watchers_count":21,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":9,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":2,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":9,"open_issues":2,"watchers":21,"default_branch":"master","score":1.0},{"id":305949386,"node_id":"MDEwOlJlcG9zaXRvcnkzMDU5NDkzODY=","name":"bacant","full_name":"xthua/bacant","private":false,"owner":{"login":"xthua","id":8278939,"node_id":"MDQ6VXNlcjgyNzg5Mzk=","avatar_url":"https://avatars.githubusercontent.com/u/8278939?v=4","gravatar_id":"","url":"https://api.github.com/users/xthua","html_url":"https://github.com/xthua","followers_url":"https://api.github.com/users/xthua/followers","following_url":"https://api.github.com/users/xthua/following{/other_user}","gists_url":"https://api.github.com/users/xthua/gists{/gist_id}","starred_url":"https://api.github.com/users/xthua/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/xthua/subscriptions","organizations_url":"https://api.github.com/users/xthua/orgs","repos_url":"https://api.github.com/users/xthua/repos","events_url":"https://api.github.com/users/xthua/events{/privacy}","received_events_url":"https://api.github.com/users/xthua/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/xthua/bacant","description":"This program is designed for annotation of antimicrobal resistance(AMR), transposon(Tn) and integron(In) in bacteria.","fork":false,"url":"https://api.github.com/repos/xthua/bacant","forks_url":"https://api.github.com/repos/xthua/bacant/forks","keys_url":"https://api.github.com/repos/xthua/bacant/keys{/key_id}","collaborators_url":"https://api.github.com/repos/xthua/bacant/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/xthua/bacant/teams","hooks_url":"https://api.github.com/repos/xthua/bacant/hooks","issue_events_url":"https://api.github.com/repos/xthua/bacant/issues/events{/number}","events_url":"https://api.github.com/repos/xthua/bacant/events","assignees_url":"https://api.github.com/repos/xthua/bacant/assignees{/user}","branches_url":"https://api.github.com/repos/xthua/bacant/branches{/branch}","tags_url":"https://api.github.com/repos/xthua/bacant/tags","blobs_url":"https://api.github.com/repos/xthua/bacant/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/xthua/bacant/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/xthua/bacant/git/refs{/sha}","trees_url":"https://api.github.com/repos/xthua/bacant/git/trees{/sha}","statuses_url":"https://api.github.com/repos/xthua/bacant/statuses/{sha}","languages_url":"https://api.github.com/repos/xthua/bacant/languages","stargazers_url":"https://api.github.com/repos/xthua/bacant/stargazers","contributors_url":"https://api.github.com/repos/xthua/bacant/contributors","subscribers_url":"https://api.github.com/repos/xthua/bacant/subscribers","subscription_url":"https://api.github.com/repos/xthua/bacant/subscription","commits_url":"https://api.github.com/repos/xthua/bacant/commits{/sha}","git_commits_url":"https://api.github.com/repos/xthua/bacant/git/commits{/sha}","comments_url":"https://api.github.com/repos/xthua/bacant/comments{/number}","issue_comment_url":"https://api.github.com/repos/xthua/bacant/issues/comments{/number}","contents_url":"https://api.github.com/repos/xthua/bacant/contents/{+path}","compare_url":"https://api.github.com/repos/xthua/bacant/compare/{base}...{head}","merges_url":"https://api.github.com/repos/xthua/bacant/merges","archive_url":"https://api.github.com/repos/xthua/bacant/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/xthua/bacant/downloads","issues_url":"https://api.github.com/repos/xthua/bacant/issues{/number}","pulls_url":"https://api.github.com/repos/xthua/bacant/pulls{/number}","milestones_url":"https://api.github.com/repos/xthua/bacant/milestones{/number}","notifications_url":"https://api.github.com/repos/xthua/bacant/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/xthua/bacant/labels{/name}","releases_url":"https://api.github.com/repos/xthua/bacant/releases{/id}","deployments_url":"https://api.github.com/repos/xthua/bacant/deployments","created_at":"2020-10-21T07:55:00Z","updated_at":"2026-03-18T10:56:16Z","pushed_at":"2026-03-18T10:55:41Z","git_url":"git://github.com/xthua/bacant.git","ssh_url":"git@github.com:xthua/bacant.git","clone_url":"https://github.com/xthua/bacant.git","svn_url":"https://github.com/xthua/bacant","homepage":"","size":53948,"stargazers_count":21,"watchers_count":21,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":7,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":4,"license":{"key":"gpl-3.0","name":"GNU General Public License v3.0","spdx_id":"GPL-3.0","url":"https://api.github.com/licenses/gpl-3.0","node_id":"MDc6TGljZW5zZTk="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["amr","bacteria","fasta","integron","transposon"],"visibility":"public","forks":7,"open_issues":4,"watchers":21,"default_branch":"master","score":1.0},{"id":167844866,"node_id":"MDEwOlJlcG9zaXRvcnkxNjc4NDQ4NjY=","name":"QUIC-FStar","full_name":"project-everest/QUIC-FStar","private":false,"owner":{"login":"project-everest","id":19580477,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE5NTgwNDc3","avatar_url":"https://avatars.githubusercontent.com/u/19580477?v=4","gravatar_id":"","url":"https://api.github.com/users/project-everest","html_url":"https://github.com/project-everest","followers_url":"https://api.github.com/users/project-everest/followers","following_url":"https://api.github.com/users/project-everest/following{/other_user}","gists_url":"https://api.github.com/users/project-everest/gists{/gist_id}","starred_url":"https://api.github.com/users/project-everest/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/project-everest/subscriptions","organizations_url":"https://api.github.com/users/project-everest/orgs","repos_url":"https://api.github.com/users/project-everest/repos","events_url":"https://api.github.com/users/project-everest/events{/privacy}","received_events_url":"https://api.github.com/users/project-everest/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/project-everest/QUIC-FStar","description":"An implementation of the IETF QUIC protocol in F*","fork":false,"url":"https://api.github.com/repos/project-everest/QUIC-FStar","forks_url":"https://api.github.com/repos/project-everest/QUIC-FStar/forks","keys_url":"https://api.github.com/repos/project-everest/QUIC-FStar/keys{/key_id}","collaborators_url":"https://api.github.com/repos/project-everest/QUIC-FStar/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/project-everest/QUIC-FStar/teams","hooks_url":"https://api.github.com/repos/project-everest/QUIC-FStar/hooks","issue_events_url":"https://api.github.com/repos/project-everest/QUIC-FStar/issues/events{/number}","events_url":"https://api.github.com/repos/project-everest/QUIC-FStar/events","assignees_url":"https://api.github.com/repos/project-everest/QUIC-FStar/assignees{/user}","branches_url":"https://api.github.com/repos/project-everest/QUIC-FStar/branches{/branch}","tags_url":"https://api.github.com/repos/project-everest/QUIC-FStar/tags","blobs_url":"https://api.github.com/repos/project-everest/QUIC-FStar/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/project-everest/QUIC-FStar/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/project-everest/QUIC-FStar/git/refs{/sha}","trees_url":"https://api.github.com/repos/project-everest/QUIC-FStar/git/trees{/sha}","statuses_url":"https://api.github.com/repos/project-everest/QUIC-FStar/statuses/{sha}","languages_url":"https://api.github.com/repos/project-everest/QUIC-FStar/languages","stargazers_url":"https://api.github.com/repos/project-everest/QUIC-FStar/stargazers","contributors_url":"https://api.github.com/repos/project-everest/QUIC-FStar/contributors","subscribers_url":"https://api.github.com/repos/project-everest/QUIC-FStar/subscribers","subscription_url":"https://api.github.com/repos/project-everest/QUIC-FStar/subscription","commits_url":"https://api.github.com/repos/project-everest/QUIC-FStar/commits{/sha}","git_commits_url":"https://api.github.com/repos/project-everest/QUIC-FStar/git/commits{/sha}","comments_url":"https://api.github.com/repos/project-everest/QUIC-FStar/comments{/number}","issue_comment_url":"https://api.github.com/repos/project-everest/QUIC-FStar/issues/comments{/number}","contents_url":"https://api.github.com/repos/project-everest/QUIC-FStar/contents/{+path}","compare_url":"https://api.github.com/repos/project-everest/QUIC-FStar/compare/{base}...{head}","merges_url":"https://api.github.com/repos/project-everest/QUIC-FStar/merges","archive_url":"https://api.github.com/repos/project-everest/QUIC-FStar/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/project-everest/QUIC-FStar/downloads","issues_url":"https://api.github.com/repos/project-everest/QUIC-FStar/issues{/number}","pulls_url":"https://api.github.com/repos/project-everest/QUIC-FStar/pulls{/number}","milestones_url":"https://api.github.com/repos/project-everest/QUIC-FStar/milestones{/number}","notifications_url":"https://api.github.com/repos/project-everest/QUIC-FStar/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/project-everest/QUIC-FStar/labels{/name}","releases_url":"https://api.github.com/repos/project-everest/QUIC-FStar/releases{/id}","deployments_url":"https://api.github.com/repos/project-everest/QUIC-FStar/deployments","created_at":"2019-01-27T18:44:41Z","updated_at":"2025-02-10T01:58:47Z","pushed_at":"2019-08-08T16:20:33Z","git_url":"git://github.com/project-everest/QUIC-FStar.git","ssh_url":"git@github.com:project-everest/QUIC-FStar.git","clone_url":"https://github.com/project-everest/QUIC-FStar.git","svn_url":"https://github.com/project-everest/QUIC-FStar","homepage":null,"size":199,"stargazers_count":20,"watchers_count":20,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":1,"mirror_url":null,"archived":true,"disabled":false,"open_issues_count":1,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":1,"open_issues":1,"watchers":20,"default_branch":"master","score":1.0},{"id":233646973,"node_id":"MDEwOlJlcG9zaXRvcnkyMzM2NDY5NzM=","name":"starchild","full_name":"wenkokke/starchild","private":false,"owner":{"login":"wenkokke","id":3983973,"node_id":"MDQ6VXNlcjM5ODM5NzM=","avatar_url":"https://avatars.githubusercontent.com/u/3983973?v=4","gravatar_id":"","url":"https://api.github.com/users/wenkokke","html_url":"https://github.com/wenkokke","followers_url":"https://api.github.com/users/wenkokke/followers","following_url":"https://api.github.com/users/wenkokke/following{/other_user}","gists_url":"https://api.github.com/users/wenkokke/gists{/gist_id}","starred_url":"https://api.github.com/users/wenkokke/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wenkokke/subscriptions","organizations_url":"https://api.github.com/users/wenkokke/orgs","repos_url":"https://api.github.com/users/wenkokke/repos","events_url":"https://api.github.com/users/wenkokke/events{/privacy}","received_events_url":"https://api.github.com/users/wenkokke/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/wenkokke/starchild","description":"F* library for verifying neural networks.","fork":false,"url":"https://api.github.com/repos/wenkokke/starchild","forks_url":"https://api.github.com/repos/wenkokke/starchild/forks","keys_url":"https://api.github.com/repos/wenkokke/starchild/keys{/key_id}","collaborators_url":"https://api.github.com/repos/wenkokke/starchild/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/wenkokke/starchild/teams","hooks_url":"https://api.github.com/repos/wenkokke/starchild/hooks","issue_events_url":"https://api.github.com/repos/wenkokke/starchild/issues/events{/number}","events_url":"https://api.github.com/repos/wenkokke/starchild/events","assignees_url":"https://api.github.com/repos/wenkokke/starchild/assignees{/user}","branches_url":"https://api.github.com/repos/wenkokke/starchild/branches{/branch}","tags_url":"https://api.github.com/repos/wenkokke/starchild/tags","blobs_url":"https://api.github.com/repos/wenkokke/starchild/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/wenkokke/starchild/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/wenkokke/starchild/git/refs{/sha}","trees_url":"https://api.github.com/repos/wenkokke/starchild/git/trees{/sha}","statuses_url":"https://api.github.com/repos/wenkokke/starchild/statuses/{sha}","languages_url":"https://api.github.com/repos/wenkokke/starchild/languages","stargazers_url":"https://api.github.com/repos/wenkokke/starchild/stargazers","contributors_url":"https://api.github.com/repos/wenkokke/starchild/contributors","subscribers_url":"https://api.github.com/repos/wenkokke/starchild/subscribers","subscription_url":"https://api.github.com/repos/wenkokke/starchild/subscription","commits_url":"https://api.github.com/repos/wenkokke/starchild/commits{/sha}","git_commits_url":"https://api.github.com/repos/wenkokke/starchild/git/commits{/sha}","comments_url":"https://api.github.com/repos/wenkokke/starchild/comments{/number}","issue_comment_url":"https://api.github.com/repos/wenkokke/starchild/issues/comments{/number}","contents_url":"https://api.github.com/repos/wenkokke/starchild/contents/{+path}","compare_url":"https://api.github.com/repos/wenkokke/starchild/compare/{base}...{head}","merges_url":"https://api.github.com/repos/wenkokke/starchild/merges","archive_url":"https://api.github.com/repos/wenkokke/starchild/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/wenkokke/starchild/downloads","issues_url":"https://api.github.com/repos/wenkokke/starchild/issues{/number}","pulls_url":"https://api.github.com/repos/wenkokke/starchild/pulls{/number}","milestones_url":"https://api.github.com/repos/wenkokke/starchild/milestones{/number}","notifications_url":"https://api.github.com/repos/wenkokke/starchild/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/wenkokke/starchild/labels{/name}","releases_url":"https://api.github.com/repos/wenkokke/starchild/releases{/id}","deployments_url":"https://api.github.com/repos/wenkokke/starchild/deployments","created_at":"2020-01-13T16:58:08Z","updated_at":"2025-11-30T21:46:39Z","pushed_at":"2023-03-25T01:28:45Z","git_url":"git://github.com/wenkokke/starchild.git","ssh_url":"git@github.com:wenkokke/starchild.git","clone_url":"https://github.com/wenkokke/starchild.git","svn_url":"https://github.com/wenkokke/starchild","homepage":"","size":16769,"stargazers_count":17,"watchers_count":17,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":2,"mirror_url":null,"archived":true,"disabled":false,"open_issues_count":1,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["fstar","neural-networks","smt-solver"],"visibility":"public","forks":2,"open_issues":1,"watchers":17,"default_branch":"master","score":1.0},{"id":770115851,"node_id":"R_kgDOLecJCw","name":"intro-verif-24","full_name":"mtzguido/intro-verif-24","private":false,"owner":{"login":"mtzguido","id":4195583,"node_id":"MDQ6VXNlcjQxOTU1ODM=","avatar_url":"https://avatars.githubusercontent.com/u/4195583?v=4","gravatar_id":"","url":"https://api.github.com/users/mtzguido","html_url":"https://github.com/mtzguido","followers_url":"https://api.github.com/users/mtzguido/followers","following_url":"https://api.github.com/users/mtzguido/following{/other_user}","gists_url":"https://api.github.com/users/mtzguido/gists{/gist_id}","starred_url":"https://api.github.com/users/mtzguido/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mtzguido/subscriptions","organizations_url":"https://api.github.com/users/mtzguido/orgs","repos_url":"https://api.github.com/users/mtzguido/repos","events_url":"https://api.github.com/users/mtzguido/events{/privacy}","received_events_url":"https://api.github.com/users/mtzguido/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/mtzguido/intro-verif-24","description":"Repositorio de la optativa para la FCEIA","fork":false,"url":"https://api.github.com/repos/mtzguido/intro-verif-24","forks_url":"https://api.github.com/repos/mtzguido/intro-verif-24/forks","keys_url":"https://api.github.com/repos/mtzguido/intro-verif-24/keys{/key_id}","collaborators_url":"https://api.github.com/repos/mtzguido/intro-verif-24/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/mtzguido/intro-verif-24/teams","hooks_url":"https://api.github.com/repos/mtzguido/intro-verif-24/hooks","issue_events_url":"https://api.github.com/repos/mtzguido/intro-verif-24/issues/events{/number}","events_url":"https://api.github.com/repos/mtzguido/intro-verif-24/events","assignees_url":"https://api.github.com/repos/mtzguido/intro-verif-24/assignees{/user}","branches_url":"https://api.github.com/repos/mtzguido/intro-verif-24/branches{/branch}","tags_url":"https://api.github.com/repos/mtzguido/intro-verif-24/tags","blobs_url":"https://api.github.com/repos/mtzguido/intro-verif-24/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/mtzguido/intro-verif-24/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/mtzguido/intro-verif-24/git/refs{/sha}","trees_url":"https://api.github.com/repos/mtzguido/intro-verif-24/git/trees{/sha}","statuses_url":"https://api.github.com/repos/mtzguido/intro-verif-24/statuses/{sha}","languages_url":"https://api.github.com/repos/mtzguido/intro-verif-24/languages","stargazers_url":"https://api.github.com/repos/mtzguido/intro-verif-24/stargazers","contributors_url":"https://api.github.com/repos/mtzguido/intro-verif-24/contributors","subscribers_url":"https://api.github.com/repos/mtzguido/intro-verif-24/subscribers","subscription_url":"https://api.github.com/repos/mtzguido/intro-verif-24/subscription","commits_url":"https://api.github.com/repos/mtzguido/intro-verif-24/commits{/sha}","git_commits_url":"https://api.github.com/repos/mtzguido/intro-verif-24/git/commits{/sha}","comments_url":"https://api.github.com/repos/mtzguido/intro-verif-24/comments{/number}","issue_comment_url":"https://api.github.com/repos/mtzguido/intro-verif-24/issues/comments{/number}","contents_url":"https://api.github.com/repos/mtzguido/intro-verif-24/contents/{+path}","compare_url":"https://api.github.com/repos/mtzguido/intro-verif-24/compare/{base}...{head}","merges_url":"https://api.github.com/repos/mtzguido/intro-verif-24/merges","archive_url":"https://api.github.com/repos/mtzguido/intro-verif-24/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/mtzguido/intro-verif-24/downloads","issues_url":"https://api.github.com/repos/mtzguido/intro-verif-24/issues{/number}","pulls_url":"https://api.github.com/repos/mtzguido/intro-verif-24/pulls{/number}","milestones_url":"https://api.github.com/repos/mtzguido/intro-verif-24/milestones{/number}","notifications_url":"https://api.github.com/repos/mtzguido/intro-verif-24/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/mtzguido/intro-verif-24/labels{/name}","releases_url":"https://api.github.com/repos/mtzguido/intro-verif-24/releases{/id}","deployments_url":"https://api.github.com/repos/mtzguido/intro-verif-24/deployments","created_at":"2024-03-11T00:08:32Z","updated_at":"2026-01-12T04:54:26Z","pushed_at":"2025-04-08T21:59:17Z","git_url":"git://github.com/mtzguido/intro-verif-24.git","ssh_url":"git@github.com:mtzguido/intro-verif-24.git","clone_url":"https://github.com/mtzguido/intro-verif-24.git","svn_url":"https://github.com/mtzguido/intro-verif-24","homepage":null,"size":4562,"stargazers_count":14,"watchers_count":14,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":16,"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":16,"open_issues":0,"watchers":14,"default_branch":"main","score":1.0},{"id":217607063,"node_id":"MDEwOlJlcG9zaXRvcnkyMTc2MDcwNjM=","name":"everquic-crypto","full_name":"project-everest/everquic-crypto","private":false,"owner":{"login":"project-everest","id":19580477,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE5NTgwNDc3","avatar_url":"https://avatars.githubusercontent.com/u/19580477?v=4","gravatar_id":"","url":"https://api.github.com/users/project-everest","html_url":"https://github.com/project-everest","followers_url":"https://api.github.com/users/project-everest/followers","following_url":"https://api.github.com/users/project-everest/following{/other_user}","gists_url":"https://api.github.com/users/project-everest/gists{/gist_id}","starred_url":"https://api.github.com/users/project-everest/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/project-everest/subscriptions","organizations_url":"https://api.github.com/users/project-everest/orgs","repos_url":"https://api.github.com/users/project-everest/repos","events_url":"https://api.github.com/users/project-everest/events{/privacy}","received_events_url":"https://api.github.com/users/project-everest/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/project-everest/everquic-crypto","description":"Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.","fork":false,"url":"https://api.github.com/repos/project-everest/everquic-crypto","forks_url":"https://api.github.com/repos/project-everest/everquic-crypto/forks","keys_url":"https://api.github.com/repos/project-everest/everquic-crypto/keys{/key_id}","collaborators_url":"https://api.github.com/repos/project-everest/everquic-crypto/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/project-everest/everquic-crypto/teams","hooks_url":"https://api.github.com/repos/project-everest/everquic-crypto/hooks","issue_events_url":"https://api.github.com/repos/project-everest/everquic-crypto/issues/events{/number}","events_url":"https://api.github.com/repos/project-everest/everquic-crypto/events","assignees_url":"https://api.github.com/repos/project-everest/everquic-crypto/assignees{/user}","branches_url":"https://api.github.com/repos/project-everest/everquic-crypto/branches{/branch}","tags_url":"https://api.github.com/repos/project-everest/everquic-crypto/tags","blobs_url":"https://api.github.com/repos/project-everest/everquic-crypto/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/project-everest/everquic-crypto/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/project-everest/everquic-crypto/git/refs{/sha}","trees_url":"https://api.github.com/repos/project-everest/everquic-crypto/git/trees{/sha}","statuses_url":"https://api.github.com/repos/project-everest/everquic-crypto/statuses/{sha}","languages_url":"https://api.github.com/repos/project-everest/everquic-crypto/languages","stargazers_url":"https://api.github.com/repos/project-everest/everquic-crypto/stargazers","contributors_url":"https://api.github.com/repos/project-everest/everquic-crypto/contributors","subscribers_url":"https://api.github.com/repos/project-everest/everquic-crypto/subscribers","subscription_url":"https://api.github.com/repos/project-everest/everquic-crypto/subscription","commits_url":"https://api.github.com/repos/project-everest/everquic-crypto/commits{/sha}","git_commits_url":"https://api.github.com/repos/project-everest/everquic-crypto/git/commits{/sha}","comments_url":"https://api.github.com/repos/project-everest/everquic-crypto/comments{/number}","issue_comment_url":"https://api.github.com/repos/project-everest/everquic-crypto/issues/comments{/number}","contents_url":"https://api.github.com/repos/project-everest/everquic-crypto/contents/{+path}","compare_url":"https://api.github.com/repos/project-everest/everquic-crypto/compare/{base}...{head}","merges_url":"https://api.github.com/repos/project-everest/everquic-crypto/merges","archive_url":"https://api.github.com/repos/project-everest/everquic-crypto/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/project-everest/everquic-crypto/downloads","issues_url":"https://api.github.com/repos/project-everest/everquic-crypto/issues{/number}","pulls_url":"https://api.github.com/repos/project-everest/everquic-crypto/pulls{/number}","milestones_url":"https://api.github.com/repos/project-everest/everquic-crypto/milestones{/number}","notifications_url":"https://api.github.com/repos/project-everest/everquic-crypto/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/project-everest/everquic-crypto/labels{/name}","releases_url":"https://api.github.com/repos/project-everest/everquic-crypto/releases{/id}","deployments_url":"https://api.github.com/repos/project-everest/everquic-crypto/deployments","created_at":"2019-10-25T20:05:48Z","updated_at":"2026-04-07T04:44:47Z","pushed_at":"2025-08-11T17:27:01Z","git_url":"git://github.com/project-everest/everquic-crypto.git","ssh_url":"git@github.com:project-everest/everquic-crypto.git","clone_url":"https://github.com/project-everest/everquic-crypto.git","svn_url":"https://github.com/project-everest/everquic-crypto","homepage":"","size":3621,"stargazers_count":14,"watchers_count":14,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":6,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":6,"open_issues":1,"watchers":14,"default_branch":"master","score":1.0},{"id":26063818,"node_id":"MDEwOlJlcG9zaXRvcnkyNjA2MzgxOA==","name":"fault-tolerant-benchmarks","full_name":"konnov/fault-tolerant-benchmarks","private":false,"owner":{"login":"konnov","id":436810,"node_id":"MDQ6VXNlcjQzNjgxMA==","avatar_url":"https://avatars.githubusercontent.com/u/436810?v=4","gravatar_id":"","url":"https://api.github.com/users/konnov","html_url":"https://github.com/konnov","followers_url":"https://api.github.com/users/konnov/followers","following_url":"https://api.github.com/users/konnov/following{/other_user}","gists_url":"https://api.github.com/users/konnov/gists{/gist_id}","starred_url":"https://api.github.com/users/konnov/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/konnov/subscriptions","organizations_url":"https://api.github.com/users/konnov/orgs","repos_url":"https://api.github.com/users/konnov/repos","events_url":"https://api.github.com/users/konnov/events{/privacy}","received_events_url":"https://api.github.com/users/konnov/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/konnov/fault-tolerant-benchmarks","description":"Fault-tolerant distributed algorithms encoded in a formal language","fork":false,"url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks","forks_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/forks","keys_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/keys{/key_id}","collaborators_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/teams","hooks_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/hooks","issue_events_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/issues/events{/number}","events_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/events","assignees_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/assignees{/user}","branches_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/branches{/branch}","tags_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/tags","blobs_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/git/refs{/sha}","trees_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/git/trees{/sha}","statuses_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/statuses/{sha}","languages_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/languages","stargazers_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/stargazers","contributors_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/contributors","subscribers_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/subscribers","subscription_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/subscription","commits_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/commits{/sha}","git_commits_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/git/commits{/sha}","comments_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/comments{/number}","issue_comment_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/issues/comments{/number}","contents_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/contents/{+path}","compare_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/compare/{base}...{head}","merges_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/merges","archive_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/downloads","issues_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/issues{/number}","pulls_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/pulls{/number}","milestones_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/milestones{/number}","notifications_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/labels{/name}","releases_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/releases{/id}","deployments_url":"https://api.github.com/repos/konnov/fault-tolerant-benchmarks/deployments","created_at":"2014-11-01T21:27:07Z","updated_at":"2025-01-12T04:21:16Z","pushed_at":"2020-11-30T11:12:20Z","git_url":"git://github.com/konnov/fault-tolerant-benchmarks.git","ssh_url":"git@github.com:konnov/fault-tolerant-benchmarks.git","clone_url":"https://github.com/konnov/fault-tolerant-benchmarks.git","svn_url":"https://github.com/konnov/fault-tolerant-benchmarks","homepage":null,"size":1660,"stargazers_count":14,"watchers_count":14,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":4,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"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":["benchmark","benchmarks","fault-tolerance","promela","threshold-automata"],"visibility":"public","forks":4,"open_issues":0,"watchers":14,"default_branch":"master","score":1.0},{"id":606897965,"node_id":"R_kgDOJCyHLQ","name":"dolev-yao-star-extrinsic","full_name":"REPROSEC/dolev-yao-star-extrinsic","private":false,"owner":{"login":"REPROSEC","id":80263249,"node_id":"MDEyOk9yZ2FuaXphdGlvbjgwMjYzMjQ5","avatar_url":"https://avatars.githubusercontent.com/u/80263249?v=4","gravatar_id":"","url":"https://api.github.com/users/REPROSEC","html_url":"https://github.com/REPROSEC","followers_url":"https://api.github.com/users/REPROSEC/followers","following_url":"https://api.github.com/users/REPROSEC/following{/other_user}","gists_url":"https://api.github.com/users/REPROSEC/gists{/gist_id}","starred_url":"https://api.github.com/users/REPROSEC/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/REPROSEC/subscriptions","organizations_url":"https://api.github.com/users/REPROSEC/orgs","repos_url":"https://api.github.com/users/REPROSEC/repos","events_url":"https://api.github.com/users/REPROSEC/events{/privacy}","received_events_url":"https://api.github.com/users/REPROSEC/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/REPROSEC/dolev-yao-star-extrinsic","description":"DY* with extrinsic proofs","fork":false,"url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic","forks_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/forks","keys_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/keys{/key_id}","collaborators_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/teams","hooks_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/hooks","issue_events_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/issues/events{/number}","events_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/events","assignees_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/assignees{/user}","branches_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/branches{/branch}","tags_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/tags","blobs_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/git/refs{/sha}","trees_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/git/trees{/sha}","statuses_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/statuses/{sha}","languages_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/languages","stargazers_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/stargazers","contributors_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/contributors","subscribers_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/subscribers","subscription_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/subscription","commits_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/commits{/sha}","git_commits_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/git/commits{/sha}","comments_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/comments{/number}","issue_comment_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/issues/comments{/number}","contents_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/contents/{+path}","compare_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/compare/{base}...{head}","merges_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/merges","archive_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/downloads","issues_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/issues{/number}","pulls_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/pulls{/number}","milestones_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/milestones{/number}","notifications_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/labels{/name}","releases_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/releases{/id}","deployments_url":"https://api.github.com/repos/REPROSEC/dolev-yao-star-extrinsic/deployments","created_at":"2023-02-26T21:45:40Z","updated_at":"2026-04-14T02:31:58Z","pushed_at":"2026-05-26T08:09:35Z","git_url":"git://github.com/REPROSEC/dolev-yao-star-extrinsic.git","ssh_url":"git@github.com:REPROSEC/dolev-yao-star-extrinsic.git","clone_url":"https://github.com/REPROSEC/dolev-yao-star-extrinsic.git","svn_url":"https://github.com/REPROSEC/dolev-yao-star-extrinsic","homepage":"https://reprosec.org/","size":1032,"stargazers_count":14,"watchers_count":14,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":1,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":19,"license":{"key":"mpl-2.0","name":"Mozilla Public License 2.0","spdx_id":"MPL-2.0","url":"https://api.github.com/licenses/mpl-2.0","node_id":"MDc6TGljZW5zZTE0"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":1,"open_issues":19,"watchers":14,"default_branch":"main","score":1.0},{"id":499432752,"node_id":"R_kgDOHcS9MA","name":"dates-calc","full_name":"CatalaLang/dates-calc","private":false,"owner":{"login":"CatalaLang","id":63865220,"node_id":"MDEyOk9yZ2FuaXphdGlvbjYzODY1MjIw","avatar_url":"https://avatars.githubusercontent.com/u/63865220?v=4","gravatar_id":"","url":"https://api.github.com/users/CatalaLang","html_url":"https://github.com/CatalaLang","followers_url":"https://api.github.com/users/CatalaLang/followers","following_url":"https://api.github.com/users/CatalaLang/following{/other_user}","gists_url":"https://api.github.com/users/CatalaLang/gists{/gist_id}","starred_url":"https://api.github.com/users/CatalaLang/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/CatalaLang/subscriptions","organizations_url":"https://api.github.com/users/CatalaLang/orgs","repos_url":"https://api.github.com/users/CatalaLang/repos","events_url":"https://api.github.com/users/CatalaLang/events{/privacy}","received_events_url":"https://api.github.com/users/CatalaLang/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/CatalaLang/dates-calc","description":"Formally specified computations on dates","fork":false,"url":"https://api.github.com/repos/CatalaLang/dates-calc","forks_url":"https://api.github.com/repos/CatalaLang/dates-calc/forks","keys_url":"https://api.github.com/repos/CatalaLang/dates-calc/keys{/key_id}","collaborators_url":"https://api.github.com/repos/CatalaLang/dates-calc/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/CatalaLang/dates-calc/teams","hooks_url":"https://api.github.com/repos/CatalaLang/dates-calc/hooks","issue_events_url":"https://api.github.com/repos/CatalaLang/dates-calc/issues/events{/number}","events_url":"https://api.github.com/repos/CatalaLang/dates-calc/events","assignees_url":"https://api.github.com/repos/CatalaLang/dates-calc/assignees{/user}","branches_url":"https://api.github.com/repos/CatalaLang/dates-calc/branches{/branch}","tags_url":"https://api.github.com/repos/CatalaLang/dates-calc/tags","blobs_url":"https://api.github.com/repos/CatalaLang/dates-calc/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/CatalaLang/dates-calc/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/CatalaLang/dates-calc/git/refs{/sha}","trees_url":"https://api.github.com/repos/CatalaLang/dates-calc/git/trees{/sha}","statuses_url":"https://api.github.com/repos/CatalaLang/dates-calc/statuses/{sha}","languages_url":"https://api.github.com/repos/CatalaLang/dates-calc/languages","stargazers_url":"https://api.github.com/repos/CatalaLang/dates-calc/stargazers","contributors_url":"https://api.github.com/repos/CatalaLang/dates-calc/contributors","subscribers_url":"https://api.github.com/repos/CatalaLang/dates-calc/subscribers","subscription_url":"https://api.github.com/repos/CatalaLang/dates-calc/subscription","commits_url":"https://api.github.com/repos/CatalaLang/dates-calc/commits{/sha}","git_commits_url":"https://api.github.com/repos/CatalaLang/dates-calc/git/commits{/sha}","comments_url":"https://api.github.com/repos/CatalaLang/dates-calc/comments{/number}","issue_comment_url":"https://api.github.com/repos/CatalaLang/dates-calc/issues/comments{/number}","contents_url":"https://api.github.com/repos/CatalaLang/dates-calc/contents/{+path}","compare_url":"https://api.github.com/repos/CatalaLang/dates-calc/compare/{base}...{head}","merges_url":"https://api.github.com/repos/CatalaLang/dates-calc/merges","archive_url":"https://api.github.com/repos/CatalaLang/dates-calc/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/CatalaLang/dates-calc/downloads","issues_url":"https://api.github.com/repos/CatalaLang/dates-calc/issues{/number}","pulls_url":"https://api.github.com/repos/CatalaLang/dates-calc/pulls{/number}","milestones_url":"https://api.github.com/repos/CatalaLang/dates-calc/milestones{/number}","notifications_url":"https://api.github.com/repos/CatalaLang/dates-calc/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/CatalaLang/dates-calc/labels{/name}","releases_url":"https://api.github.com/repos/CatalaLang/dates-calc/releases{/id}","deployments_url":"https://api.github.com/repos/CatalaLang/dates-calc/deployments","created_at":"2022-06-03T08:15:35Z","updated_at":"2026-04-16T13:12:05Z","pushed_at":"2026-04-16T10:12:47Z","git_url":"git://github.com/CatalaLang/dates-calc.git","ssh_url":"git@github.com:CatalaLang/dates-calc.git","clone_url":"https://github.com/CatalaLang/dates-calc.git","svn_url":"https://github.com/CatalaLang/dates-calc","homepage":"https://catalalang.github.io/dates-calc/dates_calc/Dates_calc/Dates/index.html","size":702,"stargazers_count":14,"watchers_count":14,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":1,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":1,"open_issues":0,"watchers":14,"default_branch":"main","score":1.0},{"id":132456051,"node_id":"MDEwOlJlcG9zaXRvcnkxMzI0NTYwNTE=","name":"fstar-course","full_name":"catalin-hritcu/fstar-course","private":false,"owner":{"login":"catalin-hritcu","id":5850655,"node_id":"MDQ6VXNlcjU4NTA2NTU=","avatar_url":"https://avatars.githubusercontent.com/u/5850655?v=4","gravatar_id":"","url":"https://api.github.com/users/catalin-hritcu","html_url":"https://github.com/catalin-hritcu","followers_url":"https://api.github.com/users/catalin-hritcu/followers","following_url":"https://api.github.com/users/catalin-hritcu/following{/other_user}","gists_url":"https://api.github.com/users/catalin-hritcu/gists{/gist_id}","starred_url":"https://api.github.com/users/catalin-hritcu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/catalin-hritcu/subscriptions","organizations_url":"https://api.github.com/users/catalin-hritcu/orgs","repos_url":"https://api.github.com/users/catalin-hritcu/repos","events_url":"https://api.github.com/users/catalin-hritcu/events{/privacy}","received_events_url":"https://api.github.com/users/catalin-hritcu/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/catalin-hritcu/fstar-course","description":"Program verification with F* course materials","fork":false,"url":"https://api.github.com/repos/catalin-hritcu/fstar-course","forks_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/forks","keys_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/keys{/key_id}","collaborators_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/teams","hooks_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/hooks","issue_events_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/issues/events{/number}","events_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/events","assignees_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/assignees{/user}","branches_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/branches{/branch}","tags_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/tags","blobs_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/git/refs{/sha}","trees_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/git/trees{/sha}","statuses_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/statuses/{sha}","languages_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/languages","stargazers_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/stargazers","contributors_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/contributors","subscribers_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/subscribers","subscription_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/subscription","commits_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/commits{/sha}","git_commits_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/git/commits{/sha}","comments_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/comments{/number}","issue_comment_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/issues/comments{/number}","contents_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/contents/{+path}","compare_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/compare/{base}...{head}","merges_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/merges","archive_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/downloads","issues_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/issues{/number}","pulls_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/pulls{/number}","milestones_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/milestones{/number}","notifications_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/labels{/name}","releases_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/releases{/id}","deployments_url":"https://api.github.com/repos/catalin-hritcu/fstar-course/deployments","created_at":"2018-05-07T12:15:40Z","updated_at":"2025-02-10T01:59:04Z","pushed_at":"2019-07-06T07:46:24Z","git_url":"git://github.com/catalin-hritcu/fstar-course.git","ssh_url":"git@github.com:catalin-hritcu/fstar-course.git","clone_url":"https://github.com/catalin-hritcu/fstar-course.git","svn_url":"https://github.com/catalin-hritcu/fstar-course","homepage":"http://prosecco.gforge.inria.fr/personal/hritcu/teaching/vtsa2019","size":2626,"stargazers_count":12,"watchers_count":12,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":2,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":2,"open_issues":0,"watchers":12,"default_branch":"master","score":1.0},{"id":393707100,"node_id":"MDEwOlJlcG9zaXRvcnkzOTM3MDcxMDA=","name":"verified-abstract-interpreter","full_name":"W95Psp/verified-abstract-interpreter","private":false,"owner":{"login":"W95Psp","id":593204,"node_id":"MDQ6VXNlcjU5MzIwNA==","avatar_url":"https://avatars.githubusercontent.com/u/593204?v=4","gravatar_id":"","url":"https://api.github.com/users/W95Psp","html_url":"https://github.com/W95Psp","followers_url":"https://api.github.com/users/W95Psp/followers","following_url":"https://api.github.com/users/W95Psp/following{/other_user}","gists_url":"https://api.github.com/users/W95Psp/gists{/gist_id}","starred_url":"https://api.github.com/users/W95Psp/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/W95Psp/subscriptions","organizations_url":"https://api.github.com/users/W95Psp/orgs","repos_url":"https://api.github.com/users/W95Psp/repos","events_url":"https://api.github.com/users/W95Psp/events{/privacy}","received_events_url":"https://api.github.com/users/W95Psp/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/W95Psp/verified-abstract-interpreter","description":null,"fork":false,"url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter","forks_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/forks","keys_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/keys{/key_id}","collaborators_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/teams","hooks_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/hooks","issue_events_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/issues/events{/number}","events_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/events","assignees_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/assignees{/user}","branches_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/branches{/branch}","tags_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/tags","blobs_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/git/refs{/sha}","trees_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/git/trees{/sha}","statuses_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/statuses/{sha}","languages_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/languages","stargazers_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/stargazers","contributors_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/contributors","subscribers_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/subscribers","subscription_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/subscription","commits_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/commits{/sha}","git_commits_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/git/commits{/sha}","comments_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/comments{/number}","issue_comment_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/issues/comments{/number}","contents_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/contents/{+path}","compare_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/compare/{base}...{head}","merges_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/merges","archive_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/downloads","issues_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/issues{/number}","pulls_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/pulls{/number}","milestones_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/milestones{/number}","notifications_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/labels{/name}","releases_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/releases{/id}","deployments_url":"https://api.github.com/repos/W95Psp/verified-abstract-interpreter/deployments","created_at":"2021-08-07T14:34:23Z","updated_at":"2026-02-12T23:03:34Z","pushed_at":"2021-12-04T10:04:47Z","git_url":"git://github.com/W95Psp/verified-abstract-interpreter.git","ssh_url":"git@github.com:W95Psp/verified-abstract-interpreter.git","clone_url":"https://github.com/W95Psp/verified-abstract-interpreter.git","svn_url":"https://github.com/W95Psp/verified-abstract-interpreter","homepage":null,"size":5521,"stargazers_count":11,"watchers_count":11,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":2,"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":2,"open_issues":0,"watchers":11,"default_branch":"master","score":1.0},{"id":251415538,"node_id":"MDEwOlJlcG9zaXRvcnkyNTE0MTU1Mzg=","name":"SARSCoV2origins","full_name":"plemey/SARSCoV2origins","private":false,"owner":{"login":"plemey","id":708314,"node_id":"MDQ6VXNlcjcwODMxNA==","avatar_url":"https://avatars.githubusercontent.com/u/708314?v=4","gravatar_id":"","url":"https://api.github.com/users/plemey","html_url":"https://github.com/plemey","followers_url":"https://api.github.com/users/plemey/followers","following_url":"https://api.github.com/users/plemey/following{/other_user}","gists_url":"https://api.github.com/users/plemey/gists{/gist_id}","starred_url":"https://api.github.com/users/plemey/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/plemey/subscriptions","organizations_url":"https://api.github.com/users/plemey/orgs","repos_url":"https://api.github.com/users/plemey/repos","events_url":"https://api.github.com/users/plemey/events{/privacy}","received_events_url":"https://api.github.com/users/plemey/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/plemey/SARSCoV2origins","description":"A repo with supplementary material for a manuscript on the origin of SARS-CoV-2 origins","fork":false,"url":"https://api.github.com/repos/plemey/SARSCoV2origins","forks_url":"https://api.github.com/repos/plemey/SARSCoV2origins/forks","keys_url":"https://api.github.com/repos/plemey/SARSCoV2origins/keys{/key_id}","collaborators_url":"https://api.github.com/repos/plemey/SARSCoV2origins/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/plemey/SARSCoV2origins/teams","hooks_url":"https://api.github.com/repos/plemey/SARSCoV2origins/hooks","issue_events_url":"https://api.github.com/repos/plemey/SARSCoV2origins/issues/events{/number}","events_url":"https://api.github.com/repos/plemey/SARSCoV2origins/events","assignees_url":"https://api.github.com/repos/plemey/SARSCoV2origins/assignees{/user}","branches_url":"https://api.github.com/repos/plemey/SARSCoV2origins/branches{/branch}","tags_url":"https://api.github.com/repos/plemey/SARSCoV2origins/tags","blobs_url":"https://api.github.com/repos/plemey/SARSCoV2origins/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/plemey/SARSCoV2origins/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/plemey/SARSCoV2origins/git/refs{/sha}","trees_url":"https://api.github.com/repos/plemey/SARSCoV2origins/git/trees{/sha}","statuses_url":"https://api.github.com/repos/plemey/SARSCoV2origins/statuses/{sha}","languages_url":"https://api.github.com/repos/plemey/SARSCoV2origins/languages","stargazers_url":"https://api.github.com/repos/plemey/SARSCoV2origins/stargazers","contributors_url":"https://api.github.com/repos/plemey/SARSCoV2origins/contributors","subscribers_url":"https://api.github.com/repos/plemey/SARSCoV2origins/subscribers","subscription_url":"https://api.github.com/repos/plemey/SARSCoV2origins/subscription","commits_url":"https://api.github.com/repos/plemey/SARSCoV2origins/commits{/sha}","git_commits_url":"https://api.github.com/repos/plemey/SARSCoV2origins/git/commits{/sha}","comments_url":"https://api.github.com/repos/plemey/SARSCoV2origins/comments{/number}","issue_comment_url":"https://api.github.com/repos/plemey/SARSCoV2origins/issues/comments{/number}","contents_url":"https://api.github.com/repos/plemey/SARSCoV2origins/contents/{+path}","compare_url":"https://api.github.com/repos/plemey/SARSCoV2origins/compare/{base}...{head}","merges_url":"https://api.github.com/repos/plemey/SARSCoV2origins/merges","archive_url":"https://api.github.com/repos/plemey/SARSCoV2origins/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/plemey/SARSCoV2origins/downloads","issues_url":"https://api.github.com/repos/plemey/SARSCoV2origins/issues{/number}","pulls_url":"https://api.github.com/repos/plemey/SARSCoV2origins/pulls{/number}","milestones_url":"https://api.github.com/repos/plemey/SARSCoV2origins/milestones{/number}","notifications_url":"https://api.github.com/repos/plemey/SARSCoV2origins/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/plemey/SARSCoV2origins/labels{/name}","releases_url":"https://api.github.com/repos/plemey/SARSCoV2origins/releases{/id}","deployments_url":"https://api.github.com/repos/plemey/SARSCoV2origins/deployments","created_at":"2020-03-30T20:03:21Z","updated_at":"2023-09-13T10:20:52Z","pushed_at":"2020-06-26T13:36:03Z","git_url":"git://github.com/plemey/SARSCoV2origins.git","ssh_url":"git@github.com:plemey/SARSCoV2origins.git","clone_url":"https://github.com/plemey/SARSCoV2origins.git","svn_url":"https://github.com/plemey/SARSCoV2origins","homepage":null,"size":11027,"stargazers_count":11,"watchers_count":11,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":6,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":2,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":6,"open_issues":2,"watchers":11,"default_branch":"master","score":1.0},{"id":327869849,"node_id":"MDEwOlJlcG9zaXRvcnkzMjc4Njk4NDk=","name":"peepul","full_name":"fplaunchpad/peepul","private":false,"owner":{"login":"fplaunchpad","id":48549566,"node_id":"MDEyOk9yZ2FuaXphdGlvbjQ4NTQ5NTY2","avatar_url":"https://avatars.githubusercontent.com/u/48549566?v=4","gravatar_id":"","url":"https://api.github.com/users/fplaunchpad","html_url":"https://github.com/fplaunchpad","followers_url":"https://api.github.com/users/fplaunchpad/followers","following_url":"https://api.github.com/users/fplaunchpad/following{/other_user}","gists_url":"https://api.github.com/users/fplaunchpad/gists{/gist_id}","starred_url":"https://api.github.com/users/fplaunchpad/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/fplaunchpad/subscriptions","organizations_url":"https://api.github.com/users/fplaunchpad/orgs","repos_url":"https://api.github.com/users/fplaunchpad/repos","events_url":"https://api.github.com/users/fplaunchpad/events{/privacy}","received_events_url":"https://api.github.com/users/fplaunchpad/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/fplaunchpad/peepul","description":"Certified implmentations of mergeable replicated data types ","fork":false,"url":"https://api.github.com/repos/fplaunchpad/peepul","forks_url":"https://api.github.com/repos/fplaunchpad/peepul/forks","keys_url":"https://api.github.com/repos/fplaunchpad/peepul/keys{/key_id}","collaborators_url":"https://api.github.com/repos/fplaunchpad/peepul/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/fplaunchpad/peepul/teams","hooks_url":"https://api.github.com/repos/fplaunchpad/peepul/hooks","issue_events_url":"https://api.github.com/repos/fplaunchpad/peepul/issues/events{/number}","events_url":"https://api.github.com/repos/fplaunchpad/peepul/events","assignees_url":"https://api.github.com/repos/fplaunchpad/peepul/assignees{/user}","branches_url":"https://api.github.com/repos/fplaunchpad/peepul/branches{/branch}","tags_url":"https://api.github.com/repos/fplaunchpad/peepul/tags","blobs_url":"https://api.github.com/repos/fplaunchpad/peepul/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/fplaunchpad/peepul/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/fplaunchpad/peepul/git/refs{/sha}","trees_url":"https://api.github.com/repos/fplaunchpad/peepul/git/trees{/sha}","statuses_url":"https://api.github.com/repos/fplaunchpad/peepul/statuses/{sha}","languages_url":"https://api.github.com/repos/fplaunchpad/peepul/languages","stargazers_url":"https://api.github.com/repos/fplaunchpad/peepul/stargazers","contributors_url":"https://api.github.com/repos/fplaunchpad/peepul/contributors","subscribers_url":"https://api.github.com/repos/fplaunchpad/peepul/subscribers","subscription_url":"https://api.github.com/repos/fplaunchpad/peepul/subscription","commits_url":"https://api.github.com/repos/fplaunchpad/peepul/commits{/sha}","git_commits_url":"https://api.github.com/repos/fplaunchpad/peepul/git/commits{/sha}","comments_url":"https://api.github.com/repos/fplaunchpad/peepul/comments{/number}","issue_comment_url":"https://api.github.com/repos/fplaunchpad/peepul/issues/comments{/number}","contents_url":"https://api.github.com/repos/fplaunchpad/peepul/contents/{+path}","compare_url":"https://api.github.com/repos/fplaunchpad/peepul/compare/{base}...{head}","merges_url":"https://api.github.com/repos/fplaunchpad/peepul/merges","archive_url":"https://api.github.com/repos/fplaunchpad/peepul/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/fplaunchpad/peepul/downloads","issues_url":"https://api.github.com/repos/fplaunchpad/peepul/issues{/number}","pulls_url":"https://api.github.com/repos/fplaunchpad/peepul/pulls{/number}","milestones_url":"https://api.github.com/repos/fplaunchpad/peepul/milestones{/number}","notifications_url":"https://api.github.com/repos/fplaunchpad/peepul/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/fplaunchpad/peepul/labels{/name}","releases_url":"https://api.github.com/repos/fplaunchpad/peepul/releases{/id}","deployments_url":"https://api.github.com/repos/fplaunchpad/peepul/deployments","created_at":"2021-01-08T10:23:41Z","updated_at":"2025-05-23T16:59:51Z","pushed_at":"2022-10-13T16:40:08Z","git_url":"git://github.com/fplaunchpad/peepul.git","ssh_url":"git@github.com:fplaunchpad/peepul.git","clone_url":"https://github.com/fplaunchpad/peepul.git","svn_url":"https://github.com/fplaunchpad/peepul","homepage":null,"size":3650,"stargazers_count":9,"watchers_count":9,"language":"F*","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":2,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":2,"open_issues":1,"watchers":9,"default_branch":"main","score":1.0}]}