{"total_count":2495,"incomplete_results":false,"items":[{"id":264775694,"node_id":"MDEwOlJlcG9zaXRvcnkyNjQ3NzU2OTQ=","name":"Idris2","full_name":"idris-lang/Idris2","private":false,"owner":{"login":"idris-lang","id":5552910,"node_id":"MDEyOk9yZ2FuaXphdGlvbjU1NTI5MTA=","avatar_url":"https://avatars.githubusercontent.com/u/5552910?v=4","gravatar_id":"","url":"https://api.github.com/users/idris-lang","html_url":"https://github.com/idris-lang","followers_url":"https://api.github.com/users/idris-lang/followers","following_url":"https://api.github.com/users/idris-lang/following{/other_user}","gists_url":"https://api.github.com/users/idris-lang/gists{/gist_id}","starred_url":"https://api.github.com/users/idris-lang/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/idris-lang/subscriptions","organizations_url":"https://api.github.com/users/idris-lang/orgs","repos_url":"https://api.github.com/users/idris-lang/repos","events_url":"https://api.github.com/users/idris-lang/events{/privacy}","received_events_url":"https://api.github.com/users/idris-lang/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/idris-lang/Idris2","description":"A purely functional programming language with first class types","fork":false,"url":"https://api.github.com/repos/idris-lang/Idris2","forks_url":"https://api.github.com/repos/idris-lang/Idris2/forks","keys_url":"https://api.github.com/repos/idris-lang/Idris2/keys{/key_id}","collaborators_url":"https://api.github.com/repos/idris-lang/Idris2/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/idris-lang/Idris2/teams","hooks_url":"https://api.github.com/repos/idris-lang/Idris2/hooks","issue_events_url":"https://api.github.com/repos/idris-lang/Idris2/issues/events{/number}","events_url":"https://api.github.com/repos/idris-lang/Idris2/events","assignees_url":"https://api.github.com/repos/idris-lang/Idris2/assignees{/user}","branches_url":"https://api.github.com/repos/idris-lang/Idris2/branches{/branch}","tags_url":"https://api.github.com/repos/idris-lang/Idris2/tags","blobs_url":"https://api.github.com/repos/idris-lang/Idris2/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/idris-lang/Idris2/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/idris-lang/Idris2/git/refs{/sha}","trees_url":"https://api.github.com/repos/idris-lang/Idris2/git/trees{/sha}","statuses_url":"https://api.github.com/repos/idris-lang/Idris2/statuses/{sha}","languages_url":"https://api.github.com/repos/idris-lang/Idris2/languages","stargazers_url":"https://api.github.com/repos/idris-lang/Idris2/stargazers","contributors_url":"https://api.github.com/repos/idris-lang/Idris2/contributors","subscribers_url":"https://api.github.com/repos/idris-lang/Idris2/subscribers","subscription_url":"https://api.github.com/repos/idris-lang/Idris2/subscription","commits_url":"https://api.github.com/repos/idris-lang/Idris2/commits{/sha}","git_commits_url":"https://api.github.com/repos/idris-lang/Idris2/git/commits{/sha}","comments_url":"https://api.github.com/repos/idris-lang/Idris2/comments{/number}","issue_comment_url":"https://api.github.com/repos/idris-lang/Idris2/issues/comments{/number}","contents_url":"https://api.github.com/repos/idris-lang/Idris2/contents/{+path}","compare_url":"https://api.github.com/repos/idris-lang/Idris2/compare/{base}...{head}","merges_url":"https://api.github.com/repos/idris-lang/Idris2/merges","archive_url":"https://api.github.com/repos/idris-lang/Idris2/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/idris-lang/Idris2/downloads","issues_url":"https://api.github.com/repos/idris-lang/Idris2/issues{/number}","pulls_url":"https://api.github.com/repos/idris-lang/Idris2/pulls{/number}","milestones_url":"https://api.github.com/repos/idris-lang/Idris2/milestones{/number}","notifications_url":"https://api.github.com/repos/idris-lang/Idris2/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/idris-lang/Idris2/labels{/name}","releases_url":"https://api.github.com/repos/idris-lang/Idris2/releases{/id}","deployments_url":"https://api.github.com/repos/idris-lang/Idris2/deployments","created_at":"2020-05-17T23:25:25Z","updated_at":"2026-10-10T04:51:12Z","pushed_at":"2026-10-05T23:44:20Z","git_url":"git://github.com/idris-lang/Idris2.git","ssh_url":"git@github.com:idris-lang/Idris2.git","clone_url":"https://github.com/idris-lang/Idris2.git","svn_url":"https://github.com/idris-lang/Idris2","homepage":"https://idris-lang.org/","size":141542,"stargazers_count":3089,"watchers_count":3089,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":422,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":675,"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":["compiler","dependent-types","hacktoberfest"],"visibility":"public","forks":422,"open_issues":675,"watchers":3089,"default_branch":"main","score":1.0},{"id":174434303,"node_id":"MDEwOlJlcG9zaXRvcnkxNzQ0MzQzMDM=","name":"Idris2-boot","full_name":"edwinb/Idris2-boot","private":false,"owner":{"login":"edwinb","id":255926,"node_id":"MDQ6VXNlcjI1NTkyNg==","avatar_url":"https://avatars.githubusercontent.com/u/255926?v=4","gravatar_id":"","url":"https://api.github.com/users/edwinb","html_url":"https://github.com/edwinb","followers_url":"https://api.github.com/users/edwinb/followers","following_url":"https://api.github.com/users/edwinb/following{/other_user}","gists_url":"https://api.github.com/users/edwinb/gists{/gist_id}","starred_url":"https://api.github.com/users/edwinb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/edwinb/subscriptions","organizations_url":"https://api.github.com/users/edwinb/orgs","repos_url":"https://api.github.com/users/edwinb/repos","events_url":"https://api.github.com/users/edwinb/events{/privacy}","received_events_url":"https://api.github.com/users/edwinb/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/edwinb/Idris2-boot","description":"A dependently typed programming language, a successor to Idris","fork":false,"url":"https://api.github.com/repos/edwinb/Idris2-boot","forks_url":"https://api.github.com/repos/edwinb/Idris2-boot/forks","keys_url":"https://api.github.com/repos/edwinb/Idris2-boot/keys{/key_id}","collaborators_url":"https://api.github.com/repos/edwinb/Idris2-boot/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/edwinb/Idris2-boot/teams","hooks_url":"https://api.github.com/repos/edwinb/Idris2-boot/hooks","issue_events_url":"https://api.github.com/repos/edwinb/Idris2-boot/issues/events{/number}","events_url":"https://api.github.com/repos/edwinb/Idris2-boot/events","assignees_url":"https://api.github.com/repos/edwinb/Idris2-boot/assignees{/user}","branches_url":"https://api.github.com/repos/edwinb/Idris2-boot/branches{/branch}","tags_url":"https://api.github.com/repos/edwinb/Idris2-boot/tags","blobs_url":"https://api.github.com/repos/edwinb/Idris2-boot/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/edwinb/Idris2-boot/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/edwinb/Idris2-boot/git/refs{/sha}","trees_url":"https://api.github.com/repos/edwinb/Idris2-boot/git/trees{/sha}","statuses_url":"https://api.github.com/repos/edwinb/Idris2-boot/statuses/{sha}","languages_url":"https://api.github.com/repos/edwinb/Idris2-boot/languages","stargazers_url":"https://api.github.com/repos/edwinb/Idris2-boot/stargazers","contributors_url":"https://api.github.com/repos/edwinb/Idris2-boot/contributors","subscribers_url":"https://api.github.com/repos/edwinb/Idris2-boot/subscribers","subscription_url":"https://api.github.com/repos/edwinb/Idris2-boot/subscription","commits_url":"https://api.github.com/repos/edwinb/Idris2-boot/commits{/sha}","git_commits_url":"https://api.github.com/repos/edwinb/Idris2-boot/git/commits{/sha}","comments_url":"https://api.github.com/repos/edwinb/Idris2-boot/comments{/number}","issue_comment_url":"https://api.github.com/repos/edwinb/Idris2-boot/issues/comments{/number}","contents_url":"https://api.github.com/repos/edwinb/Idris2-boot/contents/{+path}","compare_url":"https://api.github.com/repos/edwinb/Idris2-boot/compare/{base}...{head}","merges_url":"https://api.github.com/repos/edwinb/Idris2-boot/merges","archive_url":"https://api.github.com/repos/edwinb/Idris2-boot/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/edwinb/Idris2-boot/downloads","issues_url":"https://api.github.com/repos/edwinb/Idris2-boot/issues{/number}","pulls_url":"https://api.github.com/repos/edwinb/Idris2-boot/pulls{/number}","milestones_url":"https://api.github.com/repos/edwinb/Idris2-boot/milestones{/number}","notifications_url":"https://api.github.com/repos/edwinb/Idris2-boot/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/edwinb/Idris2-boot/labels{/name}","releases_url":"https://api.github.com/repos/edwinb/Idris2-boot/releases{/id}","deployments_url":"https://api.github.com/repos/edwinb/Idris2-boot/deployments","created_at":"2019-03-07T23:07:48Z","updated_at":"2026-09-18T12:56:48Z","pushed_at":"2020-08-11T13:32:48Z","git_url":"git://github.com/edwinb/Idris2-boot.git","ssh_url":"git@github.com:edwinb/Idris2-boot.git","clone_url":"https://github.com/edwinb/Idris2-boot.git","svn_url":"https://github.com/edwinb/Idris2-boot","homepage":"https://idris-lang.org/","size":3411,"stargazers_count":890,"watchers_count":890,"language":"Idris","has_issues":true,"has_projects":false,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":55,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":76,"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":55,"open_issues":76,"watchers":890,"default_branch":"master","score":1.0},{"id":94640104,"node_id":"MDEwOlJlcG9zaXRvcnk5NDY0MDEwNA==","name":"Blodwen","full_name":"edwinb/Blodwen","private":false,"owner":{"login":"edwinb","id":255926,"node_id":"MDQ6VXNlcjI1NTkyNg==","avatar_url":"https://avatars.githubusercontent.com/u/255926?v=4","gravatar_id":"","url":"https://api.github.com/users/edwinb","html_url":"https://github.com/edwinb","followers_url":"https://api.github.com/users/edwinb/followers","following_url":"https://api.github.com/users/edwinb/following{/other_user}","gists_url":"https://api.github.com/users/edwinb/gists{/gist_id}","starred_url":"https://api.github.com/users/edwinb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/edwinb/subscriptions","organizations_url":"https://api.github.com/users/edwinb/orgs","repos_url":"https://api.github.com/users/edwinb/repos","events_url":"https://api.github.com/users/edwinb/events{/privacy}","received_events_url":"https://api.github.com/users/edwinb/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/edwinb/Blodwen","description":"A prototype successor to Idris","fork":false,"url":"https://api.github.com/repos/edwinb/Blodwen","forks_url":"https://api.github.com/repos/edwinb/Blodwen/forks","keys_url":"https://api.github.com/repos/edwinb/Blodwen/keys{/key_id}","collaborators_url":"https://api.github.com/repos/edwinb/Blodwen/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/edwinb/Blodwen/teams","hooks_url":"https://api.github.com/repos/edwinb/Blodwen/hooks","issue_events_url":"https://api.github.com/repos/edwinb/Blodwen/issues/events{/number}","events_url":"https://api.github.com/repos/edwinb/Blodwen/events","assignees_url":"https://api.github.com/repos/edwinb/Blodwen/assignees{/user}","branches_url":"https://api.github.com/repos/edwinb/Blodwen/branches{/branch}","tags_url":"https://api.github.com/repos/edwinb/Blodwen/tags","blobs_url":"https://api.github.com/repos/edwinb/Blodwen/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/edwinb/Blodwen/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/edwinb/Blodwen/git/refs{/sha}","trees_url":"https://api.github.com/repos/edwinb/Blodwen/git/trees{/sha}","statuses_url":"https://api.github.com/repos/edwinb/Blodwen/statuses/{sha}","languages_url":"https://api.github.com/repos/edwinb/Blodwen/languages","stargazers_url":"https://api.github.com/repos/edwinb/Blodwen/stargazers","contributors_url":"https://api.github.com/repos/edwinb/Blodwen/contributors","subscribers_url":"https://api.github.com/repos/edwinb/Blodwen/subscribers","subscription_url":"https://api.github.com/repos/edwinb/Blodwen/subscription","commits_url":"https://api.github.com/repos/edwinb/Blodwen/commits{/sha}","git_commits_url":"https://api.github.com/repos/edwinb/Blodwen/git/commits{/sha}","comments_url":"https://api.github.com/repos/edwinb/Blodwen/comments{/number}","issue_comment_url":"https://api.github.com/repos/edwinb/Blodwen/issues/comments{/number}","contents_url":"https://api.github.com/repos/edwinb/Blodwen/contents/{+path}","compare_url":"https://api.github.com/repos/edwinb/Blodwen/compare/{base}...{head}","merges_url":"https://api.github.com/repos/edwinb/Blodwen/merges","archive_url":"https://api.github.com/repos/edwinb/Blodwen/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/edwinb/Blodwen/downloads","issues_url":"https://api.github.com/repos/edwinb/Blodwen/issues{/number}","pulls_url":"https://api.github.com/repos/edwinb/Blodwen/pulls{/number}","milestones_url":"https://api.github.com/repos/edwinb/Blodwen/milestones{/number}","notifications_url":"https://api.github.com/repos/edwinb/Blodwen/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/edwinb/Blodwen/labels{/name}","releases_url":"https://api.github.com/repos/edwinb/Blodwen/releases{/id}","deployments_url":"https://api.github.com/repos/edwinb/Blodwen/deployments","created_at":"2017-06-17T17:50:54Z","updated_at":"2026-08-11T13:03:07Z","pushed_at":"2019-07-08T22:02:07Z","git_url":"git://github.com/edwinb/Blodwen.git","ssh_url":"git@github.com:edwinb/Blodwen.git","clone_url":"https://github.com/edwinb/Blodwen.git","svn_url":"https://github.com/edwinb/Blodwen","homepage":"","size":1998,"stargazers_count":540,"watchers_count":540,"language":"Idris","has_issues":false,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":35,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":7,"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":35,"open_issues":7,"watchers":540,"default_branch":"master","score":1.0},{"id":63519226,"node_id":"MDEwOlJlcG9zaXRvcnk2MzUxOTIyNg==","name":"idris-jvm","full_name":"mmhelloworld/idris-jvm","private":false,"owner":{"login":"mmhelloworld","id":771425,"node_id":"MDQ6VXNlcjc3MTQyNQ==","avatar_url":"https://avatars.githubusercontent.com/u/771425?v=4","gravatar_id":"","url":"https://api.github.com/users/mmhelloworld","html_url":"https://github.com/mmhelloworld","followers_url":"https://api.github.com/users/mmhelloworld/followers","following_url":"https://api.github.com/users/mmhelloworld/following{/other_user}","gists_url":"https://api.github.com/users/mmhelloworld/gists{/gist_id}","starred_url":"https://api.github.com/users/mmhelloworld/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mmhelloworld/subscriptions","organizations_url":"https://api.github.com/users/mmhelloworld/orgs","repos_url":"https://api.github.com/users/mmhelloworld/repos","events_url":"https://api.github.com/users/mmhelloworld/events{/privacy}","received_events_url":"https://api.github.com/users/mmhelloworld/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/mmhelloworld/idris-jvm","description":"Idris on the JVM","fork":false,"url":"https://api.github.com/repos/mmhelloworld/idris-jvm","forks_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/forks","keys_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/keys{/key_id}","collaborators_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/teams","hooks_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/hooks","issue_events_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/issues/events{/number}","events_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/events","assignees_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/assignees{/user}","branches_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/branches{/branch}","tags_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/tags","blobs_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/git/refs{/sha}","trees_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/git/trees{/sha}","statuses_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/statuses/{sha}","languages_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/languages","stargazers_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/stargazers","contributors_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/contributors","subscribers_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/subscribers","subscription_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/subscription","commits_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/commits{/sha}","git_commits_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/git/commits{/sha}","comments_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/comments{/number}","issue_comment_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/issues/comments{/number}","contents_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/contents/{+path}","compare_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/compare/{base}...{head}","merges_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/merges","archive_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/downloads","issues_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/issues{/number}","pulls_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/pulls{/number}","milestones_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/milestones{/number}","notifications_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/labels{/name}","releases_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/releases{/id}","deployments_url":"https://api.github.com/repos/mmhelloworld/idris-jvm/deployments","created_at":"2016-07-17T07:06:57Z","updated_at":"2026-09-18T12:56:35Z","pushed_at":"2026-09-05T02:32:26Z","git_url":"git://github.com/mmhelloworld/idris-jvm.git","ssh_url":"git@github.com:mmhelloworld/idris-jvm.git","clone_url":"https://github.com/mmhelloworld/idris-jvm.git","svn_url":"https://github.com/mmhelloworld/idris-jvm","homepage":"https://idris-jvm.readthedocs.io/","size":59360,"stargazers_count":482,"watchers_count":482,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":true,"forks_count":29,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":3,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["idris","java","jvm"],"visibility":"public","forks":29,"open_issues":3,"watchers":482,"default_branch":"main","score":1.0},{"id":61795011,"node_id":"MDEwOlJlcG9zaXRvcnk2MTc5NTAxMQ==","name":"software-foundations","full_name":"idris-hackers/software-foundations","private":false,"owner":{"login":"idris-hackers","id":3963683,"node_id":"MDEyOk9yZ2FuaXphdGlvbjM5NjM2ODM=","avatar_url":"https://avatars.githubusercontent.com/u/3963683?v=4","gravatar_id":"","url":"https://api.github.com/users/idris-hackers","html_url":"https://github.com/idris-hackers","followers_url":"https://api.github.com/users/idris-hackers/followers","following_url":"https://api.github.com/users/idris-hackers/following{/other_user}","gists_url":"https://api.github.com/users/idris-hackers/gists{/gist_id}","starred_url":"https://api.github.com/users/idris-hackers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/idris-hackers/subscriptions","organizations_url":"https://api.github.com/users/idris-hackers/orgs","repos_url":"https://api.github.com/users/idris-hackers/repos","events_url":"https://api.github.com/users/idris-hackers/events{/privacy}","received_events_url":"https://api.github.com/users/idris-hackers/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/idris-hackers/software-foundations","description":"Software Foundations in Idris","fork":false,"url":"https://api.github.com/repos/idris-hackers/software-foundations","forks_url":"https://api.github.com/repos/idris-hackers/software-foundations/forks","keys_url":"https://api.github.com/repos/idris-hackers/software-foundations/keys{/key_id}","collaborators_url":"https://api.github.com/repos/idris-hackers/software-foundations/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/idris-hackers/software-foundations/teams","hooks_url":"https://api.github.com/repos/idris-hackers/software-foundations/hooks","issue_events_url":"https://api.github.com/repos/idris-hackers/software-foundations/issues/events{/number}","events_url":"https://api.github.com/repos/idris-hackers/software-foundations/events","assignees_url":"https://api.github.com/repos/idris-hackers/software-foundations/assignees{/user}","branches_url":"https://api.github.com/repos/idris-hackers/software-foundations/branches{/branch}","tags_url":"https://api.github.com/repos/idris-hackers/software-foundations/tags","blobs_url":"https://api.github.com/repos/idris-hackers/software-foundations/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/idris-hackers/software-foundations/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/idris-hackers/software-foundations/git/refs{/sha}","trees_url":"https://api.github.com/repos/idris-hackers/software-foundations/git/trees{/sha}","statuses_url":"https://api.github.com/repos/idris-hackers/software-foundations/statuses/{sha}","languages_url":"https://api.github.com/repos/idris-hackers/software-foundations/languages","stargazers_url":"https://api.github.com/repos/idris-hackers/software-foundations/stargazers","contributors_url":"https://api.github.com/repos/idris-hackers/software-foundations/contributors","subscribers_url":"https://api.github.com/repos/idris-hackers/software-foundations/subscribers","subscription_url":"https://api.github.com/repos/idris-hackers/software-foundations/subscription","commits_url":"https://api.github.com/repos/idris-hackers/software-foundations/commits{/sha}","git_commits_url":"https://api.github.com/repos/idris-hackers/software-foundations/git/commits{/sha}","comments_url":"https://api.github.com/repos/idris-hackers/software-foundations/comments{/number}","issue_comment_url":"https://api.github.com/repos/idris-hackers/software-foundations/issues/comments{/number}","contents_url":"https://api.github.com/repos/idris-hackers/software-foundations/contents/{+path}","compare_url":"https://api.github.com/repos/idris-hackers/software-foundations/compare/{base}...{head}","merges_url":"https://api.github.com/repos/idris-hackers/software-foundations/merges","archive_url":"https://api.github.com/repos/idris-hackers/software-foundations/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/idris-hackers/software-foundations/downloads","issues_url":"https://api.github.com/repos/idris-hackers/software-foundations/issues{/number}","pulls_url":"https://api.github.com/repos/idris-hackers/software-foundations/pulls{/number}","milestones_url":"https://api.github.com/repos/idris-hackers/software-foundations/milestones{/number}","notifications_url":"https://api.github.com/repos/idris-hackers/software-foundations/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/idris-hackers/software-foundations/labels{/name}","releases_url":"https://api.github.com/repos/idris-hackers/software-foundations/releases{/id}","deployments_url":"https://api.github.com/repos/idris-hackers/software-foundations/deployments","created_at":"2016-06-23T10:01:40Z","updated_at":"2026-09-30T17:49:54Z","pushed_at":"2019-05-15T19:06:08Z","git_url":"git://github.com/idris-hackers/software-foundations.git","ssh_url":"git@github.com:idris-hackers/software-foundations.git","clone_url":"https://github.com/idris-hackers/software-foundations.git","svn_url":"https://github.com/idris-hackers/software-foundations","homepage":"https://idris-hackers.github.io/software-foundations","size":4461,"stargazers_count":458,"watchers_count":458,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":true,"has_discussions":false,"forks_count":36,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":15,"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":["book","computer-science","idris","theorem-proving"],"visibility":"public","forks":36,"open_issues":15,"watchers":458,"default_branch":"develop","score":1.0},{"id":98797847,"node_id":"MDEwOlJlcG9zaXRvcnk5ODc5Nzg0Nw==","name":"awesome-idris","full_name":"joaomilho/awesome-idris","private":false,"owner":{"login":"joaomilho","id":308196,"node_id":"MDQ6VXNlcjMwODE5Ng==","avatar_url":"https://avatars.githubusercontent.com/u/308196?v=4","gravatar_id":"","url":"https://api.github.com/users/joaomilho","html_url":"https://github.com/joaomilho","followers_url":"https://api.github.com/users/joaomilho/followers","following_url":"https://api.github.com/users/joaomilho/following{/other_user}","gists_url":"https://api.github.com/users/joaomilho/gists{/gist_id}","starred_url":"https://api.github.com/users/joaomilho/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/joaomilho/subscriptions","organizations_url":"https://api.github.com/users/joaomilho/orgs","repos_url":"https://api.github.com/users/joaomilho/repos","events_url":"https://api.github.com/users/joaomilho/events{/privacy}","received_events_url":"https://api.github.com/users/joaomilho/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/joaomilho/awesome-idris","description":"𝛌 Awesome Idris resources","fork":false,"url":"https://api.github.com/repos/joaomilho/awesome-idris","forks_url":"https://api.github.com/repos/joaomilho/awesome-idris/forks","keys_url":"https://api.github.com/repos/joaomilho/awesome-idris/keys{/key_id}","collaborators_url":"https://api.github.com/repos/joaomilho/awesome-idris/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/joaomilho/awesome-idris/teams","hooks_url":"https://api.github.com/repos/joaomilho/awesome-idris/hooks","issue_events_url":"https://api.github.com/repos/joaomilho/awesome-idris/issues/events{/number}","events_url":"https://api.github.com/repos/joaomilho/awesome-idris/events","assignees_url":"https://api.github.com/repos/joaomilho/awesome-idris/assignees{/user}","branches_url":"https://api.github.com/repos/joaomilho/awesome-idris/branches{/branch}","tags_url":"https://api.github.com/repos/joaomilho/awesome-idris/tags","blobs_url":"https://api.github.com/repos/joaomilho/awesome-idris/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/joaomilho/awesome-idris/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/joaomilho/awesome-idris/git/refs{/sha}","trees_url":"https://api.github.com/repos/joaomilho/awesome-idris/git/trees{/sha}","statuses_url":"https://api.github.com/repos/joaomilho/awesome-idris/statuses/{sha}","languages_url":"https://api.github.com/repos/joaomilho/awesome-idris/languages","stargazers_url":"https://api.github.com/repos/joaomilho/awesome-idris/stargazers","contributors_url":"https://api.github.com/repos/joaomilho/awesome-idris/contributors","subscribers_url":"https://api.github.com/repos/joaomilho/awesome-idris/subscribers","subscription_url":"https://api.github.com/repos/joaomilho/awesome-idris/subscription","commits_url":"https://api.github.com/repos/joaomilho/awesome-idris/commits{/sha}","git_commits_url":"https://api.github.com/repos/joaomilho/awesome-idris/git/commits{/sha}","comments_url":"https://api.github.com/repos/joaomilho/awesome-idris/comments{/number}","issue_comment_url":"https://api.github.com/repos/joaomilho/awesome-idris/issues/comments{/number}","contents_url":"https://api.github.com/repos/joaomilho/awesome-idris/contents/{+path}","compare_url":"https://api.github.com/repos/joaomilho/awesome-idris/compare/{base}...{head}","merges_url":"https://api.github.com/repos/joaomilho/awesome-idris/merges","archive_url":"https://api.github.com/repos/joaomilho/awesome-idris/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/joaomilho/awesome-idris/downloads","issues_url":"https://api.github.com/repos/joaomilho/awesome-idris/issues{/number}","pulls_url":"https://api.github.com/repos/joaomilho/awesome-idris/pulls{/number}","milestones_url":"https://api.github.com/repos/joaomilho/awesome-idris/milestones{/number}","notifications_url":"https://api.github.com/repos/joaomilho/awesome-idris/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/joaomilho/awesome-idris/labels{/name}","releases_url":"https://api.github.com/repos/joaomilho/awesome-idris/releases{/id}","deployments_url":"https://api.github.com/repos/joaomilho/awesome-idris/deployments","created_at":"2017-07-30T13:03:29Z","updated_at":"2026-08-02T17:59:29Z","pushed_at":"2020-02-20T19:56:12Z","git_url":"git://github.com/joaomilho/awesome-idris.git","ssh_url":"git@github.com:joaomilho/awesome-idris.git","clone_url":"https://github.com/joaomilho/awesome-idris.git","svn_url":"https://github.com/joaomilho/awesome-idris","homepage":"","size":28,"stargazers_count":414,"watchers_count":414,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":18,"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":["awesome","awesome-list","functional-programming","haskell","idris","type-driven-development"],"visibility":"public","forks":18,"open_issues":1,"watchers":414,"default_branch":"master","score":1.0},{"id":106309432,"node_id":"MDEwOlJlcG9zaXRvcnkxMDYzMDk0MzI=","name":"typedefs","full_name":"typedefs/typedefs","private":false,"owner":{"login":"typedefs","id":25362076,"node_id":"MDEyOk9yZ2FuaXphdGlvbjI1MzYyMDc2","avatar_url":"https://avatars.githubusercontent.com/u/25362076?v=4","gravatar_id":"","url":"https://api.github.com/users/typedefs","html_url":"https://github.com/typedefs","followers_url":"https://api.github.com/users/typedefs/followers","following_url":"https://api.github.com/users/typedefs/following{/other_user}","gists_url":"https://api.github.com/users/typedefs/gists{/gist_id}","starred_url":"https://api.github.com/users/typedefs/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/typedefs/subscriptions","organizations_url":"https://api.github.com/users/typedefs/orgs","repos_url":"https://api.github.com/users/typedefs/repos","events_url":"https://api.github.com/users/typedefs/events{/privacy}","received_events_url":"https://api.github.com/users/typedefs/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/typedefs/typedefs","description":"Programming language agnostic type construction language based on polynomials.","fork":false,"url":"https://api.github.com/repos/typedefs/typedefs","forks_url":"https://api.github.com/repos/typedefs/typedefs/forks","keys_url":"https://api.github.com/repos/typedefs/typedefs/keys{/key_id}","collaborators_url":"https://api.github.com/repos/typedefs/typedefs/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/typedefs/typedefs/teams","hooks_url":"https://api.github.com/repos/typedefs/typedefs/hooks","issue_events_url":"https://api.github.com/repos/typedefs/typedefs/issues/events{/number}","events_url":"https://api.github.com/repos/typedefs/typedefs/events","assignees_url":"https://api.github.com/repos/typedefs/typedefs/assignees{/user}","branches_url":"https://api.github.com/repos/typedefs/typedefs/branches{/branch}","tags_url":"https://api.github.com/repos/typedefs/typedefs/tags","blobs_url":"https://api.github.com/repos/typedefs/typedefs/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/typedefs/typedefs/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/typedefs/typedefs/git/refs{/sha}","trees_url":"https://api.github.com/repos/typedefs/typedefs/git/trees{/sha}","statuses_url":"https://api.github.com/repos/typedefs/typedefs/statuses/{sha}","languages_url":"https://api.github.com/repos/typedefs/typedefs/languages","stargazers_url":"https://api.github.com/repos/typedefs/typedefs/stargazers","contributors_url":"https://api.github.com/repos/typedefs/typedefs/contributors","subscribers_url":"https://api.github.com/repos/typedefs/typedefs/subscribers","subscription_url":"https://api.github.com/repos/typedefs/typedefs/subscription","commits_url":"https://api.github.com/repos/typedefs/typedefs/commits{/sha}","git_commits_url":"https://api.github.com/repos/typedefs/typedefs/git/commits{/sha}","comments_url":"https://api.github.com/repos/typedefs/typedefs/comments{/number}","issue_comment_url":"https://api.github.com/repos/typedefs/typedefs/issues/comments{/number}","contents_url":"https://api.github.com/repos/typedefs/typedefs/contents/{+path}","compare_url":"https://api.github.com/repos/typedefs/typedefs/compare/{base}...{head}","merges_url":"https://api.github.com/repos/typedefs/typedefs/merges","archive_url":"https://api.github.com/repos/typedefs/typedefs/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/typedefs/typedefs/downloads","issues_url":"https://api.github.com/repos/typedefs/typedefs/issues{/number}","pulls_url":"https://api.github.com/repos/typedefs/typedefs/pulls{/number}","milestones_url":"https://api.github.com/repos/typedefs/typedefs/milestones{/number}","notifications_url":"https://api.github.com/repos/typedefs/typedefs/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/typedefs/typedefs/labels{/name}","releases_url":"https://api.github.com/repos/typedefs/typedefs/releases{/id}","deployments_url":"https://api.github.com/repos/typedefs/typedefs/deployments","created_at":"2017-10-09T16:44:56Z","updated_at":"2026-09-30T15:28:26Z","pushed_at":"2024-05-29T23:39:55Z","git_url":"git://github.com/typedefs/typedefs.git","ssh_url":"git@github.com:typedefs/typedefs.git","clone_url":"https://github.com/typedefs/typedefs.git","svn_url":"https://github.com/typedefs/typedefs","homepage":"http://typedefs.com/","size":712,"stargazers_count":373,"watchers_count":373,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":18,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":55,"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":["category-theory","f-algebras","marshalling","serialization","serialization-library","type-definitions","type-theory","types"],"visibility":"public","forks":18,"open_issues":55,"watchers":373,"default_branch":"master","score":1.0},{"id":177857476,"node_id":"MDEwOlJlcG9zaXRvcnkxNzc4NTc0NzY=","name":"idris-ct","full_name":"statebox/idris-ct","private":false,"owner":{"login":"statebox","id":9095656,"node_id":"MDEyOk9yZ2FuaXphdGlvbjkwOTU2NTY=","avatar_url":"https://avatars.githubusercontent.com/u/9095656?v=4","gravatar_id":"","url":"https://api.github.com/users/statebox","html_url":"https://github.com/statebox","followers_url":"https://api.github.com/users/statebox/followers","following_url":"https://api.github.com/users/statebox/following{/other_user}","gists_url":"https://api.github.com/users/statebox/gists{/gist_id}","starred_url":"https://api.github.com/users/statebox/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/statebox/subscriptions","organizations_url":"https://api.github.com/users/statebox/orgs","repos_url":"https://api.github.com/users/statebox/repos","events_url":"https://api.github.com/users/statebox/events{/privacy}","received_events_url":"https://api.github.com/users/statebox/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/statebox/idris-ct","description":"formally verified category theory library","fork":false,"url":"https://api.github.com/repos/statebox/idris-ct","forks_url":"https://api.github.com/repos/statebox/idris-ct/forks","keys_url":"https://api.github.com/repos/statebox/idris-ct/keys{/key_id}","collaborators_url":"https://api.github.com/repos/statebox/idris-ct/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/statebox/idris-ct/teams","hooks_url":"https://api.github.com/repos/statebox/idris-ct/hooks","issue_events_url":"https://api.github.com/repos/statebox/idris-ct/issues/events{/number}","events_url":"https://api.github.com/repos/statebox/idris-ct/events","assignees_url":"https://api.github.com/repos/statebox/idris-ct/assignees{/user}","branches_url":"https://api.github.com/repos/statebox/idris-ct/branches{/branch}","tags_url":"https://api.github.com/repos/statebox/idris-ct/tags","blobs_url":"https://api.github.com/repos/statebox/idris-ct/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/statebox/idris-ct/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/statebox/idris-ct/git/refs{/sha}","trees_url":"https://api.github.com/repos/statebox/idris-ct/git/trees{/sha}","statuses_url":"https://api.github.com/repos/statebox/idris-ct/statuses/{sha}","languages_url":"https://api.github.com/repos/statebox/idris-ct/languages","stargazers_url":"https://api.github.com/repos/statebox/idris-ct/stargazers","contributors_url":"https://api.github.com/repos/statebox/idris-ct/contributors","subscribers_url":"https://api.github.com/repos/statebox/idris-ct/subscribers","subscription_url":"https://api.github.com/repos/statebox/idris-ct/subscription","commits_url":"https://api.github.com/repos/statebox/idris-ct/commits{/sha}","git_commits_url":"https://api.github.com/repos/statebox/idris-ct/git/commits{/sha}","comments_url":"https://api.github.com/repos/statebox/idris-ct/comments{/number}","issue_comment_url":"https://api.github.com/repos/statebox/idris-ct/issues/comments{/number}","contents_url":"https://api.github.com/repos/statebox/idris-ct/contents/{+path}","compare_url":"https://api.github.com/repos/statebox/idris-ct/compare/{base}...{head}","merges_url":"https://api.github.com/repos/statebox/idris-ct/merges","archive_url":"https://api.github.com/repos/statebox/idris-ct/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/statebox/idris-ct/downloads","issues_url":"https://api.github.com/repos/statebox/idris-ct/issues{/number}","pulls_url":"https://api.github.com/repos/statebox/idris-ct/pulls{/number}","milestones_url":"https://api.github.com/repos/statebox/idris-ct/milestones{/number}","notifications_url":"https://api.github.com/repos/statebox/idris-ct/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/statebox/idris-ct/labels{/name}","releases_url":"https://api.github.com/repos/statebox/idris-ct/releases{/id}","deployments_url":"https://api.github.com/repos/statebox/idris-ct/deployments","created_at":"2019-03-26T19:42:25Z","updated_at":"2026-09-18T12:56:48Z","pushed_at":"2020-06-23T14:34:39Z","git_url":"git://github.com/statebox/idris-ct.git","ssh_url":"git@github.com:statebox/idris-ct.git","clone_url":"https://github.com/statebox/idris-ct.git","svn_url":"https://github.com/statebox/idris-ct","homepage":"","size":385,"stargazers_count":272,"watchers_count":272,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":26,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":30,"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":["category-theory","formal-proofs","formal-verification"],"visibility":"public","forks":26,"open_issues":30,"watchers":272,"default_branch":"master","score":1.0},{"id":13540219,"node_id":"MDEwOlJlcG9zaXRvcnkxMzU0MDIxOQ==","name":"lightyear","full_name":"ziman/lightyear","private":false,"owner":{"login":"ziman","id":316753,"node_id":"MDQ6VXNlcjMxNjc1Mw==","avatar_url":"https://avatars.githubusercontent.com/u/316753?v=4","gravatar_id":"","url":"https://api.github.com/users/ziman","html_url":"https://github.com/ziman","followers_url":"https://api.github.com/users/ziman/followers","following_url":"https://api.github.com/users/ziman/following{/other_user}","gists_url":"https://api.github.com/users/ziman/gists{/gist_id}","starred_url":"https://api.github.com/users/ziman/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ziman/subscriptions","organizations_url":"https://api.github.com/users/ziman/orgs","repos_url":"https://api.github.com/users/ziman/repos","events_url":"https://api.github.com/users/ziman/events{/privacy}","received_events_url":"https://api.github.com/users/ziman/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/ziman/lightyear","description":"Parser combinators for Idris","fork":false,"url":"https://api.github.com/repos/ziman/lightyear","forks_url":"https://api.github.com/repos/ziman/lightyear/forks","keys_url":"https://api.github.com/repos/ziman/lightyear/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ziman/lightyear/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ziman/lightyear/teams","hooks_url":"https://api.github.com/repos/ziman/lightyear/hooks","issue_events_url":"https://api.github.com/repos/ziman/lightyear/issues/events{/number}","events_url":"https://api.github.com/repos/ziman/lightyear/events","assignees_url":"https://api.github.com/repos/ziman/lightyear/assignees{/user}","branches_url":"https://api.github.com/repos/ziman/lightyear/branches{/branch}","tags_url":"https://api.github.com/repos/ziman/lightyear/tags","blobs_url":"https://api.github.com/repos/ziman/lightyear/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ziman/lightyear/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ziman/lightyear/git/refs{/sha}","trees_url":"https://api.github.com/repos/ziman/lightyear/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ziman/lightyear/statuses/{sha}","languages_url":"https://api.github.com/repos/ziman/lightyear/languages","stargazers_url":"https://api.github.com/repos/ziman/lightyear/stargazers","contributors_url":"https://api.github.com/repos/ziman/lightyear/contributors","subscribers_url":"https://api.github.com/repos/ziman/lightyear/subscribers","subscription_url":"https://api.github.com/repos/ziman/lightyear/subscription","commits_url":"https://api.github.com/repos/ziman/lightyear/commits{/sha}","git_commits_url":"https://api.github.com/repos/ziman/lightyear/git/commits{/sha}","comments_url":"https://api.github.com/repos/ziman/lightyear/comments{/number}","issue_comment_url":"https://api.github.com/repos/ziman/lightyear/issues/comments{/number}","contents_url":"https://api.github.com/repos/ziman/lightyear/contents/{+path}","compare_url":"https://api.github.com/repos/ziman/lightyear/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ziman/lightyear/merges","archive_url":"https://api.github.com/repos/ziman/lightyear/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ziman/lightyear/downloads","issues_url":"https://api.github.com/repos/ziman/lightyear/issues{/number}","pulls_url":"https://api.github.com/repos/ziman/lightyear/pulls{/number}","milestones_url":"https://api.github.com/repos/ziman/lightyear/milestones{/number}","notifications_url":"https://api.github.com/repos/ziman/lightyear/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ziman/lightyear/labels{/name}","releases_url":"https://api.github.com/repos/ziman/lightyear/releases{/id}","deployments_url":"https://api.github.com/repos/ziman/lightyear/deployments","created_at":"2013-10-13T14:07:14Z","updated_at":"2026-09-08T10:37:35Z","pushed_at":"2019-04-11T05:47:44Z","git_url":"git://github.com/ziman/lightyear.git","ssh_url":"git@github.com:ziman/lightyear.git","clone_url":"https://github.com/ziman/lightyear.git","svn_url":"https://github.com/ziman/lightyear","homepage":"","size":137,"stargazers_count":244,"watchers_count":244,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":43,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":10,"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":43,"open_issues":10,"watchers":244,"default_branch":"master","score":1.0},{"id":442770933,"node_id":"R_kgDOGmQl9Q","name":"idris2-tutorial","full_name":"stefan-hoeck/idris2-tutorial","private":false,"owner":{"login":"stefan-hoeck","id":2195420,"node_id":"MDQ6VXNlcjIxOTU0MjA=","avatar_url":"https://avatars.githubusercontent.com/u/2195420?v=4","gravatar_id":"","url":"https://api.github.com/users/stefan-hoeck","html_url":"https://github.com/stefan-hoeck","followers_url":"https://api.github.com/users/stefan-hoeck/followers","following_url":"https://api.github.com/users/stefan-hoeck/following{/other_user}","gists_url":"https://api.github.com/users/stefan-hoeck/gists{/gist_id}","starred_url":"https://api.github.com/users/stefan-hoeck/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stefan-hoeck/subscriptions","organizations_url":"https://api.github.com/users/stefan-hoeck/orgs","repos_url":"https://api.github.com/users/stefan-hoeck/repos","events_url":"https://api.github.com/users/stefan-hoeck/events{/privacy}","received_events_url":"https://api.github.com/users/stefan-hoeck/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/stefan-hoeck/idris2-tutorial","description":null,"fork":false,"url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial","forks_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/forks","keys_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/keys{/key_id}","collaborators_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/teams","hooks_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/hooks","issue_events_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/issues/events{/number}","events_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/events","assignees_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/assignees{/user}","branches_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/branches{/branch}","tags_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/tags","blobs_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/git/refs{/sha}","trees_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/git/trees{/sha}","statuses_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/statuses/{sha}","languages_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/languages","stargazers_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/stargazers","contributors_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/contributors","subscribers_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/subscribers","subscription_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/subscription","commits_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/commits{/sha}","git_commits_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/git/commits{/sha}","comments_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/comments{/number}","issue_comment_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/issues/comments{/number}","contents_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/contents/{+path}","compare_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/compare/{base}...{head}","merges_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/merges","archive_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/downloads","issues_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/issues{/number}","pulls_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/pulls{/number}","milestones_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/milestones{/number}","notifications_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/labels{/name}","releases_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/releases{/id}","deployments_url":"https://api.github.com/repos/stefan-hoeck/idris2-tutorial/deployments","created_at":"2021-12-29T12:48:23Z","updated_at":"2026-10-02T02:01:44Z","pushed_at":"2026-02-15T05:46:34Z","git_url":"git://github.com/stefan-hoeck/idris2-tutorial.git","ssh_url":"git@github.com:stefan-hoeck/idris2-tutorial.git","clone_url":"https://github.com/stefan-hoeck/idris2-tutorial.git","svn_url":"https://github.com/stefan-hoeck/idris2-tutorial","homepage":null,"size":290,"stargazers_count":239,"watchers_count":239,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":true,"forks_count":30,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":8,"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":30,"open_issues":8,"watchers":239,"default_branch":"main","score":1.0},{"id":21372955,"node_id":"MDEwOlJlcG9zaXRvcnkyMTM3Mjk1NQ==","name":"iridium","full_name":"puffnfresh/iridium","private":false,"owner":{"login":"puffnfresh","id":37715,"node_id":"MDQ6VXNlcjM3NzE1","avatar_url":"https://avatars.githubusercontent.com/u/37715?v=4","gravatar_id":"","url":"https://api.github.com/users/puffnfresh","html_url":"https://github.com/puffnfresh","followers_url":"https://api.github.com/users/puffnfresh/followers","following_url":"https://api.github.com/users/puffnfresh/following{/other_user}","gists_url":"https://api.github.com/users/puffnfresh/gists{/gist_id}","starred_url":"https://api.github.com/users/puffnfresh/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/puffnfresh/subscriptions","organizations_url":"https://api.github.com/users/puffnfresh/orgs","repos_url":"https://api.github.com/users/puffnfresh/repos","events_url":"https://api.github.com/users/puffnfresh/events{/privacy}","received_events_url":"https://api.github.com/users/puffnfresh/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/puffnfresh/iridium","description":"xmonad with the X11 abstracted and configured with Idris","fork":false,"url":"https://api.github.com/repos/puffnfresh/iridium","forks_url":"https://api.github.com/repos/puffnfresh/iridium/forks","keys_url":"https://api.github.com/repos/puffnfresh/iridium/keys{/key_id}","collaborators_url":"https://api.github.com/repos/puffnfresh/iridium/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/puffnfresh/iridium/teams","hooks_url":"https://api.github.com/repos/puffnfresh/iridium/hooks","issue_events_url":"https://api.github.com/repos/puffnfresh/iridium/issues/events{/number}","events_url":"https://api.github.com/repos/puffnfresh/iridium/events","assignees_url":"https://api.github.com/repos/puffnfresh/iridium/assignees{/user}","branches_url":"https://api.github.com/repos/puffnfresh/iridium/branches{/branch}","tags_url":"https://api.github.com/repos/puffnfresh/iridium/tags","blobs_url":"https://api.github.com/repos/puffnfresh/iridium/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/puffnfresh/iridium/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/puffnfresh/iridium/git/refs{/sha}","trees_url":"https://api.github.com/repos/puffnfresh/iridium/git/trees{/sha}","statuses_url":"https://api.github.com/repos/puffnfresh/iridium/statuses/{sha}","languages_url":"https://api.github.com/repos/puffnfresh/iridium/languages","stargazers_url":"https://api.github.com/repos/puffnfresh/iridium/stargazers","contributors_url":"https://api.github.com/repos/puffnfresh/iridium/contributors","subscribers_url":"https://api.github.com/repos/puffnfresh/iridium/subscribers","subscription_url":"https://api.github.com/repos/puffnfresh/iridium/subscription","commits_url":"https://api.github.com/repos/puffnfresh/iridium/commits{/sha}","git_commits_url":"https://api.github.com/repos/puffnfresh/iridium/git/commits{/sha}","comments_url":"https://api.github.com/repos/puffnfresh/iridium/comments{/number}","issue_comment_url":"https://api.github.com/repos/puffnfresh/iridium/issues/comments{/number}","contents_url":"https://api.github.com/repos/puffnfresh/iridium/contents/{+path}","compare_url":"https://api.github.com/repos/puffnfresh/iridium/compare/{base}...{head}","merges_url":"https://api.github.com/repos/puffnfresh/iridium/merges","archive_url":"https://api.github.com/repos/puffnfresh/iridium/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/puffnfresh/iridium/downloads","issues_url":"https://api.github.com/repos/puffnfresh/iridium/issues{/number}","pulls_url":"https://api.github.com/repos/puffnfresh/iridium/pulls{/number}","milestones_url":"https://api.github.com/repos/puffnfresh/iridium/milestones{/number}","notifications_url":"https://api.github.com/repos/puffnfresh/iridium/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/puffnfresh/iridium/labels{/name}","releases_url":"https://api.github.com/repos/puffnfresh/iridium/releases{/id}","deployments_url":"https://api.github.com/repos/puffnfresh/iridium/deployments","created_at":"2014-07-01T02:39:22Z","updated_at":"2026-09-08T21:03:35Z","pushed_at":"2019-05-31T13:14:39Z","git_url":"git://github.com/puffnfresh/iridium.git","ssh_url":"git@github.com:puffnfresh/iridium.git","clone_url":"https://github.com/puffnfresh/iridium.git","svn_url":"https://github.com/puffnfresh/iridium","homepage":null,"size":624,"stargazers_count":209,"watchers_count":209,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":9,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":6,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":9,"open_issues":6,"watchers":209,"default_branch":"master","score":1.0},{"id":324272819,"node_id":"MDEwOlJlcG9zaXRvcnkzMjQyNzI4MTk=","name":"idris2-lsp","full_name":"idris-community/idris2-lsp","private":false,"owner":{"login":"idris-community","id":76575679,"node_id":"MDEyOk9yZ2FuaXphdGlvbjc2NTc1Njc5","avatar_url":"https://avatars.githubusercontent.com/u/76575679?v=4","gravatar_id":"","url":"https://api.github.com/users/idris-community","html_url":"https://github.com/idris-community","followers_url":"https://api.github.com/users/idris-community/followers","following_url":"https://api.github.com/users/idris-community/following{/other_user}","gists_url":"https://api.github.com/users/idris-community/gists{/gist_id}","starred_url":"https://api.github.com/users/idris-community/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/idris-community/subscriptions","organizations_url":"https://api.github.com/users/idris-community/orgs","repos_url":"https://api.github.com/users/idris-community/repos","events_url":"https://api.github.com/users/idris-community/events{/privacy}","received_events_url":"https://api.github.com/users/idris-community/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/idris-community/idris2-lsp","description":"Language Server for Idris2","fork":false,"url":"https://api.github.com/repos/idris-community/idris2-lsp","forks_url":"https://api.github.com/repos/idris-community/idris2-lsp/forks","keys_url":"https://api.github.com/repos/idris-community/idris2-lsp/keys{/key_id}","collaborators_url":"https://api.github.com/repos/idris-community/idris2-lsp/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/idris-community/idris2-lsp/teams","hooks_url":"https://api.github.com/repos/idris-community/idris2-lsp/hooks","issue_events_url":"https://api.github.com/repos/idris-community/idris2-lsp/issues/events{/number}","events_url":"https://api.github.com/repos/idris-community/idris2-lsp/events","assignees_url":"https://api.github.com/repos/idris-community/idris2-lsp/assignees{/user}","branches_url":"https://api.github.com/repos/idris-community/idris2-lsp/branches{/branch}","tags_url":"https://api.github.com/repos/idris-community/idris2-lsp/tags","blobs_url":"https://api.github.com/repos/idris-community/idris2-lsp/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/idris-community/idris2-lsp/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/idris-community/idris2-lsp/git/refs{/sha}","trees_url":"https://api.github.com/repos/idris-community/idris2-lsp/git/trees{/sha}","statuses_url":"https://api.github.com/repos/idris-community/idris2-lsp/statuses/{sha}","languages_url":"https://api.github.com/repos/idris-community/idris2-lsp/languages","stargazers_url":"https://api.github.com/repos/idris-community/idris2-lsp/stargazers","contributors_url":"https://api.github.com/repos/idris-community/idris2-lsp/contributors","subscribers_url":"https://api.github.com/repos/idris-community/idris2-lsp/subscribers","subscription_url":"https://api.github.com/repos/idris-community/idris2-lsp/subscription","commits_url":"https://api.github.com/repos/idris-community/idris2-lsp/commits{/sha}","git_commits_url":"https://api.github.com/repos/idris-community/idris2-lsp/git/commits{/sha}","comments_url":"https://api.github.com/repos/idris-community/idris2-lsp/comments{/number}","issue_comment_url":"https://api.github.com/repos/idris-community/idris2-lsp/issues/comments{/number}","contents_url":"https://api.github.com/repos/idris-community/idris2-lsp/contents/{+path}","compare_url":"https://api.github.com/repos/idris-community/idris2-lsp/compare/{base}...{head}","merges_url":"https://api.github.com/repos/idris-community/idris2-lsp/merges","archive_url":"https://api.github.com/repos/idris-community/idris2-lsp/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/idris-community/idris2-lsp/downloads","issues_url":"https://api.github.com/repos/idris-community/idris2-lsp/issues{/number}","pulls_url":"https://api.github.com/repos/idris-community/idris2-lsp/pulls{/number}","milestones_url":"https://api.github.com/repos/idris-community/idris2-lsp/milestones{/number}","notifications_url":"https://api.github.com/repos/idris-community/idris2-lsp/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/idris-community/idris2-lsp/labels{/name}","releases_url":"https://api.github.com/repos/idris-community/idris2-lsp/releases{/id}","deployments_url":"https://api.github.com/repos/idris-community/idris2-lsp/deployments","created_at":"2020-12-25T02:34:26Z","updated_at":"2026-10-08T09:35:37Z","pushed_at":"2026-08-01T07:09:52Z","git_url":"git://github.com/idris-community/idris2-lsp.git","ssh_url":"git@github.com:idris-community/idris2-lsp.git","clone_url":"https://github.com/idris-community/idris2-lsp.git","svn_url":"https://github.com/idris-community/idris2-lsp","homepage":null,"size":454,"stargazers_count":204,"watchers_count":204,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":true,"forks_count":45,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":46,"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":45,"open_issues":46,"watchers":204,"default_branch":"main","score":1.0},{"id":14824169,"node_id":"MDEwOlJlcG9zaXRvcnkxNDgyNDE2OQ==","name":"idris-demos","full_name":"idris-hackers/idris-demos","private":false,"owner":{"login":"idris-hackers","id":3963683,"node_id":"MDEyOk9yZ2FuaXphdGlvbjM5NjM2ODM=","avatar_url":"https://avatars.githubusercontent.com/u/3963683?v=4","gravatar_id":"","url":"https://api.github.com/users/idris-hackers","html_url":"https://github.com/idris-hackers","followers_url":"https://api.github.com/users/idris-hackers/followers","following_url":"https://api.github.com/users/idris-hackers/following{/other_user}","gists_url":"https://api.github.com/users/idris-hackers/gists{/gist_id}","starred_url":"https://api.github.com/users/idris-hackers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/idris-hackers/subscriptions","organizations_url":"https://api.github.com/users/idris-hackers/orgs","repos_url":"https://api.github.com/users/idris-hackers/repos","events_url":"https://api.github.com/users/idris-hackers/events{/privacy}","received_events_url":"https://api.github.com/users/idris-hackers/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/idris-hackers/idris-demos","description":"Collection of Idris tests and demonstration programs","fork":false,"url":"https://api.github.com/repos/idris-hackers/idris-demos","forks_url":"https://api.github.com/repos/idris-hackers/idris-demos/forks","keys_url":"https://api.github.com/repos/idris-hackers/idris-demos/keys{/key_id}","collaborators_url":"https://api.github.com/repos/idris-hackers/idris-demos/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/idris-hackers/idris-demos/teams","hooks_url":"https://api.github.com/repos/idris-hackers/idris-demos/hooks","issue_events_url":"https://api.github.com/repos/idris-hackers/idris-demos/issues/events{/number}","events_url":"https://api.github.com/repos/idris-hackers/idris-demos/events","assignees_url":"https://api.github.com/repos/idris-hackers/idris-demos/assignees{/user}","branches_url":"https://api.github.com/repos/idris-hackers/idris-demos/branches{/branch}","tags_url":"https://api.github.com/repos/idris-hackers/idris-demos/tags","blobs_url":"https://api.github.com/repos/idris-hackers/idris-demos/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/idris-hackers/idris-demos/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/idris-hackers/idris-demos/git/refs{/sha}","trees_url":"https://api.github.com/repos/idris-hackers/idris-demos/git/trees{/sha}","statuses_url":"https://api.github.com/repos/idris-hackers/idris-demos/statuses/{sha}","languages_url":"https://api.github.com/repos/idris-hackers/idris-demos/languages","stargazers_url":"https://api.github.com/repos/idris-hackers/idris-demos/stargazers","contributors_url":"https://api.github.com/repos/idris-hackers/idris-demos/contributors","subscribers_url":"https://api.github.com/repos/idris-hackers/idris-demos/subscribers","subscription_url":"https://api.github.com/repos/idris-hackers/idris-demos/subscription","commits_url":"https://api.github.com/repos/idris-hackers/idris-demos/commits{/sha}","git_commits_url":"https://api.github.com/repos/idris-hackers/idris-demos/git/commits{/sha}","comments_url":"https://api.github.com/repos/idris-hackers/idris-demos/comments{/number}","issue_comment_url":"https://api.github.com/repos/idris-hackers/idris-demos/issues/comments{/number}","contents_url":"https://api.github.com/repos/idris-hackers/idris-demos/contents/{+path}","compare_url":"https://api.github.com/repos/idris-hackers/idris-demos/compare/{base}...{head}","merges_url":"https://api.github.com/repos/idris-hackers/idris-demos/merges","archive_url":"https://api.github.com/repos/idris-hackers/idris-demos/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/idris-hackers/idris-demos/downloads","issues_url":"https://api.github.com/repos/idris-hackers/idris-demos/issues{/number}","pulls_url":"https://api.github.com/repos/idris-hackers/idris-demos/pulls{/number}","milestones_url":"https://api.github.com/repos/idris-hackers/idris-demos/milestones{/number}","notifications_url":"https://api.github.com/repos/idris-hackers/idris-demos/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/idris-hackers/idris-demos/labels{/name}","releases_url":"https://api.github.com/repos/idris-hackers/idris-demos/releases{/id}","deployments_url":"https://api.github.com/repos/idris-hackers/idris-demos/deployments","created_at":"2013-11-30T16:21:41Z","updated_at":"2026-04-30T21:46:00Z","pushed_at":"2018-04-23T04:10:38Z","git_url":"git://github.com/idris-hackers/idris-demos.git","ssh_url":"git@github.com:idris-hackers/idris-demos.git","clone_url":"https://github.com/idris-hackers/idris-demos.git","svn_url":"https://github.com/idris-hackers/idris-demos","homepage":null,"size":62,"stargazers_count":195,"watchers_count":195,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":13,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":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":13,"open_issues":4,"watchers":195,"default_branch":"master","score":1.0},{"id":14507656,"node_id":"MDEwOlJlcG9zaXRvcnkxNDUwNzY1Ng==","name":"idris-koans","full_name":"idris-hackers/idris-koans","private":false,"owner":{"login":"idris-hackers","id":3963683,"node_id":"MDEyOk9yZ2FuaXphdGlvbjM5NjM2ODM=","avatar_url":"https://avatars.githubusercontent.com/u/3963683?v=4","gravatar_id":"","url":"https://api.github.com/users/idris-hackers","html_url":"https://github.com/idris-hackers","followers_url":"https://api.github.com/users/idris-hackers/followers","following_url":"https://api.github.com/users/idris-hackers/following{/other_user}","gists_url":"https://api.github.com/users/idris-hackers/gists{/gist_id}","starred_url":"https://api.github.com/users/idris-hackers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/idris-hackers/subscriptions","organizations_url":"https://api.github.com/users/idris-hackers/orgs","repos_url":"https://api.github.com/users/idris-hackers/repos","events_url":"https://api.github.com/users/idris-hackers/events{/privacy}","received_events_url":"https://api.github.com/users/idris-hackers/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/idris-hackers/idris-koans","description":"Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.","fork":false,"url":"https://api.github.com/repos/idris-hackers/idris-koans","forks_url":"https://api.github.com/repos/idris-hackers/idris-koans/forks","keys_url":"https://api.github.com/repos/idris-hackers/idris-koans/keys{/key_id}","collaborators_url":"https://api.github.com/repos/idris-hackers/idris-koans/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/idris-hackers/idris-koans/teams","hooks_url":"https://api.github.com/repos/idris-hackers/idris-koans/hooks","issue_events_url":"https://api.github.com/repos/idris-hackers/idris-koans/issues/events{/number}","events_url":"https://api.github.com/repos/idris-hackers/idris-koans/events","assignees_url":"https://api.github.com/repos/idris-hackers/idris-koans/assignees{/user}","branches_url":"https://api.github.com/repos/idris-hackers/idris-koans/branches{/branch}","tags_url":"https://api.github.com/repos/idris-hackers/idris-koans/tags","blobs_url":"https://api.github.com/repos/idris-hackers/idris-koans/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/idris-hackers/idris-koans/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/idris-hackers/idris-koans/git/refs{/sha}","trees_url":"https://api.github.com/repos/idris-hackers/idris-koans/git/trees{/sha}","statuses_url":"https://api.github.com/repos/idris-hackers/idris-koans/statuses/{sha}","languages_url":"https://api.github.com/repos/idris-hackers/idris-koans/languages","stargazers_url":"https://api.github.com/repos/idris-hackers/idris-koans/stargazers","contributors_url":"https://api.github.com/repos/idris-hackers/idris-koans/contributors","subscribers_url":"https://api.github.com/repos/idris-hackers/idris-koans/subscribers","subscription_url":"https://api.github.com/repos/idris-hackers/idris-koans/subscription","commits_url":"https://api.github.com/repos/idris-hackers/idris-koans/commits{/sha}","git_commits_url":"https://api.github.com/repos/idris-hackers/idris-koans/git/commits{/sha}","comments_url":"https://api.github.com/repos/idris-hackers/idris-koans/comments{/number}","issue_comment_url":"https://api.github.com/repos/idris-hackers/idris-koans/issues/comments{/number}","contents_url":"https://api.github.com/repos/idris-hackers/idris-koans/contents/{+path}","compare_url":"https://api.github.com/repos/idris-hackers/idris-koans/compare/{base}...{head}","merges_url":"https://api.github.com/repos/idris-hackers/idris-koans/merges","archive_url":"https://api.github.com/repos/idris-hackers/idris-koans/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/idris-hackers/idris-koans/downloads","issues_url":"https://api.github.com/repos/idris-hackers/idris-koans/issues{/number}","pulls_url":"https://api.github.com/repos/idris-hackers/idris-koans/pulls{/number}","milestones_url":"https://api.github.com/repos/idris-hackers/idris-koans/milestones{/number}","notifications_url":"https://api.github.com/repos/idris-hackers/idris-koans/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/idris-hackers/idris-koans/labels{/name}","releases_url":"https://api.github.com/repos/idris-hackers/idris-koans/releases{/id}","deployments_url":"https://api.github.com/repos/idris-hackers/idris-koans/deployments","created_at":"2013-11-18T22:47:02Z","updated_at":"2026-09-18T12:56:21Z","pushed_at":"2018-05-02T13:31:18Z","git_url":"git://github.com/idris-hackers/idris-koans.git","ssh_url":"git@github.com:idris-hackers/idris-koans.git","clone_url":"https://github.com/idris-hackers/idris-koans.git","svn_url":"https://github.com/idris-hackers/idris-koans","homepage":null,"size":16,"stargazers_count":181,"watchers_count":181,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":26,"mirror_url":null,"archived":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":[],"visibility":"public","forks":26,"open_issues":1,"watchers":181,"default_branch":"master","score":1.0},{"id":348000925,"node_id":"MDEwOlJlcG9zaXRvcnkzNDgwMDA5MjU=","name":"dbcritic","full_name":"channable/dbcritic","private":false,"owner":{"login":"channable","id":1428858,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE0Mjg4NTg=","avatar_url":"https://avatars.githubusercontent.com/u/1428858?v=4","gravatar_id":"","url":"https://api.github.com/users/channable","html_url":"https://github.com/channable","followers_url":"https://api.github.com/users/channable/followers","following_url":"https://api.github.com/users/channable/following{/other_user}","gists_url":"https://api.github.com/users/channable/gists{/gist_id}","starred_url":"https://api.github.com/users/channable/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/channable/subscriptions","organizations_url":"https://api.github.com/users/channable/orgs","repos_url":"https://api.github.com/users/channable/repos","events_url":"https://api.github.com/users/channable/events{/privacy}","received_events_url":"https://api.github.com/users/channable/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/channable/dbcritic","description":null,"fork":false,"url":"https://api.github.com/repos/channable/dbcritic","forks_url":"https://api.github.com/repos/channable/dbcritic/forks","keys_url":"https://api.github.com/repos/channable/dbcritic/keys{/key_id}","collaborators_url":"https://api.github.com/repos/channable/dbcritic/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/channable/dbcritic/teams","hooks_url":"https://api.github.com/repos/channable/dbcritic/hooks","issue_events_url":"https://api.github.com/repos/channable/dbcritic/issues/events{/number}","events_url":"https://api.github.com/repos/channable/dbcritic/events","assignees_url":"https://api.github.com/repos/channable/dbcritic/assignees{/user}","branches_url":"https://api.github.com/repos/channable/dbcritic/branches{/branch}","tags_url":"https://api.github.com/repos/channable/dbcritic/tags","blobs_url":"https://api.github.com/repos/channable/dbcritic/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/channable/dbcritic/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/channable/dbcritic/git/refs{/sha}","trees_url":"https://api.github.com/repos/channable/dbcritic/git/trees{/sha}","statuses_url":"https://api.github.com/repos/channable/dbcritic/statuses/{sha}","languages_url":"https://api.github.com/repos/channable/dbcritic/languages","stargazers_url":"https://api.github.com/repos/channable/dbcritic/stargazers","contributors_url":"https://api.github.com/repos/channable/dbcritic/contributors","subscribers_url":"https://api.github.com/repos/channable/dbcritic/subscribers","subscription_url":"https://api.github.com/repos/channable/dbcritic/subscription","commits_url":"https://api.github.com/repos/channable/dbcritic/commits{/sha}","git_commits_url":"https://api.github.com/repos/channable/dbcritic/git/commits{/sha}","comments_url":"https://api.github.com/repos/channable/dbcritic/comments{/number}","issue_comment_url":"https://api.github.com/repos/channable/dbcritic/issues/comments{/number}","contents_url":"https://api.github.com/repos/channable/dbcritic/contents/{+path}","compare_url":"https://api.github.com/repos/channable/dbcritic/compare/{base}...{head}","merges_url":"https://api.github.com/repos/channable/dbcritic/merges","archive_url":"https://api.github.com/repos/channable/dbcritic/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/channable/dbcritic/downloads","issues_url":"https://api.github.com/repos/channable/dbcritic/issues{/number}","pulls_url":"https://api.github.com/repos/channable/dbcritic/pulls{/number}","milestones_url":"https://api.github.com/repos/channable/dbcritic/milestones{/number}","notifications_url":"https://api.github.com/repos/channable/dbcritic/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/channable/dbcritic/labels{/name}","releases_url":"https://api.github.com/repos/channable/dbcritic/releases{/id}","deployments_url":"https://api.github.com/repos/channable/dbcritic/deployments","created_at":"2021-03-15T14:26:08Z","updated_at":"2026-04-07T14:04:46Z","pushed_at":"2025-11-24T10:03:37Z","git_url":"git://github.com/channable/dbcritic.git","ssh_url":"git@github.com:channable/dbcritic.git","clone_url":"https://github.com/channable/dbcritic.git","svn_url":"https://github.com/channable/dbcritic","homepage":"","size":40,"stargazers_count":180,"watchers_count":180,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":2,"mirror_url":null,"archived":true,"disabled":false,"open_issues_count":3,"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":2,"open_issues":3,"watchers":180,"default_branch":"master","score":1.0},{"id":15179826,"node_id":"MDEwOlJlcG9zaXRvcnkxNTE3OTgyNg==","name":"quantities","full_name":"timjb/quantities","private":false,"owner":{"login":"timjb","id":124073,"node_id":"MDQ6VXNlcjEyNDA3Mw==","avatar_url":"https://avatars.githubusercontent.com/u/124073?v=4","gravatar_id":"","url":"https://api.github.com/users/timjb","html_url":"https://github.com/timjb","followers_url":"https://api.github.com/users/timjb/followers","following_url":"https://api.github.com/users/timjb/following{/other_user}","gists_url":"https://api.github.com/users/timjb/gists{/gist_id}","starred_url":"https://api.github.com/users/timjb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/timjb/subscriptions","organizations_url":"https://api.github.com/users/timjb/orgs","repos_url":"https://api.github.com/users/timjb/repos","events_url":"https://api.github.com/users/timjb/events{/privacy}","received_events_url":"https://api.github.com/users/timjb/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/timjb/quantities","description":"Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐","fork":false,"url":"https://api.github.com/repos/timjb/quantities","forks_url":"https://api.github.com/repos/timjb/quantities/forks","keys_url":"https://api.github.com/repos/timjb/quantities/keys{/key_id}","collaborators_url":"https://api.github.com/repos/timjb/quantities/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/timjb/quantities/teams","hooks_url":"https://api.github.com/repos/timjb/quantities/hooks","issue_events_url":"https://api.github.com/repos/timjb/quantities/issues/events{/number}","events_url":"https://api.github.com/repos/timjb/quantities/events","assignees_url":"https://api.github.com/repos/timjb/quantities/assignees{/user}","branches_url":"https://api.github.com/repos/timjb/quantities/branches{/branch}","tags_url":"https://api.github.com/repos/timjb/quantities/tags","blobs_url":"https://api.github.com/repos/timjb/quantities/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/timjb/quantities/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/timjb/quantities/git/refs{/sha}","trees_url":"https://api.github.com/repos/timjb/quantities/git/trees{/sha}","statuses_url":"https://api.github.com/repos/timjb/quantities/statuses/{sha}","languages_url":"https://api.github.com/repos/timjb/quantities/languages","stargazers_url":"https://api.github.com/repos/timjb/quantities/stargazers","contributors_url":"https://api.github.com/repos/timjb/quantities/contributors","subscribers_url":"https://api.github.com/repos/timjb/quantities/subscribers","subscription_url":"https://api.github.com/repos/timjb/quantities/subscription","commits_url":"https://api.github.com/repos/timjb/quantities/commits{/sha}","git_commits_url":"https://api.github.com/repos/timjb/quantities/git/commits{/sha}","comments_url":"https://api.github.com/repos/timjb/quantities/comments{/number}","issue_comment_url":"https://api.github.com/repos/timjb/quantities/issues/comments{/number}","contents_url":"https://api.github.com/repos/timjb/quantities/contents/{+path}","compare_url":"https://api.github.com/repos/timjb/quantities/compare/{base}...{head}","merges_url":"https://api.github.com/repos/timjb/quantities/merges","archive_url":"https://api.github.com/repos/timjb/quantities/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/timjb/quantities/downloads","issues_url":"https://api.github.com/repos/timjb/quantities/issues{/number}","pulls_url":"https://api.github.com/repos/timjb/quantities/pulls{/number}","milestones_url":"https://api.github.com/repos/timjb/quantities/milestones{/number}","notifications_url":"https://api.github.com/repos/timjb/quantities/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/timjb/quantities/labels{/name}","releases_url":"https://api.github.com/repos/timjb/quantities/releases{/id}","deployments_url":"https://api.github.com/repos/timjb/quantities/deployments","created_at":"2013-12-14T04:12:34Z","updated_at":"2026-09-08T11:49:46Z","pushed_at":"2019-01-28T15:20:43Z","git_url":"git://github.com/timjb/quantities.git","ssh_url":"git@github.com:timjb/quantities.git","clone_url":"https://github.com/timjb/quantities.git","svn_url":"https://github.com/timjb/quantities","homepage":"http://timbaumann.info/quantities/docs","size":290,"stargazers_count":164,"watchers_count":164,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":11,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":1,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["type-safety","unit-conversion","units-of-measure"],"visibility":"public","forks":11,"open_issues":1,"watchers":164,"default_branch":"master","score":1.0},{"id":83246430,"node_id":"MDEwOlJlcG9zaXRvcnk4MzI0NjQzMA==","name":"TypeDD-Samples","full_name":"edwinb/TypeDD-Samples","private":false,"owner":{"login":"edwinb","id":255926,"node_id":"MDQ6VXNlcjI1NTkyNg==","avatar_url":"https://avatars.githubusercontent.com/u/255926?v=4","gravatar_id":"","url":"https://api.github.com/users/edwinb","html_url":"https://github.com/edwinb","followers_url":"https://api.github.com/users/edwinb/followers","following_url":"https://api.github.com/users/edwinb/following{/other_user}","gists_url":"https://api.github.com/users/edwinb/gists{/gist_id}","starred_url":"https://api.github.com/users/edwinb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/edwinb/subscriptions","organizations_url":"https://api.github.com/users/edwinb/orgs","repos_url":"https://api.github.com/users/edwinb/repos","events_url":"https://api.github.com/users/edwinb/events{/privacy}","received_events_url":"https://api.github.com/users/edwinb/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/edwinb/TypeDD-Samples","description":"Sample code from \"Type Driven Development with Idris\"","fork":false,"url":"https://api.github.com/repos/edwinb/TypeDD-Samples","forks_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/forks","keys_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/keys{/key_id}","collaborators_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/teams","hooks_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/hooks","issue_events_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/issues/events{/number}","events_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/events","assignees_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/assignees{/user}","branches_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/branches{/branch}","tags_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/tags","blobs_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/git/refs{/sha}","trees_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/git/trees{/sha}","statuses_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/statuses/{sha}","languages_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/languages","stargazers_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/stargazers","contributors_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/contributors","subscribers_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/subscribers","subscription_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/subscription","commits_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/commits{/sha}","git_commits_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/git/commits{/sha}","comments_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/comments{/number}","issue_comment_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/issues/comments{/number}","contents_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/contents/{+path}","compare_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/compare/{base}...{head}","merges_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/merges","archive_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/downloads","issues_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/issues{/number}","pulls_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/pulls{/number}","milestones_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/milestones{/number}","notifications_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/labels{/name}","releases_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/releases{/id}","deployments_url":"https://api.github.com/repos/edwinb/TypeDD-Samples/deployments","created_at":"2017-02-26T22:49:44Z","updated_at":"2026-09-18T12:56:38Z","pushed_at":"2017-08-06T17:22:30Z","git_url":"git://github.com/edwinb/TypeDD-Samples.git","ssh_url":"git@github.com:edwinb/TypeDD-Samples.git","clone_url":"https://github.com/edwinb/TypeDD-Samples.git","svn_url":"https://github.com/edwinb/TypeDD-Samples","homepage":null,"size":89,"stargazers_count":162,"watchers_count":162,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":44,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":9,"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":44,"open_issues":9,"watchers":162,"default_branch":"master","score":1.0},{"id":486725976,"node_id":"R_kgDOHQLZWA","name":"idris2-pack","full_name":"stefan-hoeck/idris2-pack","private":false,"owner":{"login":"stefan-hoeck","id":2195420,"node_id":"MDQ6VXNlcjIxOTU0MjA=","avatar_url":"https://avatars.githubusercontent.com/u/2195420?v=4","gravatar_id":"","url":"https://api.github.com/users/stefan-hoeck","html_url":"https://github.com/stefan-hoeck","followers_url":"https://api.github.com/users/stefan-hoeck/followers","following_url":"https://api.github.com/users/stefan-hoeck/following{/other_user}","gists_url":"https://api.github.com/users/stefan-hoeck/gists{/gist_id}","starred_url":"https://api.github.com/users/stefan-hoeck/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stefan-hoeck/subscriptions","organizations_url":"https://api.github.com/users/stefan-hoeck/orgs","repos_url":"https://api.github.com/users/stefan-hoeck/repos","events_url":"https://api.github.com/users/stefan-hoeck/events{/privacy}","received_events_url":"https://api.github.com/users/stefan-hoeck/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/stefan-hoeck/idris2-pack","description":null,"fork":false,"url":"https://api.github.com/repos/stefan-hoeck/idris2-pack","forks_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/forks","keys_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/keys{/key_id}","collaborators_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/teams","hooks_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/hooks","issue_events_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/issues/events{/number}","events_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/events","assignees_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/assignees{/user}","branches_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/branches{/branch}","tags_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/tags","blobs_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/git/refs{/sha}","trees_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/git/trees{/sha}","statuses_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/statuses/{sha}","languages_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/languages","stargazers_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/stargazers","contributors_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/contributors","subscribers_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/subscribers","subscription_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/subscription","commits_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/commits{/sha}","git_commits_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/git/commits{/sha}","comments_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/comments{/number}","issue_comment_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/issues/comments{/number}","contents_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/contents/{+path}","compare_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/compare/{base}...{head}","merges_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/merges","archive_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/downloads","issues_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/issues{/number}","pulls_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/pulls{/number}","milestones_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/milestones{/number}","notifications_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/labels{/name}","releases_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/releases{/id}","deployments_url":"https://api.github.com/repos/stefan-hoeck/idris2-pack/deployments","created_at":"2022-04-28T19:37:42Z","updated_at":"2026-10-08T09:35:41Z","pushed_at":"2026-09-08T13:28:44Z","git_url":"git://github.com/stefan-hoeck/idris2-pack.git","ssh_url":"git@github.com:stefan-hoeck/idris2-pack.git","clone_url":"https://github.com/stefan-hoeck/idris2-pack.git","svn_url":"https://github.com/stefan-hoeck/idris2-pack","homepage":null,"size":1712,"stargazers_count":158,"watchers_count":158,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":39,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":33,"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":39,"open_issues":33,"watchers":158,"default_branch":"main","score":1.0},{"id":233070282,"node_id":"MDEwOlJlcG9zaXRvcnkyMzMwNzAyODI=","name":"Idris2-Erlang","full_name":"christian-public/Idris2-Erlang","private":false,"owner":{"login":"christian-public","id":480560,"node_id":"MDQ6VXNlcjQ4MDU2MA==","avatar_url":"https://avatars.githubusercontent.com/u/480560?v=4","gravatar_id":"","url":"https://api.github.com/users/christian-public","html_url":"https://github.com/christian-public","followers_url":"https://api.github.com/users/christian-public/followers","following_url":"https://api.github.com/users/christian-public/following{/other_user}","gists_url":"https://api.github.com/users/christian-public/gists{/gist_id}","starred_url":"https://api.github.com/users/christian-public/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/christian-public/subscriptions","organizations_url":"https://api.github.com/users/christian-public/orgs","repos_url":"https://api.github.com/users/christian-public/repos","events_url":"https://api.github.com/users/christian-public/events{/privacy}","received_events_url":"https://api.github.com/users/christian-public/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/christian-public/Idris2-Erlang","description":"Erlang code generator for Idris 2","fork":false,"url":"https://api.github.com/repos/christian-public/Idris2-Erlang","forks_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/forks","keys_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/keys{/key_id}","collaborators_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/teams","hooks_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/hooks","issue_events_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/issues/events{/number}","events_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/events","assignees_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/assignees{/user}","branches_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/branches{/branch}","tags_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/tags","blobs_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/git/refs{/sha}","trees_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/git/trees{/sha}","statuses_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/statuses/{sha}","languages_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/languages","stargazers_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/stargazers","contributors_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/contributors","subscribers_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/subscribers","subscription_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/subscription","commits_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/commits{/sha}","git_commits_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/git/commits{/sha}","comments_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/comments{/number}","issue_comment_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/issues/comments{/number}","contents_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/contents/{+path}","compare_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/compare/{base}...{head}","merges_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/merges","archive_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/downloads","issues_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/issues{/number}","pulls_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/pulls{/number}","milestones_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/milestones{/number}","notifications_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/labels{/name}","releases_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/releases{/id}","deployments_url":"https://api.github.com/repos/christian-public/Idris2-Erlang/deployments","created_at":"2020-01-10T15:00:56Z","updated_at":"2026-09-14T10:44:10Z","pushed_at":"2023-11-13T13:25:42Z","git_url":"git://github.com/christian-public/Idris2-Erlang.git","ssh_url":"git@github.com:christian-public/Idris2-Erlang.git","clone_url":"https://github.com/christian-public/Idris2-Erlang.git","svn_url":"https://github.com/christian-public/Idris2-Erlang","homepage":null,"size":44666,"stargazers_count":149,"watchers_count":149,"language":"Idris","has_issues":true,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":true,"forks_count":6,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":7,"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":7,"watchers":149,"default_branch":"main","score":1.0},{"id":354937253,"node_id":"MDEwOlJlcG9zaXRvcnkzNTQ5MzcyNTM=","name":"order-taking","full_name":"andorp/order-taking","private":false,"owner":{"login":"andorp","id":3465327,"node_id":"MDQ6VXNlcjM0NjUzMjc=","avatar_url":"https://avatars.githubusercontent.com/u/3465327?v=4","gravatar_id":"","url":"https://api.github.com/users/andorp","html_url":"https://github.com/andorp","followers_url":"https://api.github.com/users/andorp/followers","following_url":"https://api.github.com/users/andorp/following{/other_user}","gists_url":"https://api.github.com/users/andorp/gists{/gist_id}","starred_url":"https://api.github.com/users/andorp/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andorp/subscriptions","organizations_url":"https://api.github.com/users/andorp/orgs","repos_url":"https://api.github.com/users/andorp/repos","events_url":"https://api.github.com/users/andorp/events{/privacy}","received_events_url":"https://api.github.com/users/andorp/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/andorp/order-taking","description":"Idris version of Domain Modeling Made Functional Book.","fork":false,"url":"https://api.github.com/repos/andorp/order-taking","forks_url":"https://api.github.com/repos/andorp/order-taking/forks","keys_url":"https://api.github.com/repos/andorp/order-taking/keys{/key_id}","collaborators_url":"https://api.github.com/repos/andorp/order-taking/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/andorp/order-taking/teams","hooks_url":"https://api.github.com/repos/andorp/order-taking/hooks","issue_events_url":"https://api.github.com/repos/andorp/order-taking/issues/events{/number}","events_url":"https://api.github.com/repos/andorp/order-taking/events","assignees_url":"https://api.github.com/repos/andorp/order-taking/assignees{/user}","branches_url":"https://api.github.com/repos/andorp/order-taking/branches{/branch}","tags_url":"https://api.github.com/repos/andorp/order-taking/tags","blobs_url":"https://api.github.com/repos/andorp/order-taking/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/andorp/order-taking/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/andorp/order-taking/git/refs{/sha}","trees_url":"https://api.github.com/repos/andorp/order-taking/git/trees{/sha}","statuses_url":"https://api.github.com/repos/andorp/order-taking/statuses/{sha}","languages_url":"https://api.github.com/repos/andorp/order-taking/languages","stargazers_url":"https://api.github.com/repos/andorp/order-taking/stargazers","contributors_url":"https://api.github.com/repos/andorp/order-taking/contributors","subscribers_url":"https://api.github.com/repos/andorp/order-taking/subscribers","subscription_url":"https://api.github.com/repos/andorp/order-taking/subscription","commits_url":"https://api.github.com/repos/andorp/order-taking/commits{/sha}","git_commits_url":"https://api.github.com/repos/andorp/order-taking/git/commits{/sha}","comments_url":"https://api.github.com/repos/andorp/order-taking/comments{/number}","issue_comment_url":"https://api.github.com/repos/andorp/order-taking/issues/comments{/number}","contents_url":"https://api.github.com/repos/andorp/order-taking/contents/{+path}","compare_url":"https://api.github.com/repos/andorp/order-taking/compare/{base}...{head}","merges_url":"https://api.github.com/repos/andorp/order-taking/merges","archive_url":"https://api.github.com/repos/andorp/order-taking/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/andorp/order-taking/downloads","issues_url":"https://api.github.com/repos/andorp/order-taking/issues{/number}","pulls_url":"https://api.github.com/repos/andorp/order-taking/pulls{/number}","milestones_url":"https://api.github.com/repos/andorp/order-taking/milestones{/number}","notifications_url":"https://api.github.com/repos/andorp/order-taking/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/andorp/order-taking/labels{/name}","releases_url":"https://api.github.com/repos/andorp/order-taking/releases{/id}","deployments_url":"https://api.github.com/repos/andorp/order-taking/deployments","created_at":"2021-04-05T18:45:21Z","updated_at":"2026-09-30T17:54:44Z","pushed_at":"2021-10-25T17:59:55Z","git_url":"git://github.com/andorp/order-taking.git","ssh_url":"git@github.com:andorp/order-taking.git","clone_url":"https://github.com/andorp/order-taking.git","svn_url":"https://github.com/andorp/order-taking","homepage":"","size":407,"stargazers_count":146,"watchers_count":146,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":11,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":0,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["ddd","depedent-types","fp","idris"],"visibility":"public","forks":11,"open_issues":0,"watchers":146,"default_branch":"main","score":1.0},{"id":18955435,"node_id":"MDEwOlJlcG9zaXRvcnkxODk1NTQzNQ==","name":"idris2048","full_name":"KesterTong/idris2048","private":false,"owner":{"login":"KesterTong","id":5741341,"node_id":"MDQ6VXNlcjU3NDEzNDE=","avatar_url":"https://avatars.githubusercontent.com/u/5741341?v=4","gravatar_id":"","url":"https://api.github.com/users/KesterTong","html_url":"https://github.com/KesterTong","followers_url":"https://api.github.com/users/KesterTong/followers","following_url":"https://api.github.com/users/KesterTong/following{/other_user}","gists_url":"https://api.github.com/users/KesterTong/gists{/gist_id}","starred_url":"https://api.github.com/users/KesterTong/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/KesterTong/subscriptions","organizations_url":"https://api.github.com/users/KesterTong/orgs","repos_url":"https://api.github.com/users/KesterTong/repos","events_url":"https://api.github.com/users/KesterTong/events{/privacy}","received_events_url":"https://api.github.com/users/KesterTong/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/KesterTong/idris2048","description":"2048 in Idris","fork":false,"url":"https://api.github.com/repos/KesterTong/idris2048","forks_url":"https://api.github.com/repos/KesterTong/idris2048/forks","keys_url":"https://api.github.com/repos/KesterTong/idris2048/keys{/key_id}","collaborators_url":"https://api.github.com/repos/KesterTong/idris2048/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/KesterTong/idris2048/teams","hooks_url":"https://api.github.com/repos/KesterTong/idris2048/hooks","issue_events_url":"https://api.github.com/repos/KesterTong/idris2048/issues/events{/number}","events_url":"https://api.github.com/repos/KesterTong/idris2048/events","assignees_url":"https://api.github.com/repos/KesterTong/idris2048/assignees{/user}","branches_url":"https://api.github.com/repos/KesterTong/idris2048/branches{/branch}","tags_url":"https://api.github.com/repos/KesterTong/idris2048/tags","blobs_url":"https://api.github.com/repos/KesterTong/idris2048/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/KesterTong/idris2048/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/KesterTong/idris2048/git/refs{/sha}","trees_url":"https://api.github.com/repos/KesterTong/idris2048/git/trees{/sha}","statuses_url":"https://api.github.com/repos/KesterTong/idris2048/statuses/{sha}","languages_url":"https://api.github.com/repos/KesterTong/idris2048/languages","stargazers_url":"https://api.github.com/repos/KesterTong/idris2048/stargazers","contributors_url":"https://api.github.com/repos/KesterTong/idris2048/contributors","subscribers_url":"https://api.github.com/repos/KesterTong/idris2048/subscribers","subscription_url":"https://api.github.com/repos/KesterTong/idris2048/subscription","commits_url":"https://api.github.com/repos/KesterTong/idris2048/commits{/sha}","git_commits_url":"https://api.github.com/repos/KesterTong/idris2048/git/commits{/sha}","comments_url":"https://api.github.com/repos/KesterTong/idris2048/comments{/number}","issue_comment_url":"https://api.github.com/repos/KesterTong/idris2048/issues/comments{/number}","contents_url":"https://api.github.com/repos/KesterTong/idris2048/contents/{+path}","compare_url":"https://api.github.com/repos/KesterTong/idris2048/compare/{base}...{head}","merges_url":"https://api.github.com/repos/KesterTong/idris2048/merges","archive_url":"https://api.github.com/repos/KesterTong/idris2048/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/KesterTong/idris2048/downloads","issues_url":"https://api.github.com/repos/KesterTong/idris2048/issues{/number}","pulls_url":"https://api.github.com/repos/KesterTong/idris2048/pulls{/number}","milestones_url":"https://api.github.com/repos/KesterTong/idris2048/milestones{/number}","notifications_url":"https://api.github.com/repos/KesterTong/idris2048/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/KesterTong/idris2048/labels{/name}","releases_url":"https://api.github.com/repos/KesterTong/idris2048/releases{/id}","deployments_url":"https://api.github.com/repos/KesterTong/idris2048/deployments","created_at":"2014-04-20T02:04:25Z","updated_at":"2026-01-28T05:56:36Z","pushed_at":"2017-11-28T23:37:59Z","git_url":"git://github.com/KesterTong/idris2048.git","ssh_url":"git@github.com:KesterTong/idris2048.git","clone_url":"https://github.com/KesterTong/idris2048.git","svn_url":"https://github.com/KesterTong/idris2048","homepage":null,"size":28,"stargazers_count":124,"watchers_count":124,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":11,"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":11,"open_issues":0,"watchers":124,"default_branch":"master","score":1.0},{"id":18644957,"node_id":"MDEwOlJlcG9zaXRvcnkxODY0NDk1Nw==","name":"idris-crypto","full_name":"idris-hackers/idris-crypto","private":false,"owner":{"login":"idris-hackers","id":3963683,"node_id":"MDEyOk9yZ2FuaXphdGlvbjM5NjM2ODM=","avatar_url":"https://avatars.githubusercontent.com/u/3963683?v=4","gravatar_id":"","url":"https://api.github.com/users/idris-hackers","html_url":"https://github.com/idris-hackers","followers_url":"https://api.github.com/users/idris-hackers/followers","following_url":"https://api.github.com/users/idris-hackers/following{/other_user}","gists_url":"https://api.github.com/users/idris-hackers/gists{/gist_id}","starred_url":"https://api.github.com/users/idris-hackers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/idris-hackers/subscriptions","organizations_url":"https://api.github.com/users/idris-hackers/orgs","repos_url":"https://api.github.com/users/idris-hackers/repos","events_url":"https://api.github.com/users/idris-hackers/events{/privacy}","received_events_url":"https://api.github.com/users/idris-hackers/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/idris-hackers/idris-crypto","description":"Implementation of cryptographic primitives using Idris","fork":false,"url":"https://api.github.com/repos/idris-hackers/idris-crypto","forks_url":"https://api.github.com/repos/idris-hackers/idris-crypto/forks","keys_url":"https://api.github.com/repos/idris-hackers/idris-crypto/keys{/key_id}","collaborators_url":"https://api.github.com/repos/idris-hackers/idris-crypto/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/idris-hackers/idris-crypto/teams","hooks_url":"https://api.github.com/repos/idris-hackers/idris-crypto/hooks","issue_events_url":"https://api.github.com/repos/idris-hackers/idris-crypto/issues/events{/number}","events_url":"https://api.github.com/repos/idris-hackers/idris-crypto/events","assignees_url":"https://api.github.com/repos/idris-hackers/idris-crypto/assignees{/user}","branches_url":"https://api.github.com/repos/idris-hackers/idris-crypto/branches{/branch}","tags_url":"https://api.github.com/repos/idris-hackers/idris-crypto/tags","blobs_url":"https://api.github.com/repos/idris-hackers/idris-crypto/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/idris-hackers/idris-crypto/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/idris-hackers/idris-crypto/git/refs{/sha}","trees_url":"https://api.github.com/repos/idris-hackers/idris-crypto/git/trees{/sha}","statuses_url":"https://api.github.com/repos/idris-hackers/idris-crypto/statuses/{sha}","languages_url":"https://api.github.com/repos/idris-hackers/idris-crypto/languages","stargazers_url":"https://api.github.com/repos/idris-hackers/idris-crypto/stargazers","contributors_url":"https://api.github.com/repos/idris-hackers/idris-crypto/contributors","subscribers_url":"https://api.github.com/repos/idris-hackers/idris-crypto/subscribers","subscription_url":"https://api.github.com/repos/idris-hackers/idris-crypto/subscription","commits_url":"https://api.github.com/repos/idris-hackers/idris-crypto/commits{/sha}","git_commits_url":"https://api.github.com/repos/idris-hackers/idris-crypto/git/commits{/sha}","comments_url":"https://api.github.com/repos/idris-hackers/idris-crypto/comments{/number}","issue_comment_url":"https://api.github.com/repos/idris-hackers/idris-crypto/issues/comments{/number}","contents_url":"https://api.github.com/repos/idris-hackers/idris-crypto/contents/{+path}","compare_url":"https://api.github.com/repos/idris-hackers/idris-crypto/compare/{base}...{head}","merges_url":"https://api.github.com/repos/idris-hackers/idris-crypto/merges","archive_url":"https://api.github.com/repos/idris-hackers/idris-crypto/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/idris-hackers/idris-crypto/downloads","issues_url":"https://api.github.com/repos/idris-hackers/idris-crypto/issues{/number}","pulls_url":"https://api.github.com/repos/idris-hackers/idris-crypto/pulls{/number}","milestones_url":"https://api.github.com/repos/idris-hackers/idris-crypto/milestones{/number}","notifications_url":"https://api.github.com/repos/idris-hackers/idris-crypto/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/idris-hackers/idris-crypto/labels{/name}","releases_url":"https://api.github.com/repos/idris-hackers/idris-crypto/releases{/id}","deployments_url":"https://api.github.com/repos/idris-hackers/idris-crypto/deployments","created_at":"2014-04-10T17:17:48Z","updated_at":"2026-09-08T11:37:07Z","pushed_at":"2018-05-05T04:55:39Z","git_url":"git://github.com/idris-hackers/idris-crypto.git","ssh_url":"git@github.com:idris-hackers/idris-crypto.git","clone_url":"https://github.com/idris-hackers/idris-crypto.git","svn_url":"https://github.com/idris-hackers/idris-crypto","homepage":null,"size":78,"stargazers_count":121,"watchers_count":121,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":13,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":3,"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":13,"open_issues":3,"watchers":121,"default_branch":"master","score":1.0},{"id":106183529,"node_id":"MDEwOlJlcG9zaXRvcnkxMDYxODM1Mjk=","name":"hezarfen","full_name":"joom/hezarfen","private":false,"owner":{"login":"joom","id":1611120,"node_id":"MDQ6VXNlcjE2MTExMjA=","avatar_url":"https://avatars.githubusercontent.com/u/1611120?v=4","gravatar_id":"","url":"https://api.github.com/users/joom","html_url":"https://github.com/joom","followers_url":"https://api.github.com/users/joom/followers","following_url":"https://api.github.com/users/joom/following{/other_user}","gists_url":"https://api.github.com/users/joom/gists{/gist_id}","starred_url":"https://api.github.com/users/joom/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/joom/subscriptions","organizations_url":"https://api.github.com/users/joom/orgs","repos_url":"https://api.github.com/users/joom/repos","events_url":"https://api.github.com/users/joom/events{/privacy}","received_events_url":"https://api.github.com/users/joom/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/joom/hezarfen","description":"a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features","fork":false,"url":"https://api.github.com/repos/joom/hezarfen","forks_url":"https://api.github.com/repos/joom/hezarfen/forks","keys_url":"https://api.github.com/repos/joom/hezarfen/keys{/key_id}","collaborators_url":"https://api.github.com/repos/joom/hezarfen/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/joom/hezarfen/teams","hooks_url":"https://api.github.com/repos/joom/hezarfen/hooks","issue_events_url":"https://api.github.com/repos/joom/hezarfen/issues/events{/number}","events_url":"https://api.github.com/repos/joom/hezarfen/events","assignees_url":"https://api.github.com/repos/joom/hezarfen/assignees{/user}","branches_url":"https://api.github.com/repos/joom/hezarfen/branches{/branch}","tags_url":"https://api.github.com/repos/joom/hezarfen/tags","blobs_url":"https://api.github.com/repos/joom/hezarfen/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/joom/hezarfen/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/joom/hezarfen/git/refs{/sha}","trees_url":"https://api.github.com/repos/joom/hezarfen/git/trees{/sha}","statuses_url":"https://api.github.com/repos/joom/hezarfen/statuses/{sha}","languages_url":"https://api.github.com/repos/joom/hezarfen/languages","stargazers_url":"https://api.github.com/repos/joom/hezarfen/stargazers","contributors_url":"https://api.github.com/repos/joom/hezarfen/contributors","subscribers_url":"https://api.github.com/repos/joom/hezarfen/subscribers","subscription_url":"https://api.github.com/repos/joom/hezarfen/subscription","commits_url":"https://api.github.com/repos/joom/hezarfen/commits{/sha}","git_commits_url":"https://api.github.com/repos/joom/hezarfen/git/commits{/sha}","comments_url":"https://api.github.com/repos/joom/hezarfen/comments{/number}","issue_comment_url":"https://api.github.com/repos/joom/hezarfen/issues/comments{/number}","contents_url":"https://api.github.com/repos/joom/hezarfen/contents/{+path}","compare_url":"https://api.github.com/repos/joom/hezarfen/compare/{base}...{head}","merges_url":"https://api.github.com/repos/joom/hezarfen/merges","archive_url":"https://api.github.com/repos/joom/hezarfen/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/joom/hezarfen/downloads","issues_url":"https://api.github.com/repos/joom/hezarfen/issues{/number}","pulls_url":"https://api.github.com/repos/joom/hezarfen/pulls{/number}","milestones_url":"https://api.github.com/repos/joom/hezarfen/milestones{/number}","notifications_url":"https://api.github.com/repos/joom/hezarfen/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/joom/hezarfen/labels{/name}","releases_url":"https://api.github.com/repos/joom/hezarfen/releases{/id}","deployments_url":"https://api.github.com/repos/joom/hezarfen/deployments","created_at":"2017-10-08T14:40:45Z","updated_at":"2026-09-02T18:59:03Z","pushed_at":"2018-09-12T20:32:05Z","git_url":"git://github.com/joom/hezarfen.git","ssh_url":"git@github.com:joom/hezarfen.git","clone_url":"https://github.com/joom/hezarfen.git","svn_url":"https://github.com/joom/hezarfen","homepage":null,"size":50,"stargazers_count":119,"watchers_count":119,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":3,"mirror_url":null,"archived":true,"disabled":false,"open_issues_count":0,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":["automated-theorem-provers","idris","mathematical-logic","metaprogramming","theorem-prover"],"visibility":"public","forks":3,"open_issues":0,"watchers":119,"default_branch":"master","score":1.0},{"id":288139394,"node_id":"MDEwOlJlcG9zaXRvcnkyODgxMzkzOTQ=","name":"SPLV20","full_name":"edwinb/SPLV20","private":false,"owner":{"login":"edwinb","id":255926,"node_id":"MDQ6VXNlcjI1NTkyNg==","avatar_url":"https://avatars.githubusercontent.com/u/255926?v=4","gravatar_id":"","url":"https://api.github.com/users/edwinb","html_url":"https://github.com/edwinb","followers_url":"https://api.github.com/users/edwinb/followers","following_url":"https://api.github.com/users/edwinb/following{/other_user}","gists_url":"https://api.github.com/users/edwinb/gists{/gist_id}","starred_url":"https://api.github.com/users/edwinb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/edwinb/subscriptions","organizations_url":"https://api.github.com/users/edwinb/orgs","repos_url":"https://api.github.com/users/edwinb/repos","events_url":"https://api.github.com/users/edwinb/events{/privacy}","received_events_url":"https://api.github.com/users/edwinb/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/edwinb/SPLV20","description":"SPLV20 course notes","fork":false,"url":"https://api.github.com/repos/edwinb/SPLV20","forks_url":"https://api.github.com/repos/edwinb/SPLV20/forks","keys_url":"https://api.github.com/repos/edwinb/SPLV20/keys{/key_id}","collaborators_url":"https://api.github.com/repos/edwinb/SPLV20/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/edwinb/SPLV20/teams","hooks_url":"https://api.github.com/repos/edwinb/SPLV20/hooks","issue_events_url":"https://api.github.com/repos/edwinb/SPLV20/issues/events{/number}","events_url":"https://api.github.com/repos/edwinb/SPLV20/events","assignees_url":"https://api.github.com/repos/edwinb/SPLV20/assignees{/user}","branches_url":"https://api.github.com/repos/edwinb/SPLV20/branches{/branch}","tags_url":"https://api.github.com/repos/edwinb/SPLV20/tags","blobs_url":"https://api.github.com/repos/edwinb/SPLV20/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/edwinb/SPLV20/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/edwinb/SPLV20/git/refs{/sha}","trees_url":"https://api.github.com/repos/edwinb/SPLV20/git/trees{/sha}","statuses_url":"https://api.github.com/repos/edwinb/SPLV20/statuses/{sha}","languages_url":"https://api.github.com/repos/edwinb/SPLV20/languages","stargazers_url":"https://api.github.com/repos/edwinb/SPLV20/stargazers","contributors_url":"https://api.github.com/repos/edwinb/SPLV20/contributors","subscribers_url":"https://api.github.com/repos/edwinb/SPLV20/subscribers","subscription_url":"https://api.github.com/repos/edwinb/SPLV20/subscription","commits_url":"https://api.github.com/repos/edwinb/SPLV20/commits{/sha}","git_commits_url":"https://api.github.com/repos/edwinb/SPLV20/git/commits{/sha}","comments_url":"https://api.github.com/repos/edwinb/SPLV20/comments{/number}","issue_comment_url":"https://api.github.com/repos/edwinb/SPLV20/issues/comments{/number}","contents_url":"https://api.github.com/repos/edwinb/SPLV20/contents/{+path}","compare_url":"https://api.github.com/repos/edwinb/SPLV20/compare/{base}...{head}","merges_url":"https://api.github.com/repos/edwinb/SPLV20/merges","archive_url":"https://api.github.com/repos/edwinb/SPLV20/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/edwinb/SPLV20/downloads","issues_url":"https://api.github.com/repos/edwinb/SPLV20/issues{/number}","pulls_url":"https://api.github.com/repos/edwinb/SPLV20/pulls{/number}","milestones_url":"https://api.github.com/repos/edwinb/SPLV20/milestones{/number}","notifications_url":"https://api.github.com/repos/edwinb/SPLV20/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/edwinb/SPLV20/labels{/name}","releases_url":"https://api.github.com/repos/edwinb/SPLV20/releases{/id}","deployments_url":"https://api.github.com/repos/edwinb/SPLV20/deployments","created_at":"2020-08-17T09:35:02Z","updated_at":"2026-09-28T21:25:00Z","pushed_at":"2022-11-19T03:38:52Z","git_url":"git://github.com/edwinb/SPLV20.git","ssh_url":"git@github.com:edwinb/SPLV20.git","clone_url":"https://github.com/edwinb/SPLV20.git","svn_url":"https://github.com/edwinb/SPLV20","homepage":null,"size":889,"stargazers_count":116,"watchers_count":116,"language":"Idris","has_issues":false,"has_projects":false,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":37,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":4,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":37,"open_issues":4,"watchers":116,"default_branch":"master","score":1.0},{"id":111207015,"node_id":"MDEwOlJlcG9zaXRvcnkxMTEyMDcwMTU=","name":"idris-tparsec","full_name":"gallais/idris-tparsec","private":false,"owner":{"login":"gallais","id":1094905,"node_id":"MDQ6VXNlcjEwOTQ5MDU=","avatar_url":"https://avatars.githubusercontent.com/u/1094905?v=4","gravatar_id":"","url":"https://api.github.com/users/gallais","html_url":"https://github.com/gallais","followers_url":"https://api.github.com/users/gallais/followers","following_url":"https://api.github.com/users/gallais/following{/other_user}","gists_url":"https://api.github.com/users/gallais/gists{/gist_id}","starred_url":"https://api.github.com/users/gallais/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gallais/subscriptions","organizations_url":"https://api.github.com/users/gallais/orgs","repos_url":"https://api.github.com/users/gallais/repos","events_url":"https://api.github.com/users/gallais/events{/privacy}","received_events_url":"https://api.github.com/users/gallais/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/gallais/idris-tparsec","description":"TParsec - Total Parser Combinators in Idris","fork":false,"url":"https://api.github.com/repos/gallais/idris-tparsec","forks_url":"https://api.github.com/repos/gallais/idris-tparsec/forks","keys_url":"https://api.github.com/repos/gallais/idris-tparsec/keys{/key_id}","collaborators_url":"https://api.github.com/repos/gallais/idris-tparsec/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/gallais/idris-tparsec/teams","hooks_url":"https://api.github.com/repos/gallais/idris-tparsec/hooks","issue_events_url":"https://api.github.com/repos/gallais/idris-tparsec/issues/events{/number}","events_url":"https://api.github.com/repos/gallais/idris-tparsec/events","assignees_url":"https://api.github.com/repos/gallais/idris-tparsec/assignees{/user}","branches_url":"https://api.github.com/repos/gallais/idris-tparsec/branches{/branch}","tags_url":"https://api.github.com/repos/gallais/idris-tparsec/tags","blobs_url":"https://api.github.com/repos/gallais/idris-tparsec/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/gallais/idris-tparsec/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/gallais/idris-tparsec/git/refs{/sha}","trees_url":"https://api.github.com/repos/gallais/idris-tparsec/git/trees{/sha}","statuses_url":"https://api.github.com/repos/gallais/idris-tparsec/statuses/{sha}","languages_url":"https://api.github.com/repos/gallais/idris-tparsec/languages","stargazers_url":"https://api.github.com/repos/gallais/idris-tparsec/stargazers","contributors_url":"https://api.github.com/repos/gallais/idris-tparsec/contributors","subscribers_url":"https://api.github.com/repos/gallais/idris-tparsec/subscribers","subscription_url":"https://api.github.com/repos/gallais/idris-tparsec/subscription","commits_url":"https://api.github.com/repos/gallais/idris-tparsec/commits{/sha}","git_commits_url":"https://api.github.com/repos/gallais/idris-tparsec/git/commits{/sha}","comments_url":"https://api.github.com/repos/gallais/idris-tparsec/comments{/number}","issue_comment_url":"https://api.github.com/repos/gallais/idris-tparsec/issues/comments{/number}","contents_url":"https://api.github.com/repos/gallais/idris-tparsec/contents/{+path}","compare_url":"https://api.github.com/repos/gallais/idris-tparsec/compare/{base}...{head}","merges_url":"https://api.github.com/repos/gallais/idris-tparsec/merges","archive_url":"https://api.github.com/repos/gallais/idris-tparsec/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/gallais/idris-tparsec/downloads","issues_url":"https://api.github.com/repos/gallais/idris-tparsec/issues{/number}","pulls_url":"https://api.github.com/repos/gallais/idris-tparsec/pulls{/number}","milestones_url":"https://api.github.com/repos/gallais/idris-tparsec/milestones{/number}","notifications_url":"https://api.github.com/repos/gallais/idris-tparsec/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/gallais/idris-tparsec/labels{/name}","releases_url":"https://api.github.com/repos/gallais/idris-tparsec/releases{/id}","deployments_url":"https://api.github.com/repos/gallais/idris-tparsec/deployments","created_at":"2017-11-18T13:17:53Z","updated_at":"2026-04-07T04:01:28Z","pushed_at":"2023-08-07T07:11:41Z","git_url":"git://github.com/gallais/idris-tparsec.git","ssh_url":"git@github.com:gallais/idris-tparsec.git","clone_url":"https://github.com/gallais/idris-tparsec.git","svn_url":"https://github.com/gallais/idris-tparsec","homepage":"https://gallais.github.io/idris-tparsec/","size":250,"stargazers_count":100,"watchers_count":100,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":true,"has_discussions":false,"forks_count":9,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":11,"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":["idris","parser-combinators"],"visibility":"public","forks":9,"open_issues":11,"watchers":100,"default_branch":"master","score":1.0},{"id":461274258,"node_id":"R_kgDOG358kg","name":"Yaffle","full_name":"edwinb/Yaffle","private":false,"owner":{"login":"edwinb","id":255926,"node_id":"MDQ6VXNlcjI1NTkyNg==","avatar_url":"https://avatars.githubusercontent.com/u/255926?v=4","gravatar_id":"","url":"https://api.github.com/users/edwinb","html_url":"https://github.com/edwinb","followers_url":"https://api.github.com/users/edwinb/followers","following_url":"https://api.github.com/users/edwinb/following{/other_user}","gists_url":"https://api.github.com/users/edwinb/gists{/gist_id}","starred_url":"https://api.github.com/users/edwinb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/edwinb/subscriptions","organizations_url":"https://api.github.com/users/edwinb/orgs","repos_url":"https://api.github.com/users/edwinb/repos","events_url":"https://api.github.com/users/edwinb/events{/privacy}","received_events_url":"https://api.github.com/users/edwinb/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/edwinb/Yaffle","description":"A core language and API for dependently typed languages","fork":false,"url":"https://api.github.com/repos/edwinb/Yaffle","forks_url":"https://api.github.com/repos/edwinb/Yaffle/forks","keys_url":"https://api.github.com/repos/edwinb/Yaffle/keys{/key_id}","collaborators_url":"https://api.github.com/repos/edwinb/Yaffle/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/edwinb/Yaffle/teams","hooks_url":"https://api.github.com/repos/edwinb/Yaffle/hooks","issue_events_url":"https://api.github.com/repos/edwinb/Yaffle/issues/events{/number}","events_url":"https://api.github.com/repos/edwinb/Yaffle/events","assignees_url":"https://api.github.com/repos/edwinb/Yaffle/assignees{/user}","branches_url":"https://api.github.com/repos/edwinb/Yaffle/branches{/branch}","tags_url":"https://api.github.com/repos/edwinb/Yaffle/tags","blobs_url":"https://api.github.com/repos/edwinb/Yaffle/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/edwinb/Yaffle/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/edwinb/Yaffle/git/refs{/sha}","trees_url":"https://api.github.com/repos/edwinb/Yaffle/git/trees{/sha}","statuses_url":"https://api.github.com/repos/edwinb/Yaffle/statuses/{sha}","languages_url":"https://api.github.com/repos/edwinb/Yaffle/languages","stargazers_url":"https://api.github.com/repos/edwinb/Yaffle/stargazers","contributors_url":"https://api.github.com/repos/edwinb/Yaffle/contributors","subscribers_url":"https://api.github.com/repos/edwinb/Yaffle/subscribers","subscription_url":"https://api.github.com/repos/edwinb/Yaffle/subscription","commits_url":"https://api.github.com/repos/edwinb/Yaffle/commits{/sha}","git_commits_url":"https://api.github.com/repos/edwinb/Yaffle/git/commits{/sha}","comments_url":"https://api.github.com/repos/edwinb/Yaffle/comments{/number}","issue_comment_url":"https://api.github.com/repos/edwinb/Yaffle/issues/comments{/number}","contents_url":"https://api.github.com/repos/edwinb/Yaffle/contents/{+path}","compare_url":"https://api.github.com/repos/edwinb/Yaffle/compare/{base}...{head}","merges_url":"https://api.github.com/repos/edwinb/Yaffle/merges","archive_url":"https://api.github.com/repos/edwinb/Yaffle/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/edwinb/Yaffle/downloads","issues_url":"https://api.github.com/repos/edwinb/Yaffle/issues{/number}","pulls_url":"https://api.github.com/repos/edwinb/Yaffle/pulls{/number}","milestones_url":"https://api.github.com/repos/edwinb/Yaffle/milestones{/number}","notifications_url":"https://api.github.com/repos/edwinb/Yaffle/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/edwinb/Yaffle/labels{/name}","releases_url":"https://api.github.com/repos/edwinb/Yaffle/releases{/id}","deployments_url":"https://api.github.com/repos/edwinb/Yaffle/deployments","created_at":"2022-02-19T18:11:00Z","updated_at":"2026-09-30T15:22:42Z","pushed_at":"2025-02-19T14:02:03Z","git_url":"git://github.com/edwinb/Yaffle.git","ssh_url":"git@github.com:edwinb/Yaffle.git","clone_url":"https://github.com/edwinb/Yaffle.git","svn_url":"https://github.com/edwinb/Yaffle","homepage":"","size":3872,"stargazers_count":98,"watchers_count":98,"language":"Idris","has_issues":false,"has_projects":false,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":22,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":3,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":22,"open_issues":3,"watchers":98,"default_branch":"main","score":1.0},{"id":30192577,"node_id":"MDEwOlJlcG9zaXRvcnkzMDE5MjU3Nw==","name":"idris-containers","full_name":"jfdm/idris-containers","private":false,"owner":{"login":"jfdm","id":331273,"node_id":"MDQ6VXNlcjMzMTI3Mw==","avatar_url":"https://avatars.githubusercontent.com/u/331273?v=4","gravatar_id":"","url":"https://api.github.com/users/jfdm","html_url":"https://github.com/jfdm","followers_url":"https://api.github.com/users/jfdm/followers","following_url":"https://api.github.com/users/jfdm/following{/other_user}","gists_url":"https://api.github.com/users/jfdm/gists{/gist_id}","starred_url":"https://api.github.com/users/jfdm/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jfdm/subscriptions","organizations_url":"https://api.github.com/users/jfdm/orgs","repos_url":"https://api.github.com/users/jfdm/repos","events_url":"https://api.github.com/users/jfdm/events{/privacy}","received_events_url":"https://api.github.com/users/jfdm/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/jfdm/idris-containers","description":"Various data structures for use in the Idris Language.","fork":false,"url":"https://api.github.com/repos/jfdm/idris-containers","forks_url":"https://api.github.com/repos/jfdm/idris-containers/forks","keys_url":"https://api.github.com/repos/jfdm/idris-containers/keys{/key_id}","collaborators_url":"https://api.github.com/repos/jfdm/idris-containers/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/jfdm/idris-containers/teams","hooks_url":"https://api.github.com/repos/jfdm/idris-containers/hooks","issue_events_url":"https://api.github.com/repos/jfdm/idris-containers/issues/events{/number}","events_url":"https://api.github.com/repos/jfdm/idris-containers/events","assignees_url":"https://api.github.com/repos/jfdm/idris-containers/assignees{/user}","branches_url":"https://api.github.com/repos/jfdm/idris-containers/branches{/branch}","tags_url":"https://api.github.com/repos/jfdm/idris-containers/tags","blobs_url":"https://api.github.com/repos/jfdm/idris-containers/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/jfdm/idris-containers/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/jfdm/idris-containers/git/refs{/sha}","trees_url":"https://api.github.com/repos/jfdm/idris-containers/git/trees{/sha}","statuses_url":"https://api.github.com/repos/jfdm/idris-containers/statuses/{sha}","languages_url":"https://api.github.com/repos/jfdm/idris-containers/languages","stargazers_url":"https://api.github.com/repos/jfdm/idris-containers/stargazers","contributors_url":"https://api.github.com/repos/jfdm/idris-containers/contributors","subscribers_url":"https://api.github.com/repos/jfdm/idris-containers/subscribers","subscription_url":"https://api.github.com/repos/jfdm/idris-containers/subscription","commits_url":"https://api.github.com/repos/jfdm/idris-containers/commits{/sha}","git_commits_url":"https://api.github.com/repos/jfdm/idris-containers/git/commits{/sha}","comments_url":"https://api.github.com/repos/jfdm/idris-containers/comments{/number}","issue_comment_url":"https://api.github.com/repos/jfdm/idris-containers/issues/comments{/number}","contents_url":"https://api.github.com/repos/jfdm/idris-containers/contents/{+path}","compare_url":"https://api.github.com/repos/jfdm/idris-containers/compare/{base}...{head}","merges_url":"https://api.github.com/repos/jfdm/idris-containers/merges","archive_url":"https://api.github.com/repos/jfdm/idris-containers/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/jfdm/idris-containers/downloads","issues_url":"https://api.github.com/repos/jfdm/idris-containers/issues{/number}","pulls_url":"https://api.github.com/repos/jfdm/idris-containers/pulls{/number}","milestones_url":"https://api.github.com/repos/jfdm/idris-containers/milestones{/number}","notifications_url":"https://api.github.com/repos/jfdm/idris-containers/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/jfdm/idris-containers/labels{/name}","releases_url":"https://api.github.com/repos/jfdm/idris-containers/releases{/id}","deployments_url":"https://api.github.com/repos/jfdm/idris-containers/deployments","created_at":"2015-02-02T15:10:37Z","updated_at":"2026-01-31T11:34:43Z","pushed_at":"2020-05-22T09:03:55Z","git_url":"git://github.com/jfdm/idris-containers.git","ssh_url":"git@github.com:jfdm/idris-containers.git","clone_url":"https://github.com/jfdm/idris-containers.git","svn_url":"https://github.com/jfdm/idris-containers","homepage":null,"size":247,"stargazers_count":94,"watchers_count":94,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":false,"has_pages":false,"has_discussions":false,"forks_count":21,"mirror_url":null,"archived":true,"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":[],"visibility":"public","forks":21,"open_issues":1,"watchers":94,"default_branch":"master","score":1.0},{"id":9889220,"node_id":"MDEwOlJlcG9zaXRvcnk5ODg5MjIw","name":"idris-type-providers","full_name":"david-christiansen/idris-type-providers","private":false,"owner":{"login":"david-christiansen","id":115330,"node_id":"MDQ6VXNlcjExNTMzMA==","avatar_url":"https://avatars.githubusercontent.com/u/115330?v=4","gravatar_id":"","url":"https://api.github.com/users/david-christiansen","html_url":"https://github.com/david-christiansen","followers_url":"https://api.github.com/users/david-christiansen/followers","following_url":"https://api.github.com/users/david-christiansen/following{/other_user}","gists_url":"https://api.github.com/users/david-christiansen/gists{/gist_id}","starred_url":"https://api.github.com/users/david-christiansen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/david-christiansen/subscriptions","organizations_url":"https://api.github.com/users/david-christiansen/orgs","repos_url":"https://api.github.com/users/david-christiansen/repos","events_url":"https://api.github.com/users/david-christiansen/events{/privacy}","received_events_url":"https://api.github.com/users/david-christiansen/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/david-christiansen/idris-type-providers","description":"Type provider library for Idris","fork":false,"url":"https://api.github.com/repos/david-christiansen/idris-type-providers","forks_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/forks","keys_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/keys{/key_id}","collaborators_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/teams","hooks_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/hooks","issue_events_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/issues/events{/number}","events_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/events","assignees_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/assignees{/user}","branches_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/branches{/branch}","tags_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/tags","blobs_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/git/refs{/sha}","trees_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/git/trees{/sha}","statuses_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/statuses/{sha}","languages_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/languages","stargazers_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/stargazers","contributors_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/contributors","subscribers_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/subscribers","subscription_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/subscription","commits_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/commits{/sha}","git_commits_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/git/commits{/sha}","comments_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/comments{/number}","issue_comment_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/issues/comments{/number}","contents_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/contents/{+path}","compare_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/compare/{base}...{head}","merges_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/merges","archive_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/downloads","issues_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/issues{/number}","pulls_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/pulls{/number}","milestones_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/milestones{/number}","notifications_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/labels{/name}","releases_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/releases{/id}","deployments_url":"https://api.github.com/repos/david-christiansen/idris-type-providers/deployments","created_at":"2013-05-06T14:59:00Z","updated_at":"2026-09-08T10:37:36Z","pushed_at":"2017-12-21T19:32:39Z","git_url":"git://github.com/david-christiansen/idris-type-providers.git","ssh_url":"git@github.com:david-christiansen/idris-type-providers.git","clone_url":"https://github.com/david-christiansen/idris-type-providers.git","svn_url":"https://github.com/david-christiansen/idris-type-providers","homepage":null,"size":222,"stargazers_count":94,"watchers_count":94,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":6,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":2,"license":null,"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":6,"open_issues":2,"watchers":94,"default_branch":"master","score":1.0},{"id":24740996,"node_id":"MDEwOlJlcG9zaXRvcnkyNDc0MDk5Ng==","name":"IdrisScript","full_name":"idris-hackers/IdrisScript","private":false,"owner":{"login":"idris-hackers","id":3963683,"node_id":"MDEyOk9yZ2FuaXphdGlvbjM5NjM2ODM=","avatar_url":"https://avatars.githubusercontent.com/u/3963683?v=4","gravatar_id":"","url":"https://api.github.com/users/idris-hackers","html_url":"https://github.com/idris-hackers","followers_url":"https://api.github.com/users/idris-hackers/followers","following_url":"https://api.github.com/users/idris-hackers/following{/other_user}","gists_url":"https://api.github.com/users/idris-hackers/gists{/gist_id}","starred_url":"https://api.github.com/users/idris-hackers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/idris-hackers/subscriptions","organizations_url":"https://api.github.com/users/idris-hackers/orgs","repos_url":"https://api.github.com/users/idris-hackers/repos","events_url":"https://api.github.com/users/idris-hackers/events{/privacy}","received_events_url":"https://api.github.com/users/idris-hackers/received_events","type":"Organization","user_view_type":"public","site_admin":false},"html_url":"https://github.com/idris-hackers/IdrisScript","description":"FFI Bindings to interact with the unsafe world of JavaScript","fork":false,"url":"https://api.github.com/repos/idris-hackers/IdrisScript","forks_url":"https://api.github.com/repos/idris-hackers/IdrisScript/forks","keys_url":"https://api.github.com/repos/idris-hackers/IdrisScript/keys{/key_id}","collaborators_url":"https://api.github.com/repos/idris-hackers/IdrisScript/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/idris-hackers/IdrisScript/teams","hooks_url":"https://api.github.com/repos/idris-hackers/IdrisScript/hooks","issue_events_url":"https://api.github.com/repos/idris-hackers/IdrisScript/issues/events{/number}","events_url":"https://api.github.com/repos/idris-hackers/IdrisScript/events","assignees_url":"https://api.github.com/repos/idris-hackers/IdrisScript/assignees{/user}","branches_url":"https://api.github.com/repos/idris-hackers/IdrisScript/branches{/branch}","tags_url":"https://api.github.com/repos/idris-hackers/IdrisScript/tags","blobs_url":"https://api.github.com/repos/idris-hackers/IdrisScript/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/idris-hackers/IdrisScript/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/idris-hackers/IdrisScript/git/refs{/sha}","trees_url":"https://api.github.com/repos/idris-hackers/IdrisScript/git/trees{/sha}","statuses_url":"https://api.github.com/repos/idris-hackers/IdrisScript/statuses/{sha}","languages_url":"https://api.github.com/repos/idris-hackers/IdrisScript/languages","stargazers_url":"https://api.github.com/repos/idris-hackers/IdrisScript/stargazers","contributors_url":"https://api.github.com/repos/idris-hackers/IdrisScript/contributors","subscribers_url":"https://api.github.com/repos/idris-hackers/IdrisScript/subscribers","subscription_url":"https://api.github.com/repos/idris-hackers/IdrisScript/subscription","commits_url":"https://api.github.com/repos/idris-hackers/IdrisScript/commits{/sha}","git_commits_url":"https://api.github.com/repos/idris-hackers/IdrisScript/git/commits{/sha}","comments_url":"https://api.github.com/repos/idris-hackers/IdrisScript/comments{/number}","issue_comment_url":"https://api.github.com/repos/idris-hackers/IdrisScript/issues/comments{/number}","contents_url":"https://api.github.com/repos/idris-hackers/IdrisScript/contents/{+path}","compare_url":"https://api.github.com/repos/idris-hackers/IdrisScript/compare/{base}...{head}","merges_url":"https://api.github.com/repos/idris-hackers/IdrisScript/merges","archive_url":"https://api.github.com/repos/idris-hackers/IdrisScript/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/idris-hackers/IdrisScript/downloads","issues_url":"https://api.github.com/repos/idris-hackers/IdrisScript/issues{/number}","pulls_url":"https://api.github.com/repos/idris-hackers/IdrisScript/pulls{/number}","milestones_url":"https://api.github.com/repos/idris-hackers/IdrisScript/milestones{/number}","notifications_url":"https://api.github.com/repos/idris-hackers/IdrisScript/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/idris-hackers/IdrisScript/labels{/name}","releases_url":"https://api.github.com/repos/idris-hackers/IdrisScript/releases{/id}","deployments_url":"https://api.github.com/repos/idris-hackers/IdrisScript/deployments","created_at":"2014-10-02T23:43:12Z","updated_at":"2026-09-08T10:13:20Z","pushed_at":"2018-10-07T17:57:03Z","git_url":"git://github.com/idris-hackers/IdrisScript.git","ssh_url":"git@github.com:idris-hackers/IdrisScript.git","clone_url":"https://github.com/idris-hackers/IdrisScript.git","svn_url":"https://github.com/idris-hackers/IdrisScript","homepage":null,"size":47,"stargazers_count":93,"watchers_count":93,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":11,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":3,"license":{"key":"bsd-2-clause","name":"BSD 2-Clause \"Simplified\" License","spdx_id":"BSD-2-Clause","url":"https://api.github.com/licenses/bsd-2-clause","node_id":"MDc6TGljZW5zZTQ="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":11,"open_issues":3,"watchers":93,"default_branch":"master","score":1.0},{"id":307067757,"node_id":"MDEwOlJlcG9zaXRvcnkzMDcwNjc3NTc=","name":"idris2-elab-util","full_name":"stefan-hoeck/idris2-elab-util","private":false,"owner":{"login":"stefan-hoeck","id":2195420,"node_id":"MDQ6VXNlcjIxOTU0MjA=","avatar_url":"https://avatars.githubusercontent.com/u/2195420?v=4","gravatar_id":"","url":"https://api.github.com/users/stefan-hoeck","html_url":"https://github.com/stefan-hoeck","followers_url":"https://api.github.com/users/stefan-hoeck/followers","following_url":"https://api.github.com/users/stefan-hoeck/following{/other_user}","gists_url":"https://api.github.com/users/stefan-hoeck/gists{/gist_id}","starred_url":"https://api.github.com/users/stefan-hoeck/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stefan-hoeck/subscriptions","organizations_url":"https://api.github.com/users/stefan-hoeck/orgs","repos_url":"https://api.github.com/users/stefan-hoeck/repos","events_url":"https://api.github.com/users/stefan-hoeck/events{/privacy}","received_events_url":"https://api.github.com/users/stefan-hoeck/received_events","type":"User","user_view_type":"public","site_admin":false},"html_url":"https://github.com/stefan-hoeck/idris2-elab-util","description":"Utilities and documentation for exploring idirs2's new elaborator reflection.","fork":false,"url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util","forks_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/forks","keys_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/keys{/key_id}","collaborators_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/teams","hooks_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/hooks","issue_events_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/issues/events{/number}","events_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/events","assignees_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/assignees{/user}","branches_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/branches{/branch}","tags_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/tags","blobs_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/git/refs{/sha}","trees_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/git/trees{/sha}","statuses_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/statuses/{sha}","languages_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/languages","stargazers_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/stargazers","contributors_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/contributors","subscribers_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/subscribers","subscription_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/subscription","commits_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/commits{/sha}","git_commits_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/git/commits{/sha}","comments_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/comments{/number}","issue_comment_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/issues/comments{/number}","contents_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/contents/{+path}","compare_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/compare/{base}...{head}","merges_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/merges","archive_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/downloads","issues_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/issues{/number}","pulls_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/pulls{/number}","milestones_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/milestones{/number}","notifications_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/labels{/name}","releases_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/releases{/id}","deployments_url":"https://api.github.com/repos/stefan-hoeck/idris2-elab-util/deployments","created_at":"2020-10-25T09:50:03Z","updated_at":"2026-09-30T17:20:19Z","pushed_at":"2026-01-26T14:58:15Z","git_url":"git://github.com/stefan-hoeck/idris2-elab-util.git","ssh_url":"git@github.com:stefan-hoeck/idris2-elab-util.git","clone_url":"https://github.com/stefan-hoeck/idris2-elab-util.git","svn_url":"https://github.com/stefan-hoeck/idris2-elab-util","homepage":null,"size":285,"stargazers_count":92,"watchers_count":92,"language":"Idris","has_issues":true,"has_projects":true,"has_downloads":false,"has_wiki":true,"has_pages":false,"has_discussions":false,"forks_count":23,"mirror_url":null,"archived":false,"disabled":false,"open_issues_count":6,"license":{"key":"bsd-2-clause","name":"BSD 2-Clause \"Simplified\" License","spdx_id":"BSD-2-Clause","url":"https://api.github.com/licenses/bsd-2-clause","node_id":"MDc6TGljZW5zZTQ="},"allow_forking":true,"is_template":false,"web_commit_signoff_required":false,"has_pull_requests":true,"pull_request_creation_policy":"all","topics":[],"visibility":"public","forks":23,"open_issues":6,"watchers":92,"default_branch":"main","score":1.0}]}