{"total_count":250,"incomplete_results":false,"items":[{"id":1767200,"node_id":"MDEwOlJlcG9zaXRvcnkxNzY3MjAw","name":"ecere-sdk","full_name":"ecere/ecere-sdk","private":false,"owner":{"login":"ecere","id":796320,"node_id":"MDEyOk9yZ2FuaXphdGlvbjc5NjMyMA==","avatar_url":"https://avatars.githubusercontent.com/u/796320?v=4","gravatar_id":"","url":"https://api.github.com/users/ecere","html_url":"https://github.com/ecere","followers_url":"https://api.github.com/users/ecere/followers","following_url":"https://api.github.com/users/ecere/following{/other_user}","gists_url":"https://api.github.com/users/ecere/gists{/gist_id}","starred_url":"https://api.github.com/users/ecere/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ecere/subscriptions","organizations_url":"https://api.github.com/users/ecere/orgs","repos_url":"https://api.github.com/users/ecere/repos","events_url":"https://api.github.com/users/ecere/events{/privacy}","received_events_url":"https://api.github.com/users/ecere/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/ecere/ecere-sdk","description":"Ecere SDK (eC Language, Ecere IDE, Cross platform GUI, graphics, and more) — http://ec-lang.org — ","fork":false,"url":"https://api.github.com/repos/ecere/ecere-sdk","forks_url":"https://api.github.com/repos/ecere/ecere-sdk/forks","keys_url":"https://api.github.com/repos/ecere/ecere-sdk/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ecere/ecere-sdk/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ecere/ecere-sdk/teams","hooks_url":"https://api.github.com/repos/ecere/ecere-sdk/hooks","issue_events_url":"https://api.github.com/repos/ecere/ecere-sdk/issues/events{/number}","events_url":"https://api.github.com/repos/ecere/ecere-sdk/events","assignees_url":"https://api.github.com/repos/ecere/ecere-sdk/assignees{/user}","branches_url":"https://api.github.com/repos/ecere/ecere-sdk/branches{/branch}","tags_url":"https://api.github.com/repos/ecere/ecere-sdk/tags","blobs_url":"https://api.github.com/repos/ecere/ecere-sdk/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ecere/ecere-sdk/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ecere/ecere-sdk/git/refs{/sha}","trees_url":"https://api.github.com/repos/ecere/ecere-sdk/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ecere/ecere-sdk/statuses/{sha}","languages_url":"https://api.github.com/repos/ecere/ecere-sdk/languages","stargazers_url":"https://api.github.com/repos/ecere/ecere-sdk/stargazers","contributors_url":"https://api.github.com/repos/ecere/ecere-sdk/contributors","subscribers_url":"https://api.github.com/repos/ecere/ecere-sdk/subscribers","subscription_url":"https://api.github.com/repos/ecere/ecere-sdk/subscription","commits_url":"https://api.github.com/repos/ecere/ecere-sdk/commits{/sha}","git_commits_url":"https://api.github.com/repos/ecere/ecere-sdk/git/commits{/sha}","comments_url":"https://api.github.com/repos/ecere/ecere-sdk/comments{/number}","issue_comment_url":"https://api.github.com/repos/ecere/ecere-sdk/issues/comments{/number}","contents_url":"https://api.github.com/repos/ecere/ecere-sdk/contents/{+path}","compare_url":"https://api.github.com/repos/ecere/ecere-sdk/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ecere/ecere-sdk/merges","archive_url":"https://api.github.com/repos/ecere/ecere-sdk/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ecere/ecere-sdk/downloads","issues_url":"https://api.github.com/repos/ecere/ecere-sdk/issues{/number}","pulls_url":"https://api.github.com/repos/ecere/ecere-sdk/pulls{/number}","milestones_url":"https://api.github.com/repos/ecere/ecere-sdk/milestones{/number}","notifications_url":"https://api.github.com/repos/ecere/ecere-sdk/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ecere/ecere-sdk/labels{/name}","releases_url":"https://api.github.com/repos/ecere/ecere-sdk/releases{/id}","deployments_url":"https://api.github.com/repos/ecere/ecere-sdk/deployments","created_at":"2011-05-18T17:26:42Z","updated_at":"2026-06-06T19:42:38Z","pushed_at":"2026-06-06T19:42:34Z","git_url":"git://github.com/ecere/ecere-sdk.git","ssh_url":"git@github.com:ecere/ecere-sdk.git","clone_url":"https://github.com/ecere/ecere-sdk.git","svn_url":"https://github.com/ecere/ecere-sdk","homepage":"http://ecere.org","size":123339,"stargazers_count":395,"watchers_count":395,"language":"eC","has_issues":false,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":108,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":8,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["3d-graphics-engine","android","binding-generator","cross-platform","cross-platform-development","cross-platform-gui","cross-platform-ide","ec","ec-language","game-engine","gui-toolkit","hololens","ide","magicleap","programming-language","sdk","vr"],"visibility":"public","forks":108,"open_issues":8,"watchers":395,"default_branch":"latest","score":1.0},{"id":37768567,"node_id":"MDEwOlJlcG9zaXRvcnkzNzc2ODU2Nw==","name":"SHIM","full_name":"ShimProfiler/SHIM","private":false,"owner":{"login":"ShimProfiler","id":12102388,"node_id":"MDQ6VXNlcjEyMTAyMzg4","avatar_url":"https://avatars.githubusercontent.com/u/12102388?v=4","gravatar_id":"","url":"https://api.github.com/users/ShimProfiler","html_url":"https://github.com/ShimProfiler","followers_url":"https://api.github.com/users/ShimProfiler/followers","following_url":"https://api.github.com/users/ShimProfiler/following{/other_user}","gists_url":"https://api.github.com/users/ShimProfiler/gists{/gist_id}","starred_url":"https://api.github.com/users/ShimProfiler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ShimProfiler/subscriptions","organizations_url":"https://api.github.com/users/ShimProfiler/orgs","repos_url":"https://api.github.com/users/ShimProfiler/repos","events_url":"https://api.github.com/users/ShimProfiler/events{/privacy}","received_events_url":"https://api.github.com/users/ShimProfiler/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/ShimProfiler/SHIM","description":null,"fork":false,"url":"https://api.github.com/repos/ShimProfiler/SHIM","forks_url":"https://api.github.com/repos/ShimProfiler/SHIM/forks","keys_url":"https://api.github.com/repos/ShimProfiler/SHIM/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ShimProfiler/SHIM/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ShimProfiler/SHIM/teams","hooks_url":"https://api.github.com/repos/ShimProfiler/SHIM/hooks","issue_events_url":"https://api.github.com/repos/ShimProfiler/SHIM/issues/events{/number}","events_url":"https://api.github.com/repos/ShimProfiler/SHIM/events","assignees_url":"https://api.github.com/repos/ShimProfiler/SHIM/assignees{/user}","branches_url":"https://api.github.com/repos/ShimProfiler/SHIM/branches{/branch}","tags_url":"https://api.github.com/repos/ShimProfiler/SHIM/tags","blobs_url":"https://api.github.com/repos/ShimProfiler/SHIM/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ShimProfiler/SHIM/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ShimProfiler/SHIM/git/refs{/sha}","trees_url":"https://api.github.com/repos/ShimProfiler/SHIM/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ShimProfiler/SHIM/statuses/{sha}","languages_url":"https://api.github.com/repos/ShimProfiler/SHIM/languages","stargazers_url":"https://api.github.com/repos/ShimProfiler/SHIM/stargazers","contributors_url":"https://api.github.com/repos/ShimProfiler/SHIM/contributors","subscribers_url":"https://api.github.com/repos/ShimProfiler/SHIM/subscribers","subscription_url":"https://api.github.com/repos/ShimProfiler/SHIM/subscription","commits_url":"https://api.github.com/repos/ShimProfiler/SHIM/commits{/sha}","git_commits_url":"https://api.github.com/repos/ShimProfiler/SHIM/git/commits{/sha}","comments_url":"https://api.github.com/repos/ShimProfiler/SHIM/comments{/number}","issue_comment_url":"https://api.github.com/repos/ShimProfiler/SHIM/issues/comments{/number}","contents_url":"https://api.github.com/repos/ShimProfiler/SHIM/contents/{+path}","compare_url":"https://api.github.com/repos/ShimProfiler/SHIM/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ShimProfiler/SHIM/merges","archive_url":"https://api.github.com/repos/ShimProfiler/SHIM/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ShimProfiler/SHIM/downloads","issues_url":"https://api.github.com/repos/ShimProfiler/SHIM/issues{/number}","pulls_url":"https://api.github.com/repos/ShimProfiler/SHIM/pulls{/number}","milestones_url":"https://api.github.com/repos/ShimProfiler/SHIM/milestones{/number}","notifications_url":"https://api.github.com/repos/ShimProfiler/SHIM/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ShimProfiler/SHIM/labels{/name}","releases_url":"https://api.github.com/repos/ShimProfiler/SHIM/releases{/id}","deployments_url":"https://api.github.com/repos/ShimProfiler/SHIM/deployments","created_at":"2015-06-20T12:08:03Z","updated_at":"2026-02-18T04:58:24Z","pushed_at":"2015-06-26T02:06:47Z","git_url":"git://github.com/ShimProfiler/SHIM.git","ssh_url":"git@github.com:ShimProfiler/SHIM.git","clone_url":"https://github.com/ShimProfiler/SHIM.git","svn_url":"https://github.com/ShimProfiler/SHIM","homepage":null,"size":2991,"stargazers_count":56,"watchers_count":56,"language":"eC","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":0,"license":{"key":"gpl-2.0","name":"GNU General Public License v2.0","spdx_id":"GPL-2.0","url":"https://api.github.com/licenses/gpl-2.0","node_id":"MDc6TGljZW5zZTg="},"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":0,"watchers":56,"default_branch":"master","score":1.0},{"id":925398097,"node_id":"R_kgDONyh0UQ","name":"dggal","full_name":"ecere/dggal","private":false,"owner":{"login":"ecere","id":796320,"node_id":"MDEyOk9yZ2FuaXphdGlvbjc5NjMyMA==","avatar_url":"https://avatars.githubusercontent.com/u/796320?v=4","gravatar_id":"","url":"https://api.github.com/users/ecere","html_url":"https://github.com/ecere","followers_url":"https://api.github.com/users/ecere/followers","following_url":"https://api.github.com/users/ecere/following{/other_user}","gists_url":"https://api.github.com/users/ecere/gists{/gist_id}","starred_url":"https://api.github.com/users/ecere/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ecere/subscriptions","organizations_url":"https://api.github.com/users/ecere/orgs","repos_url":"https://api.github.com/users/ecere/repos","events_url":"https://api.github.com/users/ecere/events{/privacy}","received_events_url":"https://api.github.com/users/ecere/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/ecere/dggal","description":"Discrete Global Grid Abstraction Library","fork":false,"url":"https://api.github.com/repos/ecere/dggal","forks_url":"https://api.github.com/repos/ecere/dggal/forks","keys_url":"https://api.github.com/repos/ecere/dggal/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ecere/dggal/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ecere/dggal/teams","hooks_url":"https://api.github.com/repos/ecere/dggal/hooks","issue_events_url":"https://api.github.com/repos/ecere/dggal/issues/events{/number}","events_url":"https://api.github.com/repos/ecere/dggal/events","assignees_url":"https://api.github.com/repos/ecere/dggal/assignees{/user}","branches_url":"https://api.github.com/repos/ecere/dggal/branches{/branch}","tags_url":"https://api.github.com/repos/ecere/dggal/tags","blobs_url":"https://api.github.com/repos/ecere/dggal/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ecere/dggal/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ecere/dggal/git/refs{/sha}","trees_url":"https://api.github.com/repos/ecere/dggal/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ecere/dggal/statuses/{sha}","languages_url":"https://api.github.com/repos/ecere/dggal/languages","stargazers_url":"https://api.github.com/repos/ecere/dggal/stargazers","contributors_url":"https://api.github.com/repos/ecere/dggal/contributors","subscribers_url":"https://api.github.com/repos/ecere/dggal/subscribers","subscription_url":"https://api.github.com/repos/ecere/dggal/subscription","commits_url":"https://api.github.com/repos/ecere/dggal/commits{/sha}","git_commits_url":"https://api.github.com/repos/ecere/dggal/git/commits{/sha}","comments_url":"https://api.github.com/repos/ecere/dggal/comments{/number}","issue_comment_url":"https://api.github.com/repos/ecere/dggal/issues/comments{/number}","contents_url":"https://api.github.com/repos/ecere/dggal/contents/{+path}","compare_url":"https://api.github.com/repos/ecere/dggal/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ecere/dggal/merges","archive_url":"https://api.github.com/repos/ecere/dggal/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ecere/dggal/downloads","issues_url":"https://api.github.com/repos/ecere/dggal/issues{/number}","pulls_url":"https://api.github.com/repos/ecere/dggal/pulls{/number}","milestones_url":"https://api.github.com/repos/ecere/dggal/milestones{/number}","notifications_url":"https://api.github.com/repos/ecere/dggal/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ecere/dggal/labels{/name}","releases_url":"https://api.github.com/repos/ecere/dggal/releases{/id}","deployments_url":"https://api.github.com/repos/ecere/dggal/deployments","created_at":"2025-01-31T19:58:58Z","updated_at":"2026-05-13T16:28:04Z","pushed_at":"2026-04-02T01:08:29Z","git_url":"git://github.com/ecere/dggal.git","ssh_url":"git@github.com:ecere/dggal.git","clone_url":"https://github.com/ecere/dggal.git","svn_url":"https://github.com/ecere/dggal","homepage":"https://dggal.org","size":10411,"stargazers_count":49,"watchers_count":49,"language":"eC","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":"bsd-3-clause","name":"BSD 3-Clause \"New\" or \"Revised\" License","spdx_id":"BSD-3-Clause","url":"https://api.github.com/licenses/bsd-3-clause","node_id":"MDc6TGljZW5zZTU="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["dggs","geospatial","global-grid","gnosis","hexagonal-grids","isea","isea3h","isea9r","ogc","rhombic-grids"],"visibility":"public","forks":6,"open_issues":1,"watchers":49,"default_branch":"main","score":1.0},{"id":127369383,"node_id":"MDEwOlJlcG9zaXRvcnkxMjczNjkzODM=","name":"EasyTeach","full_name":"alleystoughton/EasyTeach","private":false,"owner":{"login":"alleystoughton","id":9660498,"node_id":"MDQ6VXNlcjk2NjA0OTg=","avatar_url":"https://avatars.githubusercontent.com/u/9660498?v=4","gravatar_id":"","url":"https://api.github.com/users/alleystoughton","html_url":"https://github.com/alleystoughton","followers_url":"https://api.github.com/users/alleystoughton/followers","following_url":"https://api.github.com/users/alleystoughton/following{/other_user}","gists_url":"https://api.github.com/users/alleystoughton/gists{/gist_id}","starred_url":"https://api.github.com/users/alleystoughton/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/alleystoughton/subscriptions","organizations_url":"https://api.github.com/users/alleystoughton/orgs","repos_url":"https://api.github.com/users/alleystoughton/repos","events_url":"https://api.github.com/users/alleystoughton/events{/privacy}","received_events_url":"https://api.github.com/users/alleystoughton/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/alleystoughton/EasyTeach","description":"Examples for EasyCrypt Lectures","fork":false,"url":"https://api.github.com/repos/alleystoughton/EasyTeach","forks_url":"https://api.github.com/repos/alleystoughton/EasyTeach/forks","keys_url":"https://api.github.com/repos/alleystoughton/EasyTeach/keys{/key_id}","collaborators_url":"https://api.github.com/repos/alleystoughton/EasyTeach/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/alleystoughton/EasyTeach/teams","hooks_url":"https://api.github.com/repos/alleystoughton/EasyTeach/hooks","issue_events_url":"https://api.github.com/repos/alleystoughton/EasyTeach/issues/events{/number}","events_url":"https://api.github.com/repos/alleystoughton/EasyTeach/events","assignees_url":"https://api.github.com/repos/alleystoughton/EasyTeach/assignees{/user}","branches_url":"https://api.github.com/repos/alleystoughton/EasyTeach/branches{/branch}","tags_url":"https://api.github.com/repos/alleystoughton/EasyTeach/tags","blobs_url":"https://api.github.com/repos/alleystoughton/EasyTeach/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/alleystoughton/EasyTeach/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/alleystoughton/EasyTeach/git/refs{/sha}","trees_url":"https://api.github.com/repos/alleystoughton/EasyTeach/git/trees{/sha}","statuses_url":"https://api.github.com/repos/alleystoughton/EasyTeach/statuses/{sha}","languages_url":"https://api.github.com/repos/alleystoughton/EasyTeach/languages","stargazers_url":"https://api.github.com/repos/alleystoughton/EasyTeach/stargazers","contributors_url":"https://api.github.com/repos/alleystoughton/EasyTeach/contributors","subscribers_url":"https://api.github.com/repos/alleystoughton/EasyTeach/subscribers","subscription_url":"https://api.github.com/repos/alleystoughton/EasyTeach/subscription","commits_url":"https://api.github.com/repos/alleystoughton/EasyTeach/commits{/sha}","git_commits_url":"https://api.github.com/repos/alleystoughton/EasyTeach/git/commits{/sha}","comments_url":"https://api.github.com/repos/alleystoughton/EasyTeach/comments{/number}","issue_comment_url":"https://api.github.com/repos/alleystoughton/EasyTeach/issues/comments{/number}","contents_url":"https://api.github.com/repos/alleystoughton/EasyTeach/contents/{+path}","compare_url":"https://api.github.com/repos/alleystoughton/EasyTeach/compare/{base}...{head}","merges_url":"https://api.github.com/repos/alleystoughton/EasyTeach/merges","archive_url":"https://api.github.com/repos/alleystoughton/EasyTeach/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/alleystoughton/EasyTeach/downloads","issues_url":"https://api.github.com/repos/alleystoughton/EasyTeach/issues{/number}","pulls_url":"https://api.github.com/repos/alleystoughton/EasyTeach/pulls{/number}","milestones_url":"https://api.github.com/repos/alleystoughton/EasyTeach/milestones{/number}","notifications_url":"https://api.github.com/repos/alleystoughton/EasyTeach/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/alleystoughton/EasyTeach/labels{/name}","releases_url":"https://api.github.com/repos/alleystoughton/EasyTeach/releases{/id}","deployments_url":"https://api.github.com/repos/alleystoughton/EasyTeach/deployments","created_at":"2018-03-30T02:10:15Z","updated_at":"2026-04-08T06:10:23Z","pushed_at":"2026-01-28T23:34:45Z","git_url":"git://github.com/alleystoughton/EasyTeach.git","ssh_url":"git@github.com:alleystoughton/EasyTeach.git","clone_url":"https://github.com/alleystoughton/EasyTeach.git","svn_url":"https://github.com/alleystoughton/EasyTeach","homepage":null,"size":150,"stargazers_count":29,"watchers_count":29,"language":"eC","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":6,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":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":0,"watchers":29,"default_branch":"master","score":1.0},{"id":153543357,"node_id":"MDEwOlJlcG9zaXRvcnkxNTM1NDMzNTc=","name":"libjc","full_name":"tfaoliveira/libjc","private":false,"owner":{"login":"tfaoliveira","id":148360,"node_id":"MDQ6VXNlcjE0ODM2MA==","avatar_url":"https://avatars.githubusercontent.com/u/148360?v=4","gravatar_id":"","url":"https://api.github.com/users/tfaoliveira","html_url":"https://github.com/tfaoliveira","followers_url":"https://api.github.com/users/tfaoliveira/followers","following_url":"https://api.github.com/users/tfaoliveira/following{/other_user}","gists_url":"https://api.github.com/users/tfaoliveira/gists{/gist_id}","starred_url":"https://api.github.com/users/tfaoliveira/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tfaoliveira/subscriptions","organizations_url":"https://api.github.com/users/tfaoliveira/orgs","repos_url":"https://api.github.com/users/tfaoliveira/repos","events_url":"https://api.github.com/users/tfaoliveira/events{/privacy}","received_events_url":"https://api.github.com/users/tfaoliveira/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/tfaoliveira/libjc","description":null,"fork":false,"url":"https://api.github.com/repos/tfaoliveira/libjc","forks_url":"https://api.github.com/repos/tfaoliveira/libjc/forks","keys_url":"https://api.github.com/repos/tfaoliveira/libjc/keys{/key_id}","collaborators_url":"https://api.github.com/repos/tfaoliveira/libjc/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/tfaoliveira/libjc/teams","hooks_url":"https://api.github.com/repos/tfaoliveira/libjc/hooks","issue_events_url":"https://api.github.com/repos/tfaoliveira/libjc/issues/events{/number}","events_url":"https://api.github.com/repos/tfaoliveira/libjc/events","assignees_url":"https://api.github.com/repos/tfaoliveira/libjc/assignees{/user}","branches_url":"https://api.github.com/repos/tfaoliveira/libjc/branches{/branch}","tags_url":"https://api.github.com/repos/tfaoliveira/libjc/tags","blobs_url":"https://api.github.com/repos/tfaoliveira/libjc/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/tfaoliveira/libjc/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/tfaoliveira/libjc/git/refs{/sha}","trees_url":"https://api.github.com/repos/tfaoliveira/libjc/git/trees{/sha}","statuses_url":"https://api.github.com/repos/tfaoliveira/libjc/statuses/{sha}","languages_url":"https://api.github.com/repos/tfaoliveira/libjc/languages","stargazers_url":"https://api.github.com/repos/tfaoliveira/libjc/stargazers","contributors_url":"https://api.github.com/repos/tfaoliveira/libjc/contributors","subscribers_url":"https://api.github.com/repos/tfaoliveira/libjc/subscribers","subscription_url":"https://api.github.com/repos/tfaoliveira/libjc/subscription","commits_url":"https://api.github.com/repos/tfaoliveira/libjc/commits{/sha}","git_commits_url":"https://api.github.com/repos/tfaoliveira/libjc/git/commits{/sha}","comments_url":"https://api.github.com/repos/tfaoliveira/libjc/comments{/number}","issue_comment_url":"https://api.github.com/repos/tfaoliveira/libjc/issues/comments{/number}","contents_url":"https://api.github.com/repos/tfaoliveira/libjc/contents/{+path}","compare_url":"https://api.github.com/repos/tfaoliveira/libjc/compare/{base}...{head}","merges_url":"https://api.github.com/repos/tfaoliveira/libjc/merges","archive_url":"https://api.github.com/repos/tfaoliveira/libjc/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/tfaoliveira/libjc/downloads","issues_url":"https://api.github.com/repos/tfaoliveira/libjc/issues{/number}","pulls_url":"https://api.github.com/repos/tfaoliveira/libjc/pulls{/number}","milestones_url":"https://api.github.com/repos/tfaoliveira/libjc/milestones{/number}","notifications_url":"https://api.github.com/repos/tfaoliveira/libjc/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/tfaoliveira/libjc/labels{/name}","releases_url":"https://api.github.com/repos/tfaoliveira/libjc/releases{/id}","deployments_url":"https://api.github.com/repos/tfaoliveira/libjc/deployments","created_at":"2018-10-18T01:03:51Z","updated_at":"2025-09-06T19:47:54Z","pushed_at":"2022-12-16T11:11:38Z","git_url":"git://github.com/tfaoliveira/libjc.git","ssh_url":"git@github.com:tfaoliveira/libjc.git","clone_url":"https://github.com/tfaoliveira/libjc.git","svn_url":"https://github.com/tfaoliveira/libjc","homepage":null,"size":3462,"stargazers_count":21,"watchers_count":21,"language":"eC","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":3,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":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":1,"watchers":21,"default_branch":"master","score":1.0},{"id":592771668,"node_id":"R_kgDOI1T6VA","name":"formosa-mlkem","full_name":"formosa-crypto/formosa-mlkem","private":false,"owner":{"login":"formosa-crypto","id":97531098,"node_id":"O_kgDOBdA02g","avatar_url":"https://avatars.githubusercontent.com/u/97531098?v=4","gravatar_id":"","url":"https://api.github.com/users/formosa-crypto","html_url":"https://github.com/formosa-crypto","followers_url":"https://api.github.com/users/formosa-crypto/followers","following_url":"https://api.github.com/users/formosa-crypto/following{/other_user}","gists_url":"https://api.github.com/users/formosa-crypto/gists{/gist_id}","starred_url":"https://api.github.com/users/formosa-crypto/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/formosa-crypto/subscriptions","organizations_url":"https://api.github.com/users/formosa-crypto/orgs","repos_url":"https://api.github.com/users/formosa-crypto/repos","events_url":"https://api.github.com/users/formosa-crypto/events{/privacy}","received_events_url":"https://api.github.com/users/formosa-crypto/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/formosa-crypto/formosa-mlkem","description":null,"fork":false,"url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem","forks_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/forks","keys_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/keys{/key_id}","collaborators_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/teams","hooks_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/hooks","issue_events_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/issues/events{/number}","events_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/events","assignees_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/assignees{/user}","branches_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/branches{/branch}","tags_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/tags","blobs_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/git/refs{/sha}","trees_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/git/trees{/sha}","statuses_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/statuses/{sha}","languages_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/languages","stargazers_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/stargazers","contributors_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/contributors","subscribers_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/subscribers","subscription_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/subscription","commits_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/commits{/sha}","git_commits_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/git/commits{/sha}","comments_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/comments{/number}","issue_comment_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/issues/comments{/number}","contents_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/contents/{+path}","compare_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/compare/{base}...{head}","merges_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/merges","archive_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/downloads","issues_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/issues{/number}","pulls_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/pulls{/number}","milestones_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/milestones{/number}","notifications_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/labels{/name}","releases_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/releases{/id}","deployments_url":"https://api.github.com/repos/formosa-crypto/formosa-mlkem/deployments","created_at":"2023-01-24T13:59:48Z","updated_at":"2026-05-26T14:29:29Z","pushed_at":"2026-06-03T21:26:11Z","git_url":"git://github.com/formosa-crypto/formosa-mlkem.git","ssh_url":"git@github.com:formosa-crypto/formosa-mlkem.git","clone_url":"https://github.com/formosa-crypto/formosa-mlkem.git","svn_url":"https://github.com/formosa-crypto/formosa-mlkem","homepage":null,"size":7463,"stargazers_count":19,"watchers_count":19,"language":"eC","has_issues":true,"has_projects":false,"has_downloads":true,"has_wiki":false,"has_pages":true,"has_discussions":false,"forks_count":12,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":5,"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":5,"watchers":19,"default_branch":"main","score":1.0},{"id":11276,"node_id":"MDEwOlJlcG9zaXRvcnkxMTI3Ng==","name":"ruby-informix","full_name":"santana/ruby-informix","private":false,"owner":{"login":"santana","id":7518,"node_id":"MDQ6VXNlcjc1MTg=","avatar_url":"https://avatars.githubusercontent.com/u/7518?v=4","gravatar_id":"","url":"https://api.github.com/users/santana","html_url":"https://github.com/santana","followers_url":"https://api.github.com/users/santana/followers","following_url":"https://api.github.com/users/santana/following{/other_user}","gists_url":"https://api.github.com/users/santana/gists{/gist_id}","starred_url":"https://api.github.com/users/santana/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/santana/subscriptions","organizations_url":"https://api.github.com/users/santana/orgs","repos_url":"https://api.github.com/users/santana/repos","events_url":"https://api.github.com/users/santana/events{/privacy}","received_events_url":"https://api.github.com/users/santana/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/santana/ruby-informix","description":"Ruby library for IBM Informix","fork":false,"url":"https://api.github.com/repos/santana/ruby-informix","forks_url":"https://api.github.com/repos/santana/ruby-informix/forks","keys_url":"https://api.github.com/repos/santana/ruby-informix/keys{/key_id}","collaborators_url":"https://api.github.com/repos/santana/ruby-informix/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/santana/ruby-informix/teams","hooks_url":"https://api.github.com/repos/santana/ruby-informix/hooks","issue_events_url":"https://api.github.com/repos/santana/ruby-informix/issues/events{/number}","events_url":"https://api.github.com/repos/santana/ruby-informix/events","assignees_url":"https://api.github.com/repos/santana/ruby-informix/assignees{/user}","branches_url":"https://api.github.com/repos/santana/ruby-informix/branches{/branch}","tags_url":"https://api.github.com/repos/santana/ruby-informix/tags","blobs_url":"https://api.github.com/repos/santana/ruby-informix/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/santana/ruby-informix/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/santana/ruby-informix/git/refs{/sha}","trees_url":"https://api.github.com/repos/santana/ruby-informix/git/trees{/sha}","statuses_url":"https://api.github.com/repos/santana/ruby-informix/statuses/{sha}","languages_url":"https://api.github.com/repos/santana/ruby-informix/languages","stargazers_url":"https://api.github.com/repos/santana/ruby-informix/stargazers","contributors_url":"https://api.github.com/repos/santana/ruby-informix/contributors","subscribers_url":"https://api.github.com/repos/santana/ruby-informix/subscribers","subscription_url":"https://api.github.com/repos/santana/ruby-informix/subscription","commits_url":"https://api.github.com/repos/santana/ruby-informix/commits{/sha}","git_commits_url":"https://api.github.com/repos/santana/ruby-informix/git/commits{/sha}","comments_url":"https://api.github.com/repos/santana/ruby-informix/comments{/number}","issue_comment_url":"https://api.github.com/repos/santana/ruby-informix/issues/comments{/number}","contents_url":"https://api.github.com/repos/santana/ruby-informix/contents/{+path}","compare_url":"https://api.github.com/repos/santana/ruby-informix/compare/{base}...{head}","merges_url":"https://api.github.com/repos/santana/ruby-informix/merges","archive_url":"https://api.github.com/repos/santana/ruby-informix/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/santana/ruby-informix/downloads","issues_url":"https://api.github.com/repos/santana/ruby-informix/issues{/number}","pulls_url":"https://api.github.com/repos/santana/ruby-informix/pulls{/number}","milestones_url":"https://api.github.com/repos/santana/ruby-informix/milestones{/number}","notifications_url":"https://api.github.com/repos/santana/ruby-informix/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/santana/ruby-informix/labels{/name}","releases_url":"https://api.github.com/repos/santana/ruby-informix/releases{/id}","deployments_url":"https://api.github.com/repos/santana/ruby-informix/deployments","created_at":"2008-04-20T03:16:01Z","updated_at":"2025-09-06T19:48:03Z","pushed_at":"2017-04-26T21:56:23Z","git_url":"git://github.com/santana/ruby-informix.git","ssh_url":"git@github.com:santana/ruby-informix.git","clone_url":"https://github.com/santana/ruby-informix.git","svn_url":"https://github.com/santana/ruby-informix","homepage":"http://ruby-informix.rubyforge.org","size":241,"stargazers_count":19,"watchers_count":19,"language":"eC","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":2,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["informix","ruby","ruby-library"],"visibility":"public","forks":7,"open_issues":2,"watchers":19,"default_branch":"master","score":1.0},{"id":1778460,"node_id":"MDEwOlJlcG9zaXRvcnkxNzc4NDYw","name":"fractals","full_name":"ecere/fractals","private":false,"owner":{"login":"ecere","id":796320,"node_id":"MDEyOk9yZ2FuaXphdGlvbjc5NjMyMA==","avatar_url":"https://avatars.githubusercontent.com/u/796320?v=4","gravatar_id":"","url":"https://api.github.com/users/ecere","html_url":"https://github.com/ecere","followers_url":"https://api.github.com/users/ecere/followers","following_url":"https://api.github.com/users/ecere/following{/other_user}","gists_url":"https://api.github.com/users/ecere/gists{/gist_id}","starred_url":"https://api.github.com/users/ecere/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ecere/subscriptions","organizations_url":"https://api.github.com/users/ecere/orgs","repos_url":"https://api.github.com/users/ecere/repos","events_url":"https://api.github.com/users/ecere/events{/privacy}","received_events_url":"https://api.github.com/users/ecere/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/ecere/fractals","description":"Ecere Fractals Explorer","fork":false,"url":"https://api.github.com/repos/ecere/fractals","forks_url":"https://api.github.com/repos/ecere/fractals/forks","keys_url":"https://api.github.com/repos/ecere/fractals/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ecere/fractals/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ecere/fractals/teams","hooks_url":"https://api.github.com/repos/ecere/fractals/hooks","issue_events_url":"https://api.github.com/repos/ecere/fractals/issues/events{/number}","events_url":"https://api.github.com/repos/ecere/fractals/events","assignees_url":"https://api.github.com/repos/ecere/fractals/assignees{/user}","branches_url":"https://api.github.com/repos/ecere/fractals/branches{/branch}","tags_url":"https://api.github.com/repos/ecere/fractals/tags","blobs_url":"https://api.github.com/repos/ecere/fractals/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ecere/fractals/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ecere/fractals/git/refs{/sha}","trees_url":"https://api.github.com/repos/ecere/fractals/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ecere/fractals/statuses/{sha}","languages_url":"https://api.github.com/repos/ecere/fractals/languages","stargazers_url":"https://api.github.com/repos/ecere/fractals/stargazers","contributors_url":"https://api.github.com/repos/ecere/fractals/contributors","subscribers_url":"https://api.github.com/repos/ecere/fractals/subscribers","subscription_url":"https://api.github.com/repos/ecere/fractals/subscription","commits_url":"https://api.github.com/repos/ecere/fractals/commits{/sha}","git_commits_url":"https://api.github.com/repos/ecere/fractals/git/commits{/sha}","comments_url":"https://api.github.com/repos/ecere/fractals/comments{/number}","issue_comment_url":"https://api.github.com/repos/ecere/fractals/issues/comments{/number}","contents_url":"https://api.github.com/repos/ecere/fractals/contents/{+path}","compare_url":"https://api.github.com/repos/ecere/fractals/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ecere/fractals/merges","archive_url":"https://api.github.com/repos/ecere/fractals/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ecere/fractals/downloads","issues_url":"https://api.github.com/repos/ecere/fractals/issues{/number}","pulls_url":"https://api.github.com/repos/ecere/fractals/pulls{/number}","milestones_url":"https://api.github.com/repos/ecere/fractals/milestones{/number}","notifications_url":"https://api.github.com/repos/ecere/fractals/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ecere/fractals/labels{/name}","releases_url":"https://api.github.com/repos/ecere/fractals/releases{/id}","deployments_url":"https://api.github.com/repos/ecere/fractals/deployments","created_at":"2011-05-20T21:11:45Z","updated_at":"2025-09-06T19:47:17Z","pushed_at":"2011-05-20T21:11:56Z","git_url":"git://github.com/ecere/fractals.git","ssh_url":"git@github.com:ecere/fractals.git","clone_url":"https://github.com/ecere/fractals.git","svn_url":"https://github.com/ecere/fractals","homepage":"http://ecere.org/software/#utilities","size":93,"stargazers_count":12,"watchers_count":12,"language":"eC","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":3,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"bsd-3-clause","name":"BSD 3-Clause \"New\" or \"Revised\" License","spdx_id":"BSD-3-Clause","url":"https://api.github.com/licenses/bsd-3-clause","node_id":"MDc6TGljZW5zZTU="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":3,"open_issues":0,"watchers":12,"default_branch":"master","score":1.0},{"id":327677202,"node_id":"MDEwOlJlcG9zaXRvcnkzMjc2NzcyMDI=","name":"high-assurance-crypto","full_name":"SRI-CSL/high-assurance-crypto","private":false,"owner":{"login":"SRI-CSL","id":8029212,"node_id":"MDEyOk9yZ2FuaXphdGlvbjgwMjkyMTI=","avatar_url":"https://avatars.githubusercontent.com/u/8029212?v=4","gravatar_id":"","url":"https://api.github.com/users/SRI-CSL","html_url":"https://github.com/SRI-CSL","followers_url":"https://api.github.com/users/SRI-CSL/followers","following_url":"https://api.github.com/users/SRI-CSL/following{/other_user}","gists_url":"https://api.github.com/users/SRI-CSL/gists{/gist_id}","starred_url":"https://api.github.com/users/SRI-CSL/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SRI-CSL/subscriptions","organizations_url":"https://api.github.com/users/SRI-CSL/orgs","repos_url":"https://api.github.com/users/SRI-CSL/repos","events_url":"https://api.github.com/users/SRI-CSL/events{/privacy}","received_events_url":"https://api.github.com/users/SRI-CSL/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/SRI-CSL/high-assurance-crypto","description":"This repository contains software for projects focusing on computer-aided verification of (distributed) cryptographic protocols and algorithms.","fork":false,"url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto","forks_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/forks","keys_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/keys{/key_id}","collaborators_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/teams","hooks_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/hooks","issue_events_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/issues/events{/number}","events_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/events","assignees_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/assignees{/user}","branches_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/branches{/branch}","tags_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/tags","blobs_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/git/refs{/sha}","trees_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/git/trees{/sha}","statuses_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/statuses/{sha}","languages_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/languages","stargazers_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/stargazers","contributors_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/contributors","subscribers_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/subscribers","subscription_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/subscription","commits_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/commits{/sha}","git_commits_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/git/commits{/sha}","comments_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/comments{/number}","issue_comment_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/issues/comments{/number}","contents_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/contents/{+path}","compare_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/compare/{base}...{head}","merges_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/merges","archive_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/downloads","issues_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/issues{/number}","pulls_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/pulls{/number}","milestones_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/milestones{/number}","notifications_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/labels{/name}","releases_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/releases{/id}","deployments_url":"https://api.github.com/repos/SRI-CSL/high-assurance-crypto/deployments","created_at":"2021-01-07T17:13:22Z","updated_at":"2025-09-09T20:58:17Z","pushed_at":"2025-01-10T10:57:46Z","git_url":"git://github.com/SRI-CSL/high-assurance-crypto.git","ssh_url":"git@github.com:SRI-CSL/high-assurance-crypto.git","clone_url":"https://github.com/SRI-CSL/high-assurance-crypto.git","svn_url":"https://github.com/SRI-CSL/high-assurance-crypto","homepage":"","size":9690,"stargazers_count":12,"watchers_count":12,"language":"eC","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":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":1,"watchers":12,"default_branch":"main","score":1.0},{"id":125575873,"node_id":"MDEwOlJlcG9zaXRvcnkxMjU1NzU4NzM=","name":"speciateIT","full_name":"ravel-lab/speciateIT","private":false,"owner":{"login":"ravel-lab","id":28319823,"node_id":"MDEyOk9yZ2FuaXphdGlvbjI4MzE5ODIz","avatar_url":"https://avatars.githubusercontent.com/u/28319823?v=4","gravatar_id":"","url":"https://api.github.com/users/ravel-lab","html_url":"https://github.com/ravel-lab","followers_url":"https://api.github.com/users/ravel-lab/followers","following_url":"https://api.github.com/users/ravel-lab/following{/other_user}","gists_url":"https://api.github.com/users/ravel-lab/gists{/gist_id}","starred_url":"https://api.github.com/users/ravel-lab/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ravel-lab/subscriptions","organizations_url":"https://api.github.com/users/ravel-lab/orgs","repos_url":"https://api.github.com/users/ravel-lab/repos","events_url":"https://api.github.com/users/ravel-lab/events{/privacy}","received_events_url":"https://api.github.com/users/ravel-lab/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/ravel-lab/speciateIT","description":"Fast, accurate taxonomic assignments for the human vaginal microbiota","fork":false,"url":"https://api.github.com/repos/ravel-lab/speciateIT","forks_url":"https://api.github.com/repos/ravel-lab/speciateIT/forks","keys_url":"https://api.github.com/repos/ravel-lab/speciateIT/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ravel-lab/speciateIT/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ravel-lab/speciateIT/teams","hooks_url":"https://api.github.com/repos/ravel-lab/speciateIT/hooks","issue_events_url":"https://api.github.com/repos/ravel-lab/speciateIT/issues/events{/number}","events_url":"https://api.github.com/repos/ravel-lab/speciateIT/events","assignees_url":"https://api.github.com/repos/ravel-lab/speciateIT/assignees{/user}","branches_url":"https://api.github.com/repos/ravel-lab/speciateIT/branches{/branch}","tags_url":"https://api.github.com/repos/ravel-lab/speciateIT/tags","blobs_url":"https://api.github.com/repos/ravel-lab/speciateIT/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ravel-lab/speciateIT/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ravel-lab/speciateIT/git/refs{/sha}","trees_url":"https://api.github.com/repos/ravel-lab/speciateIT/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ravel-lab/speciateIT/statuses/{sha}","languages_url":"https://api.github.com/repos/ravel-lab/speciateIT/languages","stargazers_url":"https://api.github.com/repos/ravel-lab/speciateIT/stargazers","contributors_url":"https://api.github.com/repos/ravel-lab/speciateIT/contributors","subscribers_url":"https://api.github.com/repos/ravel-lab/speciateIT/subscribers","subscription_url":"https://api.github.com/repos/ravel-lab/speciateIT/subscription","commits_url":"https://api.github.com/repos/ravel-lab/speciateIT/commits{/sha}","git_commits_url":"https://api.github.com/repos/ravel-lab/speciateIT/git/commits{/sha}","comments_url":"https://api.github.com/repos/ravel-lab/speciateIT/comments{/number}","issue_comment_url":"https://api.github.com/repos/ravel-lab/speciateIT/issues/comments{/number}","contents_url":"https://api.github.com/repos/ravel-lab/speciateIT/contents/{+path}","compare_url":"https://api.github.com/repos/ravel-lab/speciateIT/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ravel-lab/speciateIT/merges","archive_url":"https://api.github.com/repos/ravel-lab/speciateIT/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ravel-lab/speciateIT/downloads","issues_url":"https://api.github.com/repos/ravel-lab/speciateIT/issues{/number}","pulls_url":"https://api.github.com/repos/ravel-lab/speciateIT/pulls{/number}","milestones_url":"https://api.github.com/repos/ravel-lab/speciateIT/milestones{/number}","notifications_url":"https://api.github.com/repos/ravel-lab/speciateIT/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ravel-lab/speciateIT/labels{/name}","releases_url":"https://api.github.com/repos/ravel-lab/speciateIT/releases{/id}","deployments_url":"https://api.github.com/repos/ravel-lab/speciateIT/deployments","created_at":"2018-03-16T22:24:36Z","updated_at":"2026-03-19T13:08:44Z","pushed_at":"2026-03-19T13:08:40Z","git_url":"git://github.com/ravel-lab/speciateIT.git","ssh_url":"git@github.com:ravel-lab/speciateIT.git","clone_url":"https://github.com/ravel-lab/speciateIT.git","svn_url":"https://github.com/ravel-lab/speciateIT","homepage":"","size":310919,"stargazers_count":11,"watchers_count":11,"language":"eC","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":3,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":6,"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":["16s-rrna","markov-chains"],"visibility":"public","forks":3,"open_issues":6,"watchers":11,"default_branch":"master","score":1.0},{"id":1778444,"node_id":"MDEwOlJlcG9zaXRvcnkxNzc4NDQ0","name":"chess","full_name":"ecere/chess","private":false,"owner":{"login":"ecere","id":796320,"node_id":"MDEyOk9yZ2FuaXphdGlvbjc5NjMyMA==","avatar_url":"https://avatars.githubusercontent.com/u/796320?v=4","gravatar_id":"","url":"https://api.github.com/users/ecere","html_url":"https://github.com/ecere","followers_url":"https://api.github.com/users/ecere/followers","following_url":"https://api.github.com/users/ecere/following{/other_user}","gists_url":"https://api.github.com/users/ecere/gists{/gist_id}","starred_url":"https://api.github.com/users/ecere/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ecere/subscriptions","organizations_url":"https://api.github.com/users/ecere/orgs","repos_url":"https://api.github.com/users/ecere/repos","events_url":"https://api.github.com/users/ecere/events{/privacy}","received_events_url":"https://api.github.com/users/ecere/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/ecere/chess","description":"Ecere Chess","fork":false,"url":"https://api.github.com/repos/ecere/chess","forks_url":"https://api.github.com/repos/ecere/chess/forks","keys_url":"https://api.github.com/repos/ecere/chess/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ecere/chess/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ecere/chess/teams","hooks_url":"https://api.github.com/repos/ecere/chess/hooks","issue_events_url":"https://api.github.com/repos/ecere/chess/issues/events{/number}","events_url":"https://api.github.com/repos/ecere/chess/events","assignees_url":"https://api.github.com/repos/ecere/chess/assignees{/user}","branches_url":"https://api.github.com/repos/ecere/chess/branches{/branch}","tags_url":"https://api.github.com/repos/ecere/chess/tags","blobs_url":"https://api.github.com/repos/ecere/chess/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ecere/chess/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ecere/chess/git/refs{/sha}","trees_url":"https://api.github.com/repos/ecere/chess/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ecere/chess/statuses/{sha}","languages_url":"https://api.github.com/repos/ecere/chess/languages","stargazers_url":"https://api.github.com/repos/ecere/chess/stargazers","contributors_url":"https://api.github.com/repos/ecere/chess/contributors","subscribers_url":"https://api.github.com/repos/ecere/chess/subscribers","subscription_url":"https://api.github.com/repos/ecere/chess/subscription","commits_url":"https://api.github.com/repos/ecere/chess/commits{/sha}","git_commits_url":"https://api.github.com/repos/ecere/chess/git/commits{/sha}","comments_url":"https://api.github.com/repos/ecere/chess/comments{/number}","issue_comment_url":"https://api.github.com/repos/ecere/chess/issues/comments{/number}","contents_url":"https://api.github.com/repos/ecere/chess/contents/{+path}","compare_url":"https://api.github.com/repos/ecere/chess/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ecere/chess/merges","archive_url":"https://api.github.com/repos/ecere/chess/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ecere/chess/downloads","issues_url":"https://api.github.com/repos/ecere/chess/issues{/number}","pulls_url":"https://api.github.com/repos/ecere/chess/pulls{/number}","milestones_url":"https://api.github.com/repos/ecere/chess/milestones{/number}","notifications_url":"https://api.github.com/repos/ecere/chess/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ecere/chess/labels{/name}","releases_url":"https://api.github.com/repos/ecere/chess/releases{/id}","deployments_url":"https://api.github.com/repos/ecere/chess/deployments","created_at":"2011-05-20T21:09:44Z","updated_at":"2025-09-06T19:47:11Z","pushed_at":"2013-03-10T15:11:35Z","git_url":"git://github.com/ecere/chess.git","ssh_url":"git@github.com:ecere/chess.git","clone_url":"https://github.com/ecere/chess.git","svn_url":"https://github.com/ecere/chess","homepage":"http://ecere.org/software/#games","size":2572,"stargazers_count":11,"watchers_count":11,"language":"eC","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":0,"license":{"key":"bsd-3-clause","name":"BSD 3-Clause \"New\" or \"Revised\" License","spdx_id":"BSD-3-Clause","url":"https://api.github.com/licenses/bsd-3-clause","node_id":"MDc6TGljZW5zZTU="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":7,"open_issues":0,"watchers":11,"default_branch":"master","score":1.0},{"id":490650878,"node_id":"R_kgDOHT68_g","name":"libjbn","full_name":"formosa-crypto/libjbn","private":false,"owner":{"login":"formosa-crypto","id":97531098,"node_id":"O_kgDOBdA02g","avatar_url":"https://avatars.githubusercontent.com/u/97531098?v=4","gravatar_id":"","url":"https://api.github.com/users/formosa-crypto","html_url":"https://github.com/formosa-crypto","followers_url":"https://api.github.com/users/formosa-crypto/followers","following_url":"https://api.github.com/users/formosa-crypto/following{/other_user}","gists_url":"https://api.github.com/users/formosa-crypto/gists{/gist_id}","starred_url":"https://api.github.com/users/formosa-crypto/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/formosa-crypto/subscriptions","organizations_url":"https://api.github.com/users/formosa-crypto/orgs","repos_url":"https://api.github.com/users/formosa-crypto/repos","events_url":"https://api.github.com/users/formosa-crypto/events{/privacy}","received_events_url":"https://api.github.com/users/formosa-crypto/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/formosa-crypto/libjbn","description":"BigNums library for Jasmin","fork":false,"url":"https://api.github.com/repos/formosa-crypto/libjbn","forks_url":"https://api.github.com/repos/formosa-crypto/libjbn/forks","keys_url":"https://api.github.com/repos/formosa-crypto/libjbn/keys{/key_id}","collaborators_url":"https://api.github.com/repos/formosa-crypto/libjbn/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/formosa-crypto/libjbn/teams","hooks_url":"https://api.github.com/repos/formosa-crypto/libjbn/hooks","issue_events_url":"https://api.github.com/repos/formosa-crypto/libjbn/issues/events{/number}","events_url":"https://api.github.com/repos/formosa-crypto/libjbn/events","assignees_url":"https://api.github.com/repos/formosa-crypto/libjbn/assignees{/user}","branches_url":"https://api.github.com/repos/formosa-crypto/libjbn/branches{/branch}","tags_url":"https://api.github.com/repos/formosa-crypto/libjbn/tags","blobs_url":"https://api.github.com/repos/formosa-crypto/libjbn/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/formosa-crypto/libjbn/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/formosa-crypto/libjbn/git/refs{/sha}","trees_url":"https://api.github.com/repos/formosa-crypto/libjbn/git/trees{/sha}","statuses_url":"https://api.github.com/repos/formosa-crypto/libjbn/statuses/{sha}","languages_url":"https://api.github.com/repos/formosa-crypto/libjbn/languages","stargazers_url":"https://api.github.com/repos/formosa-crypto/libjbn/stargazers","contributors_url":"https://api.github.com/repos/formosa-crypto/libjbn/contributors","subscribers_url":"https://api.github.com/repos/formosa-crypto/libjbn/subscribers","subscription_url":"https://api.github.com/repos/formosa-crypto/libjbn/subscription","commits_url":"https://api.github.com/repos/formosa-crypto/libjbn/commits{/sha}","git_commits_url":"https://api.github.com/repos/formosa-crypto/libjbn/git/commits{/sha}","comments_url":"https://api.github.com/repos/formosa-crypto/libjbn/comments{/number}","issue_comment_url":"https://api.github.com/repos/formosa-crypto/libjbn/issues/comments{/number}","contents_url":"https://api.github.com/repos/formosa-crypto/libjbn/contents/{+path}","compare_url":"https://api.github.com/repos/formosa-crypto/libjbn/compare/{base}...{head}","merges_url":"https://api.github.com/repos/formosa-crypto/libjbn/merges","archive_url":"https://api.github.com/repos/formosa-crypto/libjbn/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/formosa-crypto/libjbn/downloads","issues_url":"https://api.github.com/repos/formosa-crypto/libjbn/issues{/number}","pulls_url":"https://api.github.com/repos/formosa-crypto/libjbn/pulls{/number}","milestones_url":"https://api.github.com/repos/formosa-crypto/libjbn/milestones{/number}","notifications_url":"https://api.github.com/repos/formosa-crypto/libjbn/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/formosa-crypto/libjbn/labels{/name}","releases_url":"https://api.github.com/repos/formosa-crypto/libjbn/releases{/id}","deployments_url":"https://api.github.com/repos/formosa-crypto/libjbn/deployments","created_at":"2022-05-10T10:36:56Z","updated_at":"2026-03-11T13:52:55Z","pushed_at":"2024-07-16T15:52:21Z","git_url":"git://github.com/formosa-crypto/libjbn.git","ssh_url":"git@github.com:formosa-crypto/libjbn.git","clone_url":"https://github.com/formosa-crypto/libjbn.git","svn_url":"https://github.com/formosa-crypto/libjbn","homepage":null,"size":412,"stargazers_count":10,"watchers_count":10,"language":"eC","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":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":1,"watchers":10,"default_branch":"main","score":1.0},{"id":923271382,"node_id":"R_kgDONwgA1g","name":"libCartoSym","full_name":"ecere/libCartoSym","private":false,"owner":{"login":"ecere","id":796320,"node_id":"MDEyOk9yZ2FuaXphdGlvbjc5NjMyMA==","avatar_url":"https://avatars.githubusercontent.com/u/796320?v=4","gravatar_id":"","url":"https://api.github.com/users/ecere","html_url":"https://github.com/ecere","followers_url":"https://api.github.com/users/ecere/followers","following_url":"https://api.github.com/users/ecere/following{/other_user}","gists_url":"https://api.github.com/users/ecere/gists{/gist_id}","starred_url":"https://api.github.com/users/ecere/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ecere/subscriptions","organizations_url":"https://api.github.com/users/ecere/orgs","repos_url":"https://api.github.com/users/ecere/repos","events_url":"https://api.github.com/users/ecere/events{/privacy}","received_events_url":"https://api.github.com/users/ecere/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/ecere/libCartoSym","description":"Free and Open-Source Software libraries implementing OGC Cartographic Symbology 2.0, CQL2 and Simple Features (WKT/WKB, GeoJSON and DE-9IM)","fork":false,"url":"https://api.github.com/repos/ecere/libCartoSym","forks_url":"https://api.github.com/repos/ecere/libCartoSym/forks","keys_url":"https://api.github.com/repos/ecere/libCartoSym/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ecere/libCartoSym/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ecere/libCartoSym/teams","hooks_url":"https://api.github.com/repos/ecere/libCartoSym/hooks","issue_events_url":"https://api.github.com/repos/ecere/libCartoSym/issues/events{/number}","events_url":"https://api.github.com/repos/ecere/libCartoSym/events","assignees_url":"https://api.github.com/repos/ecere/libCartoSym/assignees{/user}","branches_url":"https://api.github.com/repos/ecere/libCartoSym/branches{/branch}","tags_url":"https://api.github.com/repos/ecere/libCartoSym/tags","blobs_url":"https://api.github.com/repos/ecere/libCartoSym/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ecere/libCartoSym/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ecere/libCartoSym/git/refs{/sha}","trees_url":"https://api.github.com/repos/ecere/libCartoSym/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ecere/libCartoSym/statuses/{sha}","languages_url":"https://api.github.com/repos/ecere/libCartoSym/languages","stargazers_url":"https://api.github.com/repos/ecere/libCartoSym/stargazers","contributors_url":"https://api.github.com/repos/ecere/libCartoSym/contributors","subscribers_url":"https://api.github.com/repos/ecere/libCartoSym/subscribers","subscription_url":"https://api.github.com/repos/ecere/libCartoSym/subscription","commits_url":"https://api.github.com/repos/ecere/libCartoSym/commits{/sha}","git_commits_url":"https://api.github.com/repos/ecere/libCartoSym/git/commits{/sha}","comments_url":"https://api.github.com/repos/ecere/libCartoSym/comments{/number}","issue_comment_url":"https://api.github.com/repos/ecere/libCartoSym/issues/comments{/number}","contents_url":"https://api.github.com/repos/ecere/libCartoSym/contents/{+path}","compare_url":"https://api.github.com/repos/ecere/libCartoSym/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ecere/libCartoSym/merges","archive_url":"https://api.github.com/repos/ecere/libCartoSym/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ecere/libCartoSym/downloads","issues_url":"https://api.github.com/repos/ecere/libCartoSym/issues{/number}","pulls_url":"https://api.github.com/repos/ecere/libCartoSym/pulls{/number}","milestones_url":"https://api.github.com/repos/ecere/libCartoSym/milestones{/number}","notifications_url":"https://api.github.com/repos/ecere/libCartoSym/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ecere/libCartoSym/labels{/name}","releases_url":"https://api.github.com/repos/ecere/libCartoSym/releases{/id}","deployments_url":"https://api.github.com/repos/ecere/libCartoSym/deployments","created_at":"2025-01-27T23:31:22Z","updated_at":"2026-05-13T19:04:45Z","pushed_at":"2026-05-13T19:04:38Z","git_url":"git://github.com/ecere/libCartoSym.git","ssh_url":"git@github.com:ecere/libCartoSym.git","clone_url":"https://github.com/ecere/libCartoSym.git","svn_url":"https://github.com/ecere/libCartoSym","homepage":"https://cartosym.org","size":662,"stargazers_count":9,"watchers_count":9,"language":"eC","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":0,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"bsd-3-clause","name":"BSD 3-Clause \"New\" or \"Revised\" License","spdx_id":"BSD-3-Clause","url":"https://api.github.com/licenses/bsd-3-clause","node_id":"MDc6TGljZW5zZTU="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["cartography","cartosym","cartosym-css","cartosym-json","cql2","de9im","expressions","geojson","geometry","ogc","simple-features","stylesheets","styling","symbology","wkb","wkt"],"visibility":"public","forks":0,"open_issues":0,"watchers":9,"default_branch":"main","score":1.0},{"id":837354424,"node_id":"R_kgDOMekDuA","name":"evocrypt","full_name":"SRI-CSL/evocrypt","private":false,"owner":{"login":"SRI-CSL","id":8029212,"node_id":"MDEyOk9yZ2FuaXphdGlvbjgwMjkyMTI=","avatar_url":"https://avatars.githubusercontent.com/u/8029212?v=4","gravatar_id":"","url":"https://api.github.com/users/SRI-CSL","html_url":"https://github.com/SRI-CSL","followers_url":"https://api.github.com/users/SRI-CSL/followers","following_url":"https://api.github.com/users/SRI-CSL/following{/other_user}","gists_url":"https://api.github.com/users/SRI-CSL/gists{/gist_id}","starred_url":"https://api.github.com/users/SRI-CSL/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SRI-CSL/subscriptions","organizations_url":"https://api.github.com/users/SRI-CSL/orgs","repos_url":"https://api.github.com/users/SRI-CSL/repos","events_url":"https://api.github.com/users/SRI-CSL/events{/privacy}","received_events_url":"https://api.github.com/users/SRI-CSL/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/SRI-CSL/evocrypt","description":"EVOCrypt: EasyCrypt Verified OCaml Cryptographic Library","fork":false,"url":"https://api.github.com/repos/SRI-CSL/evocrypt","forks_url":"https://api.github.com/repos/SRI-CSL/evocrypt/forks","keys_url":"https://api.github.com/repos/SRI-CSL/evocrypt/keys{/key_id}","collaborators_url":"https://api.github.com/repos/SRI-CSL/evocrypt/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/SRI-CSL/evocrypt/teams","hooks_url":"https://api.github.com/repos/SRI-CSL/evocrypt/hooks","issue_events_url":"https://api.github.com/repos/SRI-CSL/evocrypt/issues/events{/number}","events_url":"https://api.github.com/repos/SRI-CSL/evocrypt/events","assignees_url":"https://api.github.com/repos/SRI-CSL/evocrypt/assignees{/user}","branches_url":"https://api.github.com/repos/SRI-CSL/evocrypt/branches{/branch}","tags_url":"https://api.github.com/repos/SRI-CSL/evocrypt/tags","blobs_url":"https://api.github.com/repos/SRI-CSL/evocrypt/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/SRI-CSL/evocrypt/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/SRI-CSL/evocrypt/git/refs{/sha}","trees_url":"https://api.github.com/repos/SRI-CSL/evocrypt/git/trees{/sha}","statuses_url":"https://api.github.com/repos/SRI-CSL/evocrypt/statuses/{sha}","languages_url":"https://api.github.com/repos/SRI-CSL/evocrypt/languages","stargazers_url":"https://api.github.com/repos/SRI-CSL/evocrypt/stargazers","contributors_url":"https://api.github.com/repos/SRI-CSL/evocrypt/contributors","subscribers_url":"https://api.github.com/repos/SRI-CSL/evocrypt/subscribers","subscription_url":"https://api.github.com/repos/SRI-CSL/evocrypt/subscription","commits_url":"https://api.github.com/repos/SRI-CSL/evocrypt/commits{/sha}","git_commits_url":"https://api.github.com/repos/SRI-CSL/evocrypt/git/commits{/sha}","comments_url":"https://api.github.com/repos/SRI-CSL/evocrypt/comments{/number}","issue_comment_url":"https://api.github.com/repos/SRI-CSL/evocrypt/issues/comments{/number}","contents_url":"https://api.github.com/repos/SRI-CSL/evocrypt/contents/{+path}","compare_url":"https://api.github.com/repos/SRI-CSL/evocrypt/compare/{base}...{head}","merges_url":"https://api.github.com/repos/SRI-CSL/evocrypt/merges","archive_url":"https://api.github.com/repos/SRI-CSL/evocrypt/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/SRI-CSL/evocrypt/downloads","issues_url":"https://api.github.com/repos/SRI-CSL/evocrypt/issues{/number}","pulls_url":"https://api.github.com/repos/SRI-CSL/evocrypt/pulls{/number}","milestones_url":"https://api.github.com/repos/SRI-CSL/evocrypt/milestones{/number}","notifications_url":"https://api.github.com/repos/SRI-CSL/evocrypt/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/SRI-CSL/evocrypt/labels{/name}","releases_url":"https://api.github.com/repos/SRI-CSL/evocrypt/releases{/id}","deployments_url":"https://api.github.com/repos/SRI-CSL/evocrypt/deployments","created_at":"2024-08-02T19:18:36Z","updated_at":"2026-06-02T02:31:30Z","pushed_at":"2025-04-03T16:05:52Z","git_url":"git://github.com/SRI-CSL/evocrypt.git","ssh_url":"git@github.com:SRI-CSL/evocrypt.git","clone_url":"https://github.com/SRI-CSL/evocrypt.git","svn_url":"https://github.com/SRI-CSL/evocrypt","homepage":"","size":146,"stargazers_count":8,"watchers_count":8,"language":"eC","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":2,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":2,"open_issues":0,"watchers":8,"default_branch":"main","score":1.0},{"id":926482488,"node_id":"R_kgDONzkAOA","name":"jasmin-tutorial","full_name":"formosa-crypto/jasmin-tutorial","private":false,"owner":{"login":"formosa-crypto","id":97531098,"node_id":"O_kgDOBdA02g","avatar_url":"https://avatars.githubusercontent.com/u/97531098?v=4","gravatar_id":"","url":"https://api.github.com/users/formosa-crypto","html_url":"https://github.com/formosa-crypto","followers_url":"https://api.github.com/users/formosa-crypto/followers","following_url":"https://api.github.com/users/formosa-crypto/following{/other_user}","gists_url":"https://api.github.com/users/formosa-crypto/gists{/gist_id}","starred_url":"https://api.github.com/users/formosa-crypto/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/formosa-crypto/subscriptions","organizations_url":"https://api.github.com/users/formosa-crypto/orgs","repos_url":"https://api.github.com/users/formosa-crypto/repos","events_url":"https://api.github.com/users/formosa-crypto/events{/privacy}","received_events_url":"https://api.github.com/users/formosa-crypto/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/formosa-crypto/jasmin-tutorial","description":null,"fork":false,"url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial","forks_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/forks","keys_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/keys{/key_id}","collaborators_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/teams","hooks_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/hooks","issue_events_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/issues/events{/number}","events_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/events","assignees_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/assignees{/user}","branches_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/branches{/branch}","tags_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/tags","blobs_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/git/refs{/sha}","trees_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/git/trees{/sha}","statuses_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/statuses/{sha}","languages_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/languages","stargazers_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/stargazers","contributors_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/contributors","subscribers_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/subscribers","subscription_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/subscription","commits_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/commits{/sha}","git_commits_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/git/commits{/sha}","comments_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/comments{/number}","issue_comment_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/issues/comments{/number}","contents_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/contents/{+path}","compare_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/compare/{base}...{head}","merges_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/merges","archive_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/downloads","issues_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/issues{/number}","pulls_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/pulls{/number}","milestones_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/milestones{/number}","notifications_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/labels{/name}","releases_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/releases{/id}","deployments_url":"https://api.github.com/repos/formosa-crypto/jasmin-tutorial/deployments","created_at":"2025-02-03T10:36:16Z","updated_at":"2026-04-03T11:49:33Z","pushed_at":"2026-04-03T11:49:30Z","git_url":"git://github.com/formosa-crypto/jasmin-tutorial.git","ssh_url":"git@github.com:formosa-crypto/jasmin-tutorial.git","clone_url":"https://github.com/formosa-crypto/jasmin-tutorial.git","svn_url":"https://github.com/formosa-crypto/jasmin-tutorial","homepage":null,"size":1906,"stargazers_count":7,"watchers_count":7,"language":"eC","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":0,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":23,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":0,"open_issues":23,"watchers":7,"default_branch":"main","score":1.0},{"id":604185752,"node_id":"R_kgDOJAMkmA","name":"dilithium","full_name":"formosa-crypto/dilithium","private":false,"owner":{"login":"formosa-crypto","id":97531098,"node_id":"O_kgDOBdA02g","avatar_url":"https://avatars.githubusercontent.com/u/97531098?v=4","gravatar_id":"","url":"https://api.github.com/users/formosa-crypto","html_url":"https://github.com/formosa-crypto","followers_url":"https://api.github.com/users/formosa-crypto/followers","following_url":"https://api.github.com/users/formosa-crypto/following{/other_user}","gists_url":"https://api.github.com/users/formosa-crypto/gists{/gist_id}","starred_url":"https://api.github.com/users/formosa-crypto/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/formosa-crypto/subscriptions","organizations_url":"https://api.github.com/users/formosa-crypto/orgs","repos_url":"https://api.github.com/users/formosa-crypto/repos","events_url":"https://api.github.com/users/formosa-crypto/events{/privacy}","received_events_url":"https://api.github.com/users/formosa-crypto/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/formosa-crypto/dilithium","description":null,"fork":false,"url":"https://api.github.com/repos/formosa-crypto/dilithium","forks_url":"https://api.github.com/repos/formosa-crypto/dilithium/forks","keys_url":"https://api.github.com/repos/formosa-crypto/dilithium/keys{/key_id}","collaborators_url":"https://api.github.com/repos/formosa-crypto/dilithium/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/formosa-crypto/dilithium/teams","hooks_url":"https://api.github.com/repos/formosa-crypto/dilithium/hooks","issue_events_url":"https://api.github.com/repos/formosa-crypto/dilithium/issues/events{/number}","events_url":"https://api.github.com/repos/formosa-crypto/dilithium/events","assignees_url":"https://api.github.com/repos/formosa-crypto/dilithium/assignees{/user}","branches_url":"https://api.github.com/repos/formosa-crypto/dilithium/branches{/branch}","tags_url":"https://api.github.com/repos/formosa-crypto/dilithium/tags","blobs_url":"https://api.github.com/repos/formosa-crypto/dilithium/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/formosa-crypto/dilithium/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/formosa-crypto/dilithium/git/refs{/sha}","trees_url":"https://api.github.com/repos/formosa-crypto/dilithium/git/trees{/sha}","statuses_url":"https://api.github.com/repos/formosa-crypto/dilithium/statuses/{sha}","languages_url":"https://api.github.com/repos/formosa-crypto/dilithium/languages","stargazers_url":"https://api.github.com/repos/formosa-crypto/dilithium/stargazers","contributors_url":"https://api.github.com/repos/formosa-crypto/dilithium/contributors","subscribers_url":"https://api.github.com/repos/formosa-crypto/dilithium/subscribers","subscription_url":"https://api.github.com/repos/formosa-crypto/dilithium/subscription","commits_url":"https://api.github.com/repos/formosa-crypto/dilithium/commits{/sha}","git_commits_url":"https://api.github.com/repos/formosa-crypto/dilithium/git/commits{/sha}","comments_url":"https://api.github.com/repos/formosa-crypto/dilithium/comments{/number}","issue_comment_url":"https://api.github.com/repos/formosa-crypto/dilithium/issues/comments{/number}","contents_url":"https://api.github.com/repos/formosa-crypto/dilithium/contents/{+path}","compare_url":"https://api.github.com/repos/formosa-crypto/dilithium/compare/{base}...{head}","merges_url":"https://api.github.com/repos/formosa-crypto/dilithium/merges","archive_url":"https://api.github.com/repos/formosa-crypto/dilithium/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/formosa-crypto/dilithium/downloads","issues_url":"https://api.github.com/repos/formosa-crypto/dilithium/issues{/number}","pulls_url":"https://api.github.com/repos/formosa-crypto/dilithium/pulls{/number}","milestones_url":"https://api.github.com/repos/formosa-crypto/dilithium/milestones{/number}","notifications_url":"https://api.github.com/repos/formosa-crypto/dilithium/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/formosa-crypto/dilithium/labels{/name}","releases_url":"https://api.github.com/repos/formosa-crypto/dilithium/releases{/id}","deployments_url":"https://api.github.com/repos/formosa-crypto/dilithium/deployments","created_at":"2023-02-20T14:14:14Z","updated_at":"2026-03-09T17:12:58Z","pushed_at":"2023-06-21T14:13:19Z","git_url":"git://github.com/formosa-crypto/dilithium.git","ssh_url":"git@github.com:formosa-crypto/dilithium.git","clone_url":"https://github.com/formosa-crypto/dilithium.git","svn_url":"https://github.com/formosa-crypto/dilithium","homepage":null,"size":708,"stargazers_count":7,"watchers_count":7,"language":"eC","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":1,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":1,"open_issues":0,"watchers":7,"default_branch":"main","score":1.0},{"id":11007005,"node_id":"MDEwOlJlcG9zaXRvcnkxMTAwNzAwNQ==","name":"informixdb","full_name":"hellhound/informixdb","private":false,"owner":{"login":"hellhound","id":389892,"node_id":"MDQ6VXNlcjM4OTg5Mg==","avatar_url":"https://avatars.githubusercontent.com/u/389892?v=4","gravatar_id":"","url":"https://api.github.com/users/hellhound","html_url":"https://github.com/hellhound","followers_url":"https://api.github.com/users/hellhound/followers","following_url":"https://api.github.com/users/hellhound/following{/other_user}","gists_url":"https://api.github.com/users/hellhound/gists{/gist_id}","starred_url":"https://api.github.com/users/hellhound/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hellhound/subscriptions","organizations_url":"https://api.github.com/users/hellhound/orgs","repos_url":"https://api.github.com/users/hellhound/repos","events_url":"https://api.github.com/users/hellhound/events{/privacy}","received_events_url":"https://api.github.com/users/hellhound/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/hellhound/informixdb","description":"InformixDB is an implementation of the Python Database API for IBM Informix database engines.","fork":false,"url":"https://api.github.com/repos/hellhound/informixdb","forks_url":"https://api.github.com/repos/hellhound/informixdb/forks","keys_url":"https://api.github.com/repos/hellhound/informixdb/keys{/key_id}","collaborators_url":"https://api.github.com/repos/hellhound/informixdb/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/hellhound/informixdb/teams","hooks_url":"https://api.github.com/repos/hellhound/informixdb/hooks","issue_events_url":"https://api.github.com/repos/hellhound/informixdb/issues/events{/number}","events_url":"https://api.github.com/repos/hellhound/informixdb/events","assignees_url":"https://api.github.com/repos/hellhound/informixdb/assignees{/user}","branches_url":"https://api.github.com/repos/hellhound/informixdb/branches{/branch}","tags_url":"https://api.github.com/repos/hellhound/informixdb/tags","blobs_url":"https://api.github.com/repos/hellhound/informixdb/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/hellhound/informixdb/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/hellhound/informixdb/git/refs{/sha}","trees_url":"https://api.github.com/repos/hellhound/informixdb/git/trees{/sha}","statuses_url":"https://api.github.com/repos/hellhound/informixdb/statuses/{sha}","languages_url":"https://api.github.com/repos/hellhound/informixdb/languages","stargazers_url":"https://api.github.com/repos/hellhound/informixdb/stargazers","contributors_url":"https://api.github.com/repos/hellhound/informixdb/contributors","subscribers_url":"https://api.github.com/repos/hellhound/informixdb/subscribers","subscription_url":"https://api.github.com/repos/hellhound/informixdb/subscription","commits_url":"https://api.github.com/repos/hellhound/informixdb/commits{/sha}","git_commits_url":"https://api.github.com/repos/hellhound/informixdb/git/commits{/sha}","comments_url":"https://api.github.com/repos/hellhound/informixdb/comments{/number}","issue_comment_url":"https://api.github.com/repos/hellhound/informixdb/issues/comments{/number}","contents_url":"https://api.github.com/repos/hellhound/informixdb/contents/{+path}","compare_url":"https://api.github.com/repos/hellhound/informixdb/compare/{base}...{head}","merges_url":"https://api.github.com/repos/hellhound/informixdb/merges","archive_url":"https://api.github.com/repos/hellhound/informixdb/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/hellhound/informixdb/downloads","issues_url":"https://api.github.com/repos/hellhound/informixdb/issues{/number}","pulls_url":"https://api.github.com/repos/hellhound/informixdb/pulls{/number}","milestones_url":"https://api.github.com/repos/hellhound/informixdb/milestones{/number}","notifications_url":"https://api.github.com/repos/hellhound/informixdb/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/hellhound/informixdb/labels{/name}","releases_url":"https://api.github.com/repos/hellhound/informixdb/releases{/id}","deployments_url":"https://api.github.com/repos/hellhound/informixdb/deployments","created_at":"2013-06-27T20:26:36Z","updated_at":"2025-09-09T20:58:22Z","pushed_at":"2013-07-12T04:51:22Z","git_url":"git://github.com/hellhound/informixdb.git","ssh_url":"git@github.com:hellhound/informixdb.git","clone_url":"https://github.com/hellhound/informixdb.git","svn_url":"https://github.com/hellhound/informixdb","homepage":null,"size":325,"stargazers_count":7,"watchers_count":7,"language":"eC","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":{"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":6,"open_issues":2,"watchers":7,"default_branch":"master","score":1.0},{"id":611308485,"node_id":"R_kgDOJG_TxQ","name":"crypto-specs","full_name":"formosa-crypto/crypto-specs","private":false,"owner":{"login":"formosa-crypto","id":97531098,"node_id":"O_kgDOBdA02g","avatar_url":"https://avatars.githubusercontent.com/u/97531098?v=4","gravatar_id":"","url":"https://api.github.com/users/formosa-crypto","html_url":"https://github.com/formosa-crypto","followers_url":"https://api.github.com/users/formosa-crypto/followers","following_url":"https://api.github.com/users/formosa-crypto/following{/other_user}","gists_url":"https://api.github.com/users/formosa-crypto/gists{/gist_id}","starred_url":"https://api.github.com/users/formosa-crypto/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/formosa-crypto/subscriptions","organizations_url":"https://api.github.com/users/formosa-crypto/orgs","repos_url":"https://api.github.com/users/formosa-crypto/repos","events_url":"https://api.github.com/users/formosa-crypto/events{/privacy}","received_events_url":"https://api.github.com/users/formosa-crypto/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/formosa-crypto/crypto-specs","description":"EasyCrypt specifications of crypto primitives","fork":false,"url":"https://api.github.com/repos/formosa-crypto/crypto-specs","forks_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/forks","keys_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/keys{/key_id}","collaborators_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/teams","hooks_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/hooks","issue_events_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/issues/events{/number}","events_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/events","assignees_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/assignees{/user}","branches_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/branches{/branch}","tags_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/tags","blobs_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/git/refs{/sha}","trees_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/git/trees{/sha}","statuses_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/statuses/{sha}","languages_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/languages","stargazers_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/stargazers","contributors_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/contributors","subscribers_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/subscribers","subscription_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/subscription","commits_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/commits{/sha}","git_commits_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/git/commits{/sha}","comments_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/comments{/number}","issue_comment_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/issues/comments{/number}","contents_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/contents/{+path}","compare_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/compare/{base}...{head}","merges_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/merges","archive_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/downloads","issues_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/issues{/number}","pulls_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/pulls{/number}","milestones_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/milestones{/number}","notifications_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/labels{/name}","releases_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/releases{/id}","deployments_url":"https://api.github.com/repos/formosa-crypto/crypto-specs/deployments","created_at":"2023-03-08T15:01:27Z","updated_at":"2026-05-30T09:17:41Z","pushed_at":"2026-04-29T20:19:56Z","git_url":"git://github.com/formosa-crypto/crypto-specs.git","ssh_url":"git@github.com:formosa-crypto/crypto-specs.git","clone_url":"https://github.com/formosa-crypto/crypto-specs.git","svn_url":"https://github.com/formosa-crypto/crypto-specs","homepage":null,"size":319,"stargazers_count":6,"watchers_count":6,"language":"eC","has_issues":true,"has_projects":false,"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":0,"license":{"key":"cc0-1.0","name":"Creative Commons Zero v1.0 Universal","spdx_id":"CC0-1.0","url":"https://api.github.com/licenses/cc0-1.0","node_id":"MDc6TGljZW5zZTY="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":1,"open_issues":0,"watchers":6,"default_branch":"main","score":1.0},{"id":534099653,"node_id":"R_kgDOH9W2xQ","name":"jasmin-zk","full_name":"dfirsov/jasmin-zk","private":false,"owner":{"login":"dfirsov","id":1494152,"node_id":"MDQ6VXNlcjE0OTQxNTI=","avatar_url":"https://avatars.githubusercontent.com/u/1494152?v=4","gravatar_id":"","url":"https://api.github.com/users/dfirsov","html_url":"https://github.com/dfirsov","followers_url":"https://api.github.com/users/dfirsov/followers","following_url":"https://api.github.com/users/dfirsov/following{/other_user}","gists_url":"https://api.github.com/users/dfirsov/gists{/gist_id}","starred_url":"https://api.github.com/users/dfirsov/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dfirsov/subscriptions","organizations_url":"https://api.github.com/users/dfirsov/orgs","repos_url":"https://api.github.com/users/dfirsov/repos","events_url":"https://api.github.com/users/dfirsov/events{/privacy}","received_events_url":"https://api.github.com/users/dfirsov/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/dfirsov/jasmin-zk","description":"We implement the Schnorr proof system in assembler via the Jasmin toolchain, and prove the security (proof-of-knowledge and zero-knowledge) and the absence of leakage through timing side-channels of that implementation in EasyCrypt.","fork":false,"url":"https://api.github.com/repos/dfirsov/jasmin-zk","forks_url":"https://api.github.com/repos/dfirsov/jasmin-zk/forks","keys_url":"https://api.github.com/repos/dfirsov/jasmin-zk/keys{/key_id}","collaborators_url":"https://api.github.com/repos/dfirsov/jasmin-zk/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/dfirsov/jasmin-zk/teams","hooks_url":"https://api.github.com/repos/dfirsov/jasmin-zk/hooks","issue_events_url":"https://api.github.com/repos/dfirsov/jasmin-zk/issues/events{/number}","events_url":"https://api.github.com/repos/dfirsov/jasmin-zk/events","assignees_url":"https://api.github.com/repos/dfirsov/jasmin-zk/assignees{/user}","branches_url":"https://api.github.com/repos/dfirsov/jasmin-zk/branches{/branch}","tags_url":"https://api.github.com/repos/dfirsov/jasmin-zk/tags","blobs_url":"https://api.github.com/repos/dfirsov/jasmin-zk/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/dfirsov/jasmin-zk/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/dfirsov/jasmin-zk/git/refs{/sha}","trees_url":"https://api.github.com/repos/dfirsov/jasmin-zk/git/trees{/sha}","statuses_url":"https://api.github.com/repos/dfirsov/jasmin-zk/statuses/{sha}","languages_url":"https://api.github.com/repos/dfirsov/jasmin-zk/languages","stargazers_url":"https://api.github.com/repos/dfirsov/jasmin-zk/stargazers","contributors_url":"https://api.github.com/repos/dfirsov/jasmin-zk/contributors","subscribers_url":"https://api.github.com/repos/dfirsov/jasmin-zk/subscribers","subscription_url":"https://api.github.com/repos/dfirsov/jasmin-zk/subscription","commits_url":"https://api.github.com/repos/dfirsov/jasmin-zk/commits{/sha}","git_commits_url":"https://api.github.com/repos/dfirsov/jasmin-zk/git/commits{/sha}","comments_url":"https://api.github.com/repos/dfirsov/jasmin-zk/comments{/number}","issue_comment_url":"https://api.github.com/repos/dfirsov/jasmin-zk/issues/comments{/number}","contents_url":"https://api.github.com/repos/dfirsov/jasmin-zk/contents/{+path}","compare_url":"https://api.github.com/repos/dfirsov/jasmin-zk/compare/{base}...{head}","merges_url":"https://api.github.com/repos/dfirsov/jasmin-zk/merges","archive_url":"https://api.github.com/repos/dfirsov/jasmin-zk/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/dfirsov/jasmin-zk/downloads","issues_url":"https://api.github.com/repos/dfirsov/jasmin-zk/issues{/number}","pulls_url":"https://api.github.com/repos/dfirsov/jasmin-zk/pulls{/number}","milestones_url":"https://api.github.com/repos/dfirsov/jasmin-zk/milestones{/number}","notifications_url":"https://api.github.com/repos/dfirsov/jasmin-zk/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/dfirsov/jasmin-zk/labels{/name}","releases_url":"https://api.github.com/repos/dfirsov/jasmin-zk/releases{/id}","deployments_url":"https://api.github.com/repos/dfirsov/jasmin-zk/deployments","created_at":"2022-09-08T07:29:08Z","updated_at":"2025-06-03T01:47:58Z","pushed_at":"2023-10-06T13:17:43Z","git_url":"git://github.com/dfirsov/jasmin-zk.git","ssh_url":"git@github.com:dfirsov/jasmin-zk.git","clone_url":"https://github.com/dfirsov/jasmin-zk.git","svn_url":"https://github.com/dfirsov/jasmin-zk","homepage":"","size":1064,"stargazers_count":5,"watchers_count":5,"language":"eC","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":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["barrett-reduction","cryptography","easycrypt","formal-verification","jasmin","modular-arithmetic","montgomery-ladder","rejection-sampling","schnorr-protocol","zero-knowledge"],"visibility":"public","forks":2,"open_issues":0,"watchers":5,"default_branch":"master","score":1.0},{"id":823163443,"node_id":"R_kgDOMRB6Mw","name":"formosa-25519","full_name":"formosa-crypto/formosa-25519","private":false,"owner":{"login":"formosa-crypto","id":97531098,"node_id":"O_kgDOBdA02g","avatar_url":"https://avatars.githubusercontent.com/u/97531098?v=4","gravatar_id":"","url":"https://api.github.com/users/formosa-crypto","html_url":"https://github.com/formosa-crypto","followers_url":"https://api.github.com/users/formosa-crypto/followers","following_url":"https://api.github.com/users/formosa-crypto/following{/other_user}","gists_url":"https://api.github.com/users/formosa-crypto/gists{/gist_id}","starred_url":"https://api.github.com/users/formosa-crypto/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/formosa-crypto/subscriptions","organizations_url":"https://api.github.com/users/formosa-crypto/orgs","repos_url":"https://api.github.com/users/formosa-crypto/repos","events_url":"https://api.github.com/users/formosa-crypto/events{/privacy}","received_events_url":"https://api.github.com/users/formosa-crypto/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/formosa-crypto/formosa-25519","description":"Jasmin implementations of x25519","fork":false,"url":"https://api.github.com/repos/formosa-crypto/formosa-25519","forks_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/forks","keys_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/keys{/key_id}","collaborators_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/teams","hooks_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/hooks","issue_events_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/issues/events{/number}","events_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/events","assignees_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/assignees{/user}","branches_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/branches{/branch}","tags_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/tags","blobs_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/git/refs{/sha}","trees_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/git/trees{/sha}","statuses_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/statuses/{sha}","languages_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/languages","stargazers_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/stargazers","contributors_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/contributors","subscribers_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/subscribers","subscription_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/subscription","commits_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/commits{/sha}","git_commits_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/git/commits{/sha}","comments_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/comments{/number}","issue_comment_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/issues/comments{/number}","contents_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/contents/{+path}","compare_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/compare/{base}...{head}","merges_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/merges","archive_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/downloads","issues_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/issues{/number}","pulls_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/pulls{/number}","milestones_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/milestones{/number}","notifications_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/labels{/name}","releases_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/releases{/id}","deployments_url":"https://api.github.com/repos/formosa-crypto/formosa-25519/deployments","created_at":"2024-07-02T14:16:40Z","updated_at":"2026-05-30T09:18:38Z","pushed_at":"2025-11-17T12:42:39Z","git_url":"git://github.com/formosa-crypto/formosa-25519.git","ssh_url":"git@github.com:formosa-crypto/formosa-25519.git","clone_url":"https://github.com/formosa-crypto/formosa-25519.git","svn_url":"https://github.com/formosa-crypto/formosa-25519","homepage":null,"size":432,"stargazers_count":5,"watchers_count":5,"language":"eC","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":3,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":7,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":3,"open_issues":7,"watchers":5,"default_branch":"main","score":1.0},{"id":880423940,"node_id":"R_kgDONHo0BA","name":"formosa-x-wing","full_name":"formosa-crypto/formosa-x-wing","private":false,"owner":{"login":"formosa-crypto","id":97531098,"node_id":"O_kgDOBdA02g","avatar_url":"https://avatars.githubusercontent.com/u/97531098?v=4","gravatar_id":"","url":"https://api.github.com/users/formosa-crypto","html_url":"https://github.com/formosa-crypto","followers_url":"https://api.github.com/users/formosa-crypto/followers","following_url":"https://api.github.com/users/formosa-crypto/following{/other_user}","gists_url":"https://api.github.com/users/formosa-crypto/gists{/gist_id}","starred_url":"https://api.github.com/users/formosa-crypto/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/formosa-crypto/subscriptions","organizations_url":"https://api.github.com/users/formosa-crypto/orgs","repos_url":"https://api.github.com/users/formosa-crypto/repos","events_url":"https://api.github.com/users/formosa-crypto/events{/privacy}","received_events_url":"https://api.github.com/users/formosa-crypto/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/formosa-crypto/formosa-x-wing","description":null,"fork":false,"url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing","forks_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/forks","keys_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/keys{/key_id}","collaborators_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/teams","hooks_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/hooks","issue_events_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/issues/events{/number}","events_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/events","assignees_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/assignees{/user}","branches_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/branches{/branch}","tags_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/tags","blobs_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/git/refs{/sha}","trees_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/git/trees{/sha}","statuses_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/statuses/{sha}","languages_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/languages","stargazers_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/stargazers","contributors_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/contributors","subscribers_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/subscribers","subscription_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/subscription","commits_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/commits{/sha}","git_commits_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/git/commits{/sha}","comments_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/comments{/number}","issue_comment_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/issues/comments{/number}","contents_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/contents/{+path}","compare_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/compare/{base}...{head}","merges_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/merges","archive_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/downloads","issues_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/issues{/number}","pulls_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/pulls{/number}","milestones_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/milestones{/number}","notifications_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/labels{/name}","releases_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/releases{/id}","deployments_url":"https://api.github.com/repos/formosa-crypto/formosa-x-wing/deployments","created_at":"2024-10-29T17:42:27Z","updated_at":"2025-09-07T21:51:25Z","pushed_at":"2025-04-02T18:01:45Z","git_url":"git://github.com/formosa-crypto/formosa-x-wing.git","ssh_url":"git@github.com:formosa-crypto/formosa-x-wing.git","clone_url":"https://github.com/formosa-crypto/formosa-x-wing.git","svn_url":"https://github.com/formosa-crypto/formosa-x-wing","homepage":null,"size":2144,"stargazers_count":5,"watchers_count":5,"language":"eC","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":1,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":1,"open_issues":1,"watchers":5,"default_branch":"main","score":1.0},{"id":962736959,"node_id":"R_kgDOOWIzPw","name":"asymmetric-ladder","full_name":"proof-ladders/asymmetric-ladder","private":false,"owner":{"login":"proof-ladders","id":206735825,"node_id":"O_kgDODFKJ0Q","avatar_url":"https://avatars.githubusercontent.com/u/206735825?v=4","gravatar_id":"","url":"https://api.github.com/users/proof-ladders","html_url":"https://github.com/proof-ladders","followers_url":"https://api.github.com/users/proof-ladders/followers","following_url":"https://api.github.com/users/proof-ladders/following{/other_user}","gists_url":"https://api.github.com/users/proof-ladders/gists{/gist_id}","starred_url":"https://api.github.com/users/proof-ladders/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/proof-ladders/subscriptions","organizations_url":"https://api.github.com/users/proof-ladders/orgs","repos_url":"https://api.github.com/users/proof-ladders/repos","events_url":"https://api.github.com/users/proof-ladders/events{/privacy}","received_events_url":"https://api.github.com/users/proof-ladders/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/proof-ladders/asymmetric-ladder","description":"A set of example cryptographic proofs for simple asymmetric constructions, to be formalised in various tools.","fork":false,"url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder","forks_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/forks","keys_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/keys{/key_id}","collaborators_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/teams","hooks_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/hooks","issue_events_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/issues/events{/number}","events_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/events","assignees_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/assignees{/user}","branches_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/branches{/branch}","tags_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/tags","blobs_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/git/refs{/sha}","trees_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/git/trees{/sha}","statuses_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/statuses/{sha}","languages_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/languages","stargazers_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/stargazers","contributors_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/contributors","subscribers_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/subscribers","subscription_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/subscription","commits_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/commits{/sha}","git_commits_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/git/commits{/sha}","comments_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/comments{/number}","issue_comment_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/issues/comments{/number}","contents_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/contents/{+path}","compare_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/compare/{base}...{head}","merges_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/merges","archive_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/downloads","issues_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/issues{/number}","pulls_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/pulls{/number}","milestones_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/milestones{/number}","notifications_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/labels{/name}","releases_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/releases{/id}","deployments_url":"https://api.github.com/repos/proof-ladders/asymmetric-ladder/deployments","created_at":"2025-04-08T15:43:12Z","updated_at":"2026-03-31T17:31:49Z","pushed_at":"2026-04-22T14:23:08Z","git_url":"git://github.com/proof-ladders/asymmetric-ladder.git","ssh_url":"git@github.com:proof-ladders/asymmetric-ladder.git","clone_url":"https://github.com/proof-ladders/asymmetric-ladder.git","svn_url":"https://github.com/proof-ladders/asymmetric-ladder","homepage":null,"size":2776,"stargazers_count":4,"watchers_count":4,"language":"eC","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":3,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":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":3,"open_issues":2,"watchers":4,"default_branch":"main","score":1.0},{"id":67045357,"node_id":"MDEwOlJlcG9zaXRvcnk2NzA0NTM1Nw==","name":"RandomPasswordGenerator","full_name":"ELE-Clouds/RandomPasswordGenerator","private":false,"owner":{"login":"ELE-Clouds","id":20043036,"node_id":"MDQ6VXNlcjIwMDQzMDM2","avatar_url":"https://avatars.githubusercontent.com/u/20043036?v=4","gravatar_id":"","url":"https://api.github.com/users/ELE-Clouds","html_url":"https://github.com/ELE-Clouds","followers_url":"https://api.github.com/users/ELE-Clouds/followers","following_url":"https://api.github.com/users/ELE-Clouds/following{/other_user}","gists_url":"https://api.github.com/users/ELE-Clouds/gists{/gist_id}","starred_url":"https://api.github.com/users/ELE-Clouds/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ELE-Clouds/subscriptions","organizations_url":"https://api.github.com/users/ELE-Clouds/orgs","repos_url":"https://api.github.com/users/ELE-Clouds/repos","events_url":"https://api.github.com/users/ELE-Clouds/events{/privacy}","received_events_url":"https://api.github.com/users/ELE-Clouds/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/ELE-Clouds/RandomPasswordGenerator","description":"RPG（Random Passowrd Generator）随机密码生成器","fork":false,"url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator","forks_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/forks","keys_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/teams","hooks_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/hooks","issue_events_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/issues/events{/number}","events_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/events","assignees_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/assignees{/user}","branches_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/branches{/branch}","tags_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/tags","blobs_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/git/refs{/sha}","trees_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/statuses/{sha}","languages_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/languages","stargazers_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/stargazers","contributors_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/contributors","subscribers_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/subscribers","subscription_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/subscription","commits_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/commits{/sha}","git_commits_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/git/commits{/sha}","comments_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/comments{/number}","issue_comment_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/issues/comments{/number}","contents_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/contents/{+path}","compare_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/merges","archive_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/downloads","issues_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/issues{/number}","pulls_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/pulls{/number}","milestones_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/milestones{/number}","notifications_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/labels{/name}","releases_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/releases{/id}","deployments_url":"https://api.github.com/repos/ELE-Clouds/RandomPasswordGenerator/deployments","created_at":"2016-08-31T14:34:15Z","updated_at":"2019-01-05T12:35:37Z","pushed_at":"2016-10-19T11:45:19Z","git_url":"git://github.com/ELE-Clouds/RandomPasswordGenerator.git","ssh_url":"git@github.com:ELE-Clouds/RandomPasswordGenerator.git","clone_url":"https://github.com/ELE-Clouds/RandomPasswordGenerator.git","svn_url":"https://github.com/ELE-Clouds/RandomPasswordGenerator","homepage":"https://ele-clouds.github.io/RandomPasswordGenerator","size":608,"stargazers_count":4,"watchers_count":4,"language":"eC","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":0,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"gpl-3.0","name":"GNU General Public License v3.0","spdx_id":"GPL-3.0","url":"https://api.github.com/licenses/gpl-3.0","node_id":"MDc6TGljZW5zZTk="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":0,"open_issues":0,"watchers":4,"default_branch":"master","score":1.0},{"id":43443189,"node_id":"MDEwOlJlcG9zaXRvcnk0MzQ0MzE4OQ==","name":"kind2-benchmarks","full_name":"kind2-mc/kind2-benchmarks","private":false,"owner":{"login":"kind2-mc","id":3951814,"node_id":"MDEyOk9yZ2FuaXphdGlvbjM5NTE4MTQ=","avatar_url":"https://avatars.githubusercontent.com/u/3951814?v=4","gravatar_id":"","url":"https://api.github.com/users/kind2-mc","html_url":"https://github.com/kind2-mc","followers_url":"https://api.github.com/users/kind2-mc/followers","following_url":"https://api.github.com/users/kind2-mc/following{/other_user}","gists_url":"https://api.github.com/users/kind2-mc/gists{/gist_id}","starred_url":"https://api.github.com/users/kind2-mc/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kind2-mc/subscriptions","organizations_url":"https://api.github.com/users/kind2-mc/orgs","repos_url":"https://api.github.com/users/kind2-mc/repos","events_url":"https://api.github.com/users/kind2-mc/events{/privacy}","received_events_url":"https://api.github.com/users/kind2-mc/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/kind2-mc/kind2-benchmarks","description":"Set of benchmarks for Kind 2","fork":false,"url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks","forks_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/forks","keys_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/keys{/key_id}","collaborators_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/teams","hooks_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/hooks","issue_events_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/issues/events{/number}","events_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/events","assignees_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/assignees{/user}","branches_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/branches{/branch}","tags_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/tags","blobs_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/git/refs{/sha}","trees_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/git/trees{/sha}","statuses_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/statuses/{sha}","languages_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/languages","stargazers_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/stargazers","contributors_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/contributors","subscribers_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/subscribers","subscription_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/subscription","commits_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/commits{/sha}","git_commits_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/git/commits{/sha}","comments_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/comments{/number}","issue_comment_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/issues/comments{/number}","contents_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/contents/{+path}","compare_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/compare/{base}...{head}","merges_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/merges","archive_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/downloads","issues_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/issues{/number}","pulls_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/pulls{/number}","milestones_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/milestones{/number}","notifications_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/labels{/name}","releases_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/releases{/id}","deployments_url":"https://api.github.com/repos/kind2-mc/kind2-benchmarks/deployments","created_at":"2015-09-30T16:07:01Z","updated_at":"2025-10-31T20:59:32Z","pushed_at":"2025-10-31T20:59:27Z","git_url":"git://github.com/kind2-mc/kind2-benchmarks.git","ssh_url":"git@github.com:kind2-mc/kind2-benchmarks.git","clone_url":"https://github.com/kind2-mc/kind2-benchmarks.git","svn_url":"https://github.com/kind2-mc/kind2-benchmarks","homepage":null,"size":15415,"stargazers_count":4,"watchers_count":4,"language":"eC","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":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":4,"default_branch":"master","score":1.0},{"id":776889173,"node_id":"R_kgDOLk5jVQ","name":"formosa-keccak","full_name":"formosa-crypto/formosa-keccak","private":false,"owner":{"login":"formosa-crypto","id":97531098,"node_id":"O_kgDOBdA02g","avatar_url":"https://avatars.githubusercontent.com/u/97531098?v=4","gravatar_id":"","url":"https://api.github.com/users/formosa-crypto","html_url":"https://github.com/formosa-crypto","followers_url":"https://api.github.com/users/formosa-crypto/followers","following_url":"https://api.github.com/users/formosa-crypto/following{/other_user}","gists_url":"https://api.github.com/users/formosa-crypto/gists{/gist_id}","starred_url":"https://api.github.com/users/formosa-crypto/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/formosa-crypto/subscriptions","organizations_url":"https://api.github.com/users/formosa-crypto/orgs","repos_url":"https://api.github.com/users/formosa-crypto/repos","events_url":"https://api.github.com/users/formosa-crypto/events{/privacy}","received_events_url":"https://api.github.com/users/formosa-crypto/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/formosa-crypto/formosa-keccak","description":"Implementation of Keccak and related functions (SHA3, SHAKE, etc.)","fork":false,"url":"https://api.github.com/repos/formosa-crypto/formosa-keccak","forks_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/forks","keys_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/keys{/key_id}","collaborators_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/teams","hooks_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/hooks","issue_events_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/issues/events{/number}","events_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/events","assignees_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/assignees{/user}","branches_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/branches{/branch}","tags_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/tags","blobs_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/git/refs{/sha}","trees_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/git/trees{/sha}","statuses_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/statuses/{sha}","languages_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/languages","stargazers_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/stargazers","contributors_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/contributors","subscribers_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/subscribers","subscription_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/subscription","commits_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/commits{/sha}","git_commits_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/git/commits{/sha}","comments_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/comments{/number}","issue_comment_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/issues/comments{/number}","contents_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/contents/{+path}","compare_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/compare/{base}...{head}","merges_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/merges","archive_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/downloads","issues_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/issues{/number}","pulls_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/pulls{/number}","milestones_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/milestones{/number}","notifications_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/labels{/name}","releases_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/releases{/id}","deployments_url":"https://api.github.com/repos/formosa-crypto/formosa-keccak/deployments","created_at":"2024-03-24T18:12:34Z","updated_at":"2026-05-30T09:18:43Z","pushed_at":"2026-06-02T13:41:36Z","git_url":"git://github.com/formosa-crypto/formosa-keccak.git","ssh_url":"git@github.com:formosa-crypto/formosa-keccak.git","clone_url":"https://github.com/formosa-crypto/formosa-keccak.git","svn_url":"https://github.com/formosa-crypto/formosa-keccak","homepage":null,"size":971,"stargazers_count":4,"watchers_count":4,"language":"eC","has_issues":true,"has_projects":false,"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":4,"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":3,"open_issues":4,"watchers":4,"default_branch":"main","score":1.0},{"id":490237679,"node_id":"R_kgDOHThu7w","name":"the-joy-of-easycrypt","full_name":"tejasanilshah/the-joy-of-easycrypt","private":false,"owner":{"login":"tejasanilshah","id":8685468,"node_id":"MDQ6VXNlcjg2ODU0Njg=","avatar_url":"https://avatars.githubusercontent.com/u/8685468?v=4","gravatar_id":"","url":"https://api.github.com/users/tejasanilshah","html_url":"https://github.com/tejasanilshah","followers_url":"https://api.github.com/users/tejasanilshah/followers","following_url":"https://api.github.com/users/tejasanilshah/following{/other_user}","gists_url":"https://api.github.com/users/tejasanilshah/gists{/gist_id}","starred_url":"https://api.github.com/users/tejasanilshah/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tejasanilshah/subscriptions","organizations_url":"https://api.github.com/users/tejasanilshah/orgs","repos_url":"https://api.github.com/users/tejasanilshah/repos","events_url":"https://api.github.com/users/tejasanilshah/events{/privacy}","received_events_url":"https://api.github.com/users/tejasanilshah/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/tejasanilshah/the-joy-of-easycrypt","description":"Formal Verification companion material to The Joy of Cryptography textbook by Mike Rosulek","fork":false,"url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt","forks_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/forks","keys_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/keys{/key_id}","collaborators_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/teams","hooks_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/hooks","issue_events_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/issues/events{/number}","events_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/events","assignees_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/assignees{/user}","branches_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/branches{/branch}","tags_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/tags","blobs_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/git/refs{/sha}","trees_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/git/trees{/sha}","statuses_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/statuses/{sha}","languages_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/languages","stargazers_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/stargazers","contributors_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/contributors","subscribers_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/subscribers","subscription_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/subscription","commits_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/commits{/sha}","git_commits_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/git/commits{/sha}","comments_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/comments{/number}","issue_comment_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/issues/comments{/number}","contents_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/contents/{+path}","compare_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/compare/{base}...{head}","merges_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/merges","archive_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/downloads","issues_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/issues{/number}","pulls_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/pulls{/number}","milestones_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/milestones{/number}","notifications_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/labels{/name}","releases_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/releases{/id}","deployments_url":"https://api.github.com/repos/tejasanilshah/the-joy-of-easycrypt/deployments","created_at":"2022-05-09T10:33:45Z","updated_at":"2026-03-08T00:27:38Z","pushed_at":"2022-08-08T14:58:36Z","git_url":"git://github.com/tejasanilshah/the-joy-of-easycrypt.git","ssh_url":"git@github.com:tejasanilshah/the-joy-of-easycrypt.git","clone_url":"https://github.com/tejasanilshah/the-joy-of-easycrypt.git","svn_url":"https://github.com/tejasanilshah/the-joy-of-easycrypt","homepage":null,"size":12259,"stargazers_count":4,"watchers_count":4,"language":"eC","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":1,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":1,"open_issues":0,"watchers":4,"default_branch":"master","score":1.0},{"id":175659915,"node_id":"MDEwOlJlcG9zaXRvcnkxNzU2NTk5MTU=","name":"informix-async-postcommit-triggers","full_name":"nagaraju-inturi/informix-async-postcommit-triggers","private":false,"owner":{"login":"nagaraju-inturi","id":29008764,"node_id":"MDQ6VXNlcjI5MDA4NzY0","avatar_url":"https://avatars.githubusercontent.com/u/29008764?v=4","gravatar_id":"","url":"https://api.github.com/users/nagaraju-inturi","html_url":"https://github.com/nagaraju-inturi","followers_url":"https://api.github.com/users/nagaraju-inturi/followers","following_url":"https://api.github.com/users/nagaraju-inturi/following{/other_user}","gists_url":"https://api.github.com/users/nagaraju-inturi/gists{/gist_id}","starred_url":"https://api.github.com/users/nagaraju-inturi/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nagaraju-inturi/subscriptions","organizations_url":"https://api.github.com/users/nagaraju-inturi/orgs","repos_url":"https://api.github.com/users/nagaraju-inturi/repos","events_url":"https://api.github.com/users/nagaraju-inturi/events{/privacy}","received_events_url":"https://api.github.com/users/nagaraju-inturi/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/nagaraju-inturi/informix-async-postcommit-triggers","description":"Informix asynchronous post commit triggers(ASPCT)","fork":false,"url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers","forks_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/forks","keys_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/keys{/key_id}","collaborators_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/teams","hooks_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/hooks","issue_events_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/issues/events{/number}","events_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/events","assignees_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/assignees{/user}","branches_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/branches{/branch}","tags_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/tags","blobs_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/git/refs{/sha}","trees_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/git/trees{/sha}","statuses_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/statuses/{sha}","languages_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/languages","stargazers_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/stargazers","contributors_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/contributors","subscribers_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/subscribers","subscription_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/subscription","commits_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/commits{/sha}","git_commits_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/git/commits{/sha}","comments_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/comments{/number}","issue_comment_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/issues/comments{/number}","contents_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/contents/{+path}","compare_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/compare/{base}...{head}","merges_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/merges","archive_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/downloads","issues_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/issues{/number}","pulls_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/pulls{/number}","milestones_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/milestones{/number}","notifications_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/labels{/name}","releases_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/releases{/id}","deployments_url":"https://api.github.com/repos/nagaraju-inturi/informix-async-postcommit-triggers/deployments","created_at":"2019-03-14T16:30:17Z","updated_at":"2024-07-16T13:33:30Z","pushed_at":"2021-02-24T04:02:28Z","git_url":"git://github.com/nagaraju-inturi/informix-async-postcommit-triggers.git","ssh_url":"git@github.com:nagaraju-inturi/informix-async-postcommit-triggers.git","clone_url":"https://github.com/nagaraju-inturi/informix-async-postcommit-triggers.git","svn_url":"https://github.com/nagaraju-inturi/informix-async-postcommit-triggers","homepage":null,"size":1608,"stargazers_count":4,"watchers_count":4,"language":"eC","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":0,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":0,"open_issues":0,"watchers":4,"default_branch":"master","score":1.0},{"id":970320454,"node_id":"R_kgDOOdXqRg","name":"bgen","full_name":"ecere/bgen","private":false,"owner":{"login":"ecere","id":796320,"node_id":"MDEyOk9yZ2FuaXphdGlvbjc5NjMyMA==","avatar_url":"https://avatars.githubusercontent.com/u/796320?v=4","gravatar_id":"","url":"https://api.github.com/users/ecere","html_url":"https://github.com/ecere","followers_url":"https://api.github.com/users/ecere/followers","following_url":"https://api.github.com/users/ecere/following{/other_user}","gists_url":"https://api.github.com/users/ecere/gists{/gist_id}","starred_url":"https://api.github.com/users/ecere/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ecere/subscriptions","organizations_url":"https://api.github.com/users/ecere/orgs","repos_url":"https://api.github.com/users/ecere/repos","events_url":"https://api.github.com/users/ecere/events{/privacy}","received_events_url":"https://api.github.com/users/ecere/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/ecere/bgen","description":"Automatic generation of object-oriented bindings for C, C++ and Python from eC libraries","fork":false,"url":"https://api.github.com/repos/ecere/bgen","forks_url":"https://api.github.com/repos/ecere/bgen/forks","keys_url":"https://api.github.com/repos/ecere/bgen/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ecere/bgen/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ecere/bgen/teams","hooks_url":"https://api.github.com/repos/ecere/bgen/hooks","issue_events_url":"https://api.github.com/repos/ecere/bgen/issues/events{/number}","events_url":"https://api.github.com/repos/ecere/bgen/events","assignees_url":"https://api.github.com/repos/ecere/bgen/assignees{/user}","branches_url":"https://api.github.com/repos/ecere/bgen/branches{/branch}","tags_url":"https://api.github.com/repos/ecere/bgen/tags","blobs_url":"https://api.github.com/repos/ecere/bgen/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ecere/bgen/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ecere/bgen/git/refs{/sha}","trees_url":"https://api.github.com/repos/ecere/bgen/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ecere/bgen/statuses/{sha}","languages_url":"https://api.github.com/repos/ecere/bgen/languages","stargazers_url":"https://api.github.com/repos/ecere/bgen/stargazers","contributors_url":"https://api.github.com/repos/ecere/bgen/contributors","subscribers_url":"https://api.github.com/repos/ecere/bgen/subscribers","subscription_url":"https://api.github.com/repos/ecere/bgen/subscription","commits_url":"https://api.github.com/repos/ecere/bgen/commits{/sha}","git_commits_url":"https://api.github.com/repos/ecere/bgen/git/commits{/sha}","comments_url":"https://api.github.com/repos/ecere/bgen/comments{/number}","issue_comment_url":"https://api.github.com/repos/ecere/bgen/issues/comments{/number}","contents_url":"https://api.github.com/repos/ecere/bgen/contents/{+path}","compare_url":"https://api.github.com/repos/ecere/bgen/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ecere/bgen/merges","archive_url":"https://api.github.com/repos/ecere/bgen/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ecere/bgen/downloads","issues_url":"https://api.github.com/repos/ecere/bgen/issues{/number}","pulls_url":"https://api.github.com/repos/ecere/bgen/pulls{/number}","milestones_url":"https://api.github.com/repos/ecere/bgen/milestones{/number}","notifications_url":"https://api.github.com/repos/ecere/bgen/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ecere/bgen/labels{/name}","releases_url":"https://api.github.com/repos/ecere/bgen/releases{/id}","deployments_url":"https://api.github.com/repos/ecere/bgen/deployments","created_at":"2025-04-21T20:41:58Z","updated_at":"2025-11-19T07:58:24Z","pushed_at":"2025-04-22T11:32:33Z","git_url":"git://github.com/ecere/bgen.git","ssh_url":"git@github.com:ecere/bgen.git","clone_url":"https://github.com/ecere/bgen.git","svn_url":"https://github.com/ecere/bgen","homepage":null,"size":200,"stargazers_count":4,"watchers_count":4,"language":"eC","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":0,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":0,"open_issues":0,"watchers":4,"default_branch":"main","score":1.0},{"id":800031569,"node_id":"R_kgDOL6-DUQ","name":"zksync-verification","full_name":"NethermindEth/zksync-verification","private":false,"owner":{"login":"NethermindEth","id":43478154,"node_id":"MDEyOk9yZ2FuaXphdGlvbjQzNDc4MTU0","avatar_url":"https://avatars.githubusercontent.com/u/43478154?v=4","gravatar_id":"","url":"https://api.github.com/users/NethermindEth","html_url":"https://github.com/NethermindEth","followers_url":"https://api.github.com/users/NethermindEth/followers","following_url":"https://api.github.com/users/NethermindEth/following{/other_user}","gists_url":"https://api.github.com/users/NethermindEth/gists{/gist_id}","starred_url":"https://api.github.com/users/NethermindEth/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/NethermindEth/subscriptions","organizations_url":"https://api.github.com/users/NethermindEth/orgs","repos_url":"https://api.github.com/users/NethermindEth/repos","events_url":"https://api.github.com/users/NethermindEth/events{/privacy}","received_events_url":"https://api.github.com/users/NethermindEth/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/NethermindEth/zksync-verification","description":"Formal verification of zkSync's on-chain verifier using EasyCrypt.","fork":false,"url":"https://api.github.com/repos/NethermindEth/zksync-verification","forks_url":"https://api.github.com/repos/NethermindEth/zksync-verification/forks","keys_url":"https://api.github.com/repos/NethermindEth/zksync-verification/keys{/key_id}","collaborators_url":"https://api.github.com/repos/NethermindEth/zksync-verification/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/NethermindEth/zksync-verification/teams","hooks_url":"https://api.github.com/repos/NethermindEth/zksync-verification/hooks","issue_events_url":"https://api.github.com/repos/NethermindEth/zksync-verification/issues/events{/number}","events_url":"https://api.github.com/repos/NethermindEth/zksync-verification/events","assignees_url":"https://api.github.com/repos/NethermindEth/zksync-verification/assignees{/user}","branches_url":"https://api.github.com/repos/NethermindEth/zksync-verification/branches{/branch}","tags_url":"https://api.github.com/repos/NethermindEth/zksync-verification/tags","blobs_url":"https://api.github.com/repos/NethermindEth/zksync-verification/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/NethermindEth/zksync-verification/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/NethermindEth/zksync-verification/git/refs{/sha}","trees_url":"https://api.github.com/repos/NethermindEth/zksync-verification/git/trees{/sha}","statuses_url":"https://api.github.com/repos/NethermindEth/zksync-verification/statuses/{sha}","languages_url":"https://api.github.com/repos/NethermindEth/zksync-verification/languages","stargazers_url":"https://api.github.com/repos/NethermindEth/zksync-verification/stargazers","contributors_url":"https://api.github.com/repos/NethermindEth/zksync-verification/contributors","subscribers_url":"https://api.github.com/repos/NethermindEth/zksync-verification/subscribers","subscription_url":"https://api.github.com/repos/NethermindEth/zksync-verification/subscription","commits_url":"https://api.github.com/repos/NethermindEth/zksync-verification/commits{/sha}","git_commits_url":"https://api.github.com/repos/NethermindEth/zksync-verification/git/commits{/sha}","comments_url":"https://api.github.com/repos/NethermindEth/zksync-verification/comments{/number}","issue_comment_url":"https://api.github.com/repos/NethermindEth/zksync-verification/issues/comments{/number}","contents_url":"https://api.github.com/repos/NethermindEth/zksync-verification/contents/{+path}","compare_url":"https://api.github.com/repos/NethermindEth/zksync-verification/compare/{base}...{head}","merges_url":"https://api.github.com/repos/NethermindEth/zksync-verification/merges","archive_url":"https://api.github.com/repos/NethermindEth/zksync-verification/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/NethermindEth/zksync-verification/downloads","issues_url":"https://api.github.com/repos/NethermindEth/zksync-verification/issues{/number}","pulls_url":"https://api.github.com/repos/NethermindEth/zksync-verification/pulls{/number}","milestones_url":"https://api.github.com/repos/NethermindEth/zksync-verification/milestones{/number}","notifications_url":"https://api.github.com/repos/NethermindEth/zksync-verification/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/NethermindEth/zksync-verification/labels{/name}","releases_url":"https://api.github.com/repos/NethermindEth/zksync-verification/releases{/id}","deployments_url":"https://api.github.com/repos/NethermindEth/zksync-verification/deployments","created_at":"2024-05-13T15:12:37Z","updated_at":"2026-05-02T16:47:06Z","pushed_at":"2025-06-20T09:54:23Z","git_url":"git://github.com/NethermindEth/zksync-verification.git","ssh_url":"git@github.com:NethermindEth/zksync-verification.git","clone_url":"https://github.com/NethermindEth/zksync-verification.git","svn_url":"https://github.com/NethermindEth/zksync-verification","homepage":"","size":25756,"stargazers_count":4,"watchers_count":4,"language":"eC","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":0,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":3,"license":{"key":"apache-2.0","name":"Apache License 2.0","spdx_id":"Apache-2.0","url":"https://api.github.com/licenses/apache-2.0","node_id":"MDc6TGljZW5zZTI="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":0,"open_issues":3,"watchers":4,"default_branch":"main","score":1.0},{"id":45571425,"node_id":"MDEwOlJlcG9zaXRvcnk0NTU3MTQyNQ==","name":"benchmarks","full_name":"coco-team/benchmarks","private":false,"owner":{"login":"coco-team","id":13475892,"node_id":"MDEyOk9yZ2FuaXphdGlvbjEzNDc1ODky","avatar_url":"https://avatars.githubusercontent.com/u/13475892?v=4","gravatar_id":"","url":"https://api.github.com/users/coco-team","html_url":"https://github.com/coco-team","followers_url":"https://api.github.com/users/coco-team/followers","following_url":"https://api.github.com/users/coco-team/following{/other_user}","gists_url":"https://api.github.com/users/coco-team/gists{/gist_id}","starred_url":"https://api.github.com/users/coco-team/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/coco-team/subscriptions","organizations_url":"https://api.github.com/users/coco-team/orgs","repos_url":"https://api.github.com/users/coco-team/repos","events_url":"https://api.github.com/users/coco-team/events{/privacy}","received_events_url":"https://api.github.com/users/coco-team/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/coco-team/benchmarks","description":"A set of Lustre, Simulink, Stateflow benchmarks","fork":false,"url":"https://api.github.com/repos/coco-team/benchmarks","forks_url":"https://api.github.com/repos/coco-team/benchmarks/forks","keys_url":"https://api.github.com/repos/coco-team/benchmarks/keys{/key_id}","collaborators_url":"https://api.github.com/repos/coco-team/benchmarks/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/coco-team/benchmarks/teams","hooks_url":"https://api.github.com/repos/coco-team/benchmarks/hooks","issue_events_url":"https://api.github.com/repos/coco-team/benchmarks/issues/events{/number}","events_url":"https://api.github.com/repos/coco-team/benchmarks/events","assignees_url":"https://api.github.com/repos/coco-team/benchmarks/assignees{/user}","branches_url":"https://api.github.com/repos/coco-team/benchmarks/branches{/branch}","tags_url":"https://api.github.com/repos/coco-team/benchmarks/tags","blobs_url":"https://api.github.com/repos/coco-team/benchmarks/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/coco-team/benchmarks/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/coco-team/benchmarks/git/refs{/sha}","trees_url":"https://api.github.com/repos/coco-team/benchmarks/git/trees{/sha}","statuses_url":"https://api.github.com/repos/coco-team/benchmarks/statuses/{sha}","languages_url":"https://api.github.com/repos/coco-team/benchmarks/languages","stargazers_url":"https://api.github.com/repos/coco-team/benchmarks/stargazers","contributors_url":"https://api.github.com/repos/coco-team/benchmarks/contributors","subscribers_url":"https://api.github.com/repos/coco-team/benchmarks/subscribers","subscription_url":"https://api.github.com/repos/coco-team/benchmarks/subscription","commits_url":"https://api.github.com/repos/coco-team/benchmarks/commits{/sha}","git_commits_url":"https://api.github.com/repos/coco-team/benchmarks/git/commits{/sha}","comments_url":"https://api.github.com/repos/coco-team/benchmarks/comments{/number}","issue_comment_url":"https://api.github.com/repos/coco-team/benchmarks/issues/comments{/number}","contents_url":"https://api.github.com/repos/coco-team/benchmarks/contents/{+path}","compare_url":"https://api.github.com/repos/coco-team/benchmarks/compare/{base}...{head}","merges_url":"https://api.github.com/repos/coco-team/benchmarks/merges","archive_url":"https://api.github.com/repos/coco-team/benchmarks/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/coco-team/benchmarks/downloads","issues_url":"https://api.github.com/repos/coco-team/benchmarks/issues{/number}","pulls_url":"https://api.github.com/repos/coco-team/benchmarks/pulls{/number}","milestones_url":"https://api.github.com/repos/coco-team/benchmarks/milestones{/number}","notifications_url":"https://api.github.com/repos/coco-team/benchmarks/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/coco-team/benchmarks/labels{/name}","releases_url":"https://api.github.com/repos/coco-team/benchmarks/releases{/id}","deployments_url":"https://api.github.com/repos/coco-team/benchmarks/deployments","created_at":"2015-11-04T22:23:16Z","updated_at":"2026-01-27T18:36:12Z","pushed_at":"2017-03-16T05:56:39Z","git_url":"git://github.com/coco-team/benchmarks.git","ssh_url":"git@github.com:coco-team/benchmarks.git","clone_url":"https://github.com/coco-team/benchmarks.git","svn_url":"https://github.com/coco-team/benchmarks","homepage":"","size":7609,"stargazers_count":4,"watchers_count":4,"language":"eC","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":1,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":1,"open_issues":1,"watchers":4,"default_branch":"master","score":1.0}]}