{"id":59733,"name":"idris-dev","description":"A Dependently Typed Functional Programming Language","url":"https://github.com/idris-lang/idris-dev","last_synced_at":"2025-09-05T15:38:45.758Z","repository":{"id":1660609,"uuid":"2386778","full_name":"idris-lang/Idris-dev","owner":"idris-lang","description":"A Dependently Typed Functional Programming Language","archived":false,"fork":false,"pushed_at":"2025-02-17T14:08:47.000Z","size":38281,"stargazers_count":3458,"open_issues_count":709,"forks_count":638,"subscribers_count":118,"default_branch":"master","last_synced_at":"2025-05-20T19:16:11.649Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"http://idris-lang.org","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/idris-lang.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.md","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2011-09-14T16:55:49.000Z","updated_at":"2025-05-15T03:37:53.000Z","dependencies_parsed_at":"2024-11-26T05:02:20.821Z","dependency_job_id":"d0a50ec5-f964-4258-93b9-275426d6ee4b","html_url":"https://github.com/idris-lang/Idris-dev","commit_stats":{"total_commits":7490,"total_committers":412,"mean_commits":"18.179611650485437","dds":0.7692923898531375,"last_synced_commit":"80fa67e719d9ae69cec01ca94cb0183268d0eb72"},"previous_names":[],"tags_count":44,"template":false,"template_full_name":null,"purl":"pkg:github/idris-lang/Idris-dev","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/idris-lang","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/sbom","scorecard":{"id":481736,"data":{"date":"2025-08-11","repo":{"name":"github.com/idris-lang/Idris-dev","commit":"fc50b6fd9f67a0f499d08b5b81fff139a080cb2d"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":4,"checks":[{"name":"Dangerous-Workflow","score":-1,"reason":"no workflows found","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Code-Review","score":9,"reason":"Found 14/15 approved changesets -- score normalized to 9","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Maintained","score":0,"reason":"0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Token-Permissions","score":-1,"reason":"No tokens found","details":null,"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Binary-Artifacts","score":9,"reason":"binaries present in source code","details":["Warn: binary detected: test/interpret003/test:1"],"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"Pinned-Dependencies","score":-1,"reason":"no dependencies found","details":null,"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"License","score":9,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Warn: project license file does not contain an FSF or OSI license."],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Signed-Releases","score":-1,"reason":"no releases found","details":null,"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"Branch-Protection","score":0,"reason":"branch protection not enabled on development/release branches","details":["Warn: branch protection not enabled for branch 'master'"],"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 30 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}}]},"last_synced_at":"2025-08-19T16:48:49.293Z","repository_id":1660609,"created_at":"2025-08-19T16:48:49.293Z","updated_at":"2025-08-19T16:48:49.293Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273779200,"owners_count":25166746,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-05T02:00:09.113Z","response_time":402,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"owner":{"login":"idris-lang","name":"idris-lang","uuid":"5552910","kind":"organization","description":"","email":null,"website":null,"location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/5552910?v=4","repositories_count":5,"last_synced_at":"2024-03-26T03:07:16.462Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/idris-lang","funding_links":[],"total_stars":5902,"followers":76,"following":0,"created_at":"2022-11-03T03:27:33.781Z","updated_at":"2024-03-26T03:07:16.494Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/idris-lang","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/idris-lang/repositories"},"packages":[{"id":10371857,"name":"github.com/idris-lang/idris-dev","ecosystem":"go","description":null,"homepage":null,"licenses":"other","normalized_licenses":["GPL-1.0+"],"repository_url":"https://github.com/idris-lang/idris-dev","keywords_array":[],"namespace":null,"versions_count":30,"first_release_published_at":"2013-11-28T10:28:53.000Z","latest_release_published_at":"2021-10-22T21:17:29.000Z","latest_release_number":"v1.3.4","last_synced_at":"2025-08-23T04:03:59.536Z","created_at":"2024-06-15T04:18:59.062Z","updated_at":"2025-08-23T04:03:59.537Z","registry_url":"https://pkg.go.dev/github.com/idris-lang/idris-dev","install_command":"go get github.com/idris-lang/idris-dev","documentation_url":"https://pkg.go.dev/github.com/idris-lang/idris-dev#section-documentation","metadata":{},"repo_metadata":{"id":1660609,"uuid":"2386778","full_name":"idris-lang/Idris-dev","owner":"idris-lang","description":"A Dependently Typed Functional Programming Language","archived":false,"fork":false,"pushed_at":"2024-01-02T20:47:46.000Z","size":38273,"stargazers_count":3410,"open_issues_count":708,"forks_count":643,"subscribers_count":120,"default_branch":"master","last_synced_at":"2024-04-30T10:39:38.318Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"http://idris-lang.org","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/idris-lang.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.md","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null}},"created_at":"2011-09-14T16:55:49.000Z","updated_at":"2024-04-24T02:45:46.000Z","dependencies_parsed_at":"2024-01-08T14:30:41.122Z","dependency_job_id":null,"html_url":"https://github.com/idris-lang/Idris-dev","commit_stats":{"total_commits":7490,"total_committers":412,"mean_commits":"18.179611650485437","dds":0.7692923898531375,"last_synced_commit":"80fa67e719d9ae69cec01ca94cb0183268d0eb72"},"previous_names":[],"tags_count":44,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/idris-lang","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":207198116,"owners_count":14684907,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"repo_metadata_updated_at":"2024-06-15T04:35:40.707Z","dependent_packages_count":0,"downloads":null,"downloads_period":null,"dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":6.952098700724789,"dependent_packages_count":6.514682041123589,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":6.733390370924189},"purl":"pkg:golang/github.com/idris-lang/idris-dev","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/go/github.com/idris-lang/idris-dev","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/go/github.com/idris-lang/idris-dev","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/go/github.com/idris-lang/idris-dev/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Fidris-lang%2Fidris-dev/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Fidris-lang%2Fidris-dev/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Fidris-lang%2Fidris-dev/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Fidris-lang%2Fidris-dev/related_packages","maintainers":[],"registry":{"name":"proxy.golang.org","url":"https://proxy.golang.org","ecosystem":"go","default":true,"packages_count":1952122,"maintainers_count":0,"namespaces_count":741275,"keywords_count":109185,"github":"golang","metadata":{"funded_packages_count":49011},"icon_url":"https://github.com/golang.png","created_at":"2022-04-04T15:19:22.939Z","updated_at":"2025-09-05T05:14:06.439Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/namespaces"}},{"id":10371850,"name":"github.com/idris-lang/Idris-dev","ecosystem":"go","description":null,"homepage":null,"licenses":"other","normalized_licenses":["GPL-1.0+"],"repository_url":"https://github.com/idris-lang/Idris-dev","keywords_array":[],"namespace":null,"versions_count":30,"first_release_published_at":"2013-11-28T10:28:53.000Z","latest_release_published_at":"2021-10-22T21:17:29.000Z","latest_release_number":"v1.3.4","last_synced_at":"2025-08-24T10:43:57.184Z","created_at":"2024-06-15T04:18:57.701Z","updated_at":"2025-08-24T10:43:57.184Z","registry_url":"https://pkg.go.dev/github.com/idris-lang/Idris-dev","install_command":"go get github.com/idris-lang/Idris-dev","documentation_url":"https://pkg.go.dev/github.com/idris-lang/Idris-dev#section-documentation","metadata":{},"repo_metadata":{"id":1660609,"uuid":"2386778","full_name":"idris-lang/Idris-dev","owner":"idris-lang","description":"A Dependently Typed Functional Programming Language","archived":false,"fork":false,"pushed_at":"2024-01-02T20:47:46.000Z","size":38273,"stargazers_count":3410,"open_issues_count":708,"forks_count":643,"subscribers_count":120,"default_branch":"master","last_synced_at":"2024-04-30T10:39:38.318Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"http://idris-lang.org","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/idris-lang.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.md","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null}},"created_at":"2011-09-14T16:55:49.000Z","updated_at":"2024-04-24T02:45:46.000Z","dependencies_parsed_at":"2024-01-08T14:30:41.122Z","dependency_job_id":null,"html_url":"https://github.com/idris-lang/Idris-dev","commit_stats":{"total_commits":7490,"total_committers":412,"mean_commits":"18.179611650485437","dds":0.7692923898531375,"last_synced_commit":"80fa67e719d9ae69cec01ca94cb0183268d0eb72"},"previous_names":[],"tags_count":44,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/idris-lang","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":207198107,"owners_count":14684906,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"repo_metadata_updated_at":"2024-06-15T04:35:39.493Z","dependent_packages_count":0,"downloads":null,"downloads_period":null,"dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":6.952098700724789,"dependent_packages_count":6.514682041123589,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":6.733390370924189},"purl":"pkg:golang/github.com/idris-lang/%21idris-dev","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/go/github.com/idris-lang/Idris-dev","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/go/github.com/idris-lang/Idris-dev","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/go/github.com/idris-lang/Idris-dev/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Fidris-lang%2FIdris-dev/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Fidris-lang%2FIdris-dev/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Fidris-lang%2FIdris-dev/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages/github.com%2Fidris-lang%2FIdris-dev/related_packages","maintainers":[],"registry":{"name":"proxy.golang.org","url":"https://proxy.golang.org","ecosystem":"go","default":true,"packages_count":1952122,"maintainers_count":0,"namespaces_count":741275,"keywords_count":109185,"github":"golang","metadata":{"funded_packages_count":49011},"icon_url":"https://github.com/golang.png","created_at":"2022-04-04T15:19:22.939Z","updated_at":"2025-09-05T05:14:06.439Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/proxy.golang.org/namespaces"}}],"commits":{"id":281343,"full_name":"idris-lang/Idris-dev","default_branch":"master","committers":[{"name":"Edwin Brady","email":"ecb10@st-andrews.ac.uk","login":"edwinb","count":1729},{"name":"David Raymond Christiansen","email":"david@davidchristiansen.dk","login":"david-christiansen","count":981},{"name":"Edwin Brady","email":"eb@cs.st-andrews.ac.uk","login":null,"count":587},{"name":"raichoo","email":"raichoo@googlemail.com","login":"raichoo","count":389},{"name":"Jan de Muijnck-Hughes","email":"jfdm@st-andrews.ac.uk","login":null,"count":306},{"name":"Matus Tejiscak","email":"ziman@functor.sk","login":"ziman","count":299},{"name":"Niklas Larsson","email":"niklas@mm.st","login":"melted","count":279},{"name":"Benjamin Saunders","email":"besaunde@sfu.ca","login":"Ralith","count":218},{"name":"Ahmad Salim Al-Sibahi","email":"asal@itu.dk","login":null,"count":144},{"name":"Melvar Chen","email":"Melvar.Chen@googlemail.com","login":"Melvar","count":108},{"name":"Jason Felice","email":"jason.m.felice@gmail.com","login":"eraserhd","count":100},{"name":"Jan Bessai","email":"Jan.Bessai@tu-dortmund.de","login":"JanBessai","count":84},{"name":"Michael Morgan","email":"morgan.michael@me.com","login":"msmorgan","count":81},{"name":"Steven Shaw","email":"steven@steshaw.org","login":"steshaw","count":80},{"name":"Jan de Muijnck-Hughes","email":"jan.deMuijnck-Hughes@glasgow.ac.uk","login":"jfdm","count":74},{"name":"Hannes Mehnert","email":"hannes@mehnert.org","login":"hannesm","count":62},{"name":"bmsherman","email":"bmsherman","login":"bmsherman","count":55},{"name":"Rui Barreiro","email":"rui.barreiro@gmail.com","login":"rbarreiro","count":50},{"name":"Echo Nolan","email":"echo@echonolan.net","login":"enolan","count":50},{"name":"Martin Baker","email":"git87465@martinb.com","login":null,"count":49},{"name":"Jorge Acereda","email":"jacereda@gmail.com","login":"jacereda","count":46},{"name":"Jeremy W. Sherman","email":"jeremyw.sherman@gmail.com","login":"jeremy-w","count":42},{"name":"martinbaker","email":"git29f185@martinb.com","login":null,"count":41},{"name":"Heather","email":"heather@live.ru","login":null,"count":39},{"name":"Alyssa Carter","email":"trillionalyssa@gmail.com","login":"trillioneyes","count":37},{"name":"Dominic Mulligan","email":"dominic.p.mulligan@googlemail.com","login":"dpmulligan","count":34},{"name":"melissam","email":"mfm6@st-andrews.ac.uk","login":null,"count":33},{"name":"Philip Rasmussen","email":"pjor@itu.dk","login":"PhilipBorgesen","count":33},{"name":"startling","email":"tdixon51793@gmail.com","login":null,"count":29},{"name":"Leif Warner","email":"abimelech@gmail.com","login":"LeifW","count":29},{"name":"Alex Gryzlov","email":"skyrodent@gmail.com","login":"clayrat","count":28},{"name":"Synthetica9","email":"patrickhilhorst97@gmail.com","login":null,"count":27},{"name":"Markus Pfeiffer","email":"markus.pfeiffer@morphism.de","login":"markuspf","count":27},{"name":"Timo Petteri Sinnemäki","email":"timo.sinnemaki@helsinki.fi","login":"tpsinnem","count":27},{"name":"Shea Levy","email":"shea@shealevy.com","login":"shlevy","count":26},{"name":"BlackBrane","email":"cs.hbar@gmail.com","login":"fieldstrength","count":25},{"name":"be5invis","email":"belleve@typeof.net","login":"be5invis","count":24},{"name":"Brian McKenna","email":"brian@brianmckenna.org","login":"puffnfresh","count":24},{"name":"Paul Koerbitz","email":"paul.koerbitz@theppro.com","login":null,"count":24},{"name":"Nick Drozd","email":"nicholasdrozd@gmail.com","login":"nickdrozd","count":22},{"name":"Andreas Reuleaux","email":"arx@a-rx.info","login":"reuleaux","count":21},{"name":"Ozgur Akgun","email":"ozgurakgun@gmail.com","login":"ozgurakgun","count":20},{"name":"Joomy Korkut","email":"joomy@cattheory.com","login":"joom","count":19},{"name":"Adam Sandberg Eriksson","email":"adam@sandbergericsson.se","login":"adamse","count":19},{"name":"iko","email":"ilyakooo0@gmail.com","login":"ilyakooo0","count":18},{"name":"Alex Queiroz","email":"asandroq@gmail.com","login":"asandroq","count":18},{"name":"Ryan Scott","email":"ryan.gl.scott@gmail.com","login":"RyanGlScott","count":17},{"name":"howtonotwin","email":"rasheeqhere@gmail.com","login":"howtonotwin","count":17},{"name":"Mekeor Melire","email":"mekeor@ymail.com","login":null,"count":16},{"name":"Reynir Reynisson","email":"reynir@reynir.dk","login":"reynir","count":16},{"name":"Denis Buzdalov","email":"public@buzden.ru","login":"buzden","count":15},{"name":"JP Smith","email":"jp.smith@ilstu.edu","login":"japesinator","count":15},{"name":"zjhmale","email":"zjhmale@gmail.com","login":"swr1bm86","count":15},{"name":"Mort Yao","email":"mort.yao@gmail.com","login":"soimort","count":14},{"name":"Daniel Waterworth","email":"Da.Waterworth@gmail.com","login":"danielwaterworth","count":14},{"name":"Markus Pfeiffer","email":"markusp@mcs.st-andrews.ac.uk","login":null,"count":14},{"name":"stepcut","email":"jeremy@n-heptane.com","login":"stepcut","count":13},{"name":"Alex Gryzlov","email":"alexander.gryzlov@adform.com","login":null,"count":13},{"name":"Saurabh Rawat","email":"saurabh.rawat90@gmail.com","login":"eklavya","count":12},{"name":"Felix Yan","email":"felixonmars@archlinux.org","login":"felixonmars","count":11},{"name":"Jonas Claeson","email":"jonas.cl@protonmail.com","login":"mokshasoft","count":11},{"name":"Leif Warner","email":"leif@janrain.com","login":"LeifWarner","count":11},{"name":"Greg Pfeil","email":"greg@technomadic.org","login":"sellout","count":11},{"name":"Zack Grannan","email":"zgrannan@gmail.com","login":"zgrannan","count":11},{"name":"Sam T","email":"sta.cs.vsu@gmail.com","login":null,"count":11},{"name":"Sebastian de Bellefon","email":"arnaudpourseb@gmail.com","login":"Helkafen","count":10},{"name":"Sune Alkærsig","email":"sual@itu.dk","login":"sualitu","count":9},{"name":"gpyh","email":"yacine.hmito@gmail.com","login":"yacinehmito","count":9},{"name":"Chetan T","email":"chetant@gmail.com","login":"chetant","count":9},{"name":"Bartosz Przygoda","email":"bprzygoda@gmail.com","login":"BartAdv","count":9},{"name":"Thomas Scholtes","email":"thomas-scholtes@gmx.de","login":null,"count":9},{"name":"Guillaume Yziquel","email":"guillaume.hj.yziquel@gmail.com","login":"unalos","count":9},{"name":"Jacob Mitchell","email":"jmitchell@member.fsf.org","login":"jmitchell","count":9},{"name":"Sam Elliott","email":"sam@lenary.co.uk","login":"lenary","count":9},{"name":"XeFias","email":"xefias@gmail.com","login":"XeFias","count":8},{"name":"Calvin Beck","email":"hobbes@ualberta.ca","login":"Chobbes","count":8},{"name":"Guglielmo Fachini","email":"guglielmo@fachini.net","login":"GuglielmoS","count":8},{"name":"Norbert Melzer","email":"timmelzer@gmail.com","login":"NobbZ","count":8},{"name":"Jason Dagit","email":"dagit@galois.com","login":"dagit","count":7},{"name":"Markus Klink","email":"justjoheinz@gmail.com","login":"justjoheinz","count":7},{"name":"Colin Adams","email":"colinpauladams@gmail.com","login":"colin-adams","count":7},{"name":"Chris Gibbs","email":"atacratic","login":"atacratic","count":7},{"name":"Attila Lendvai","email":"attila@lendvai.name","login":"attila-lendvai","count":7},{"name":"Andy Morris","email":"andy@adradh.org.uk","login":"andy-morris","count":7},{"name":"Stephen Drodge","email":"stephen.drodge@gmail.com","login":"sjdrodge","count":7},{"name":"Paul Koerbitz","email":"p.koerbitz@smartreporting.de","login":null,"count":7},{"name":"Gabe McArthur","email":"gabemc@crowdflower.com","login":null,"count":7},{"name":"Benjamin Hodgson","email":"benjamin.hodgson@huddle.com","login":null,"count":7},{"name":"zenntenn","email":"zenten@zenten.ca","login":"zenntenn","count":7},{"name":"Jürgen Peters","email":"taulmarill@xgn.de","login":"tauli","count":7},{"name":"max ulidtko","email":"ulidtko@gmail.com","login":"ulidtko","count":7},{"name":"Vincent Hanquez","email":"vincent@snarc.org","login":"vincenthz","count":6},{"name":"Sventimir","email":"svantimir@gmail.com","login":"Sventimir","count":6},{"name":"Alexander Shabalin","email":"shabalyn.a@gmail.com","login":"projedi","count":6},{"name":"Joseph Morag","email":"jm4157@columbia.edu","login":"jmorag","count":6},{"name":"Jonas De Vuyst","email":"jdv@foobar.be","login":"jdevuyst","count":6},{"name":"Jean-Remi Desjardins","email":"jeanremi.desjardins@gmail.com","login":"jedesah","count":6},{"name":"George Leontiev","email":"folone@gmail.com","login":"folone","count":6},{"name":"Edmund Smith","email":"edmund.pd.smith@gmail.com","login":"edmundsmith","count":6},{"name":"Conjunctive","email":"conjunctive@protonmail.com","login":"conjunctive","count":6},{"name":"Brent Yorgey","email":"byorgey@gmail.com","login":"byorgey","count":6},{"name":"joe9","email":"joe9mail@gmail.com","login":"joe9","count":6},{"name":"Tenor Biel","email":"tenorbiel@gmail.com","login":"L8D","count":5},{"name":"Jefferson Carpenter","email":"jeffersoncarpenter2@gmail.com","login":"negatratoron","count":5},{"name":"Ilya Yanok","email":"ilya.yanok@gmail.com","login":"yanok","count":5},{"name":"stop-cran","email":"stop-cran@list.ru","login":"stop-cran","count":5},{"name":"doofin","email":"8177dph@gmail.com","login":"doofin","count":5},{"name":"Aaron Craelius","email":"aaroncraelius@gmail.com","login":"aaronc","count":5},{"name":"Eric Weinstein","email":"eric.q.weinstein@gmail.com","login":"ericqweinstein","count":5},{"name":"Jakob Brünker","email":"jakob.bruenker@gmail.com","login":"JakobBruenker","count":5},{"name":"johnny-john","email":"janosdobronszki@citromail.hu","login":null,"count":5},{"name":"Michael Morgan","email":"michael.morgan@mind-over-data.com","login":null,"count":5},{"name":"RyanGlScott","email":"ryan.gl.scott@ku.edu","login":null,"count":5},{"name":"PoroCYon","email":"porocyon@openmailbox.org","login":null,"count":5},{"name":"Kester Tong","email":"kestert@google.com","login":"KesterTong","count":5},{"name":"Scott Bonds","email":"scott@ggr.com","login":"bonds","count":5},{"name":"Simon Fowler","email":"simon@simonjf.com","login":"SimonJF","count":5},{"name":"Oskar Wickström","email":"oskar.wickstrom@gmail.com","login":"owickstrom","count":5},{"name":"Mattias Lundell","email":"mattias@lundell.com","login":"mattias-lundell","count":5},{"name":"Apostolis Xekoukoulotakis","email":"apostolis.xekoukoulotakis@gmail.com","login":"xekoukou","count":4},{"name":"Dmitry Tsygankov","email":"dmitry.tsygankov@gmail.com","login":"DmitryTsygankov","count":4},{"name":"Eric Walkingshaw","email":"eric@walkingshaw.net","login":"walkie","count":4},{"name":"Guillaume Allais","email":"guillaume.allais@ens-lyon.org","login":"gallais","count":4},{"name":"Jens Petersen","email":"juhpetersen@gmail.com","login":"juhp","count":4},{"name":"Michael Maloney","email":"tactics40@gmail.com","login":"tac-tics","count":4},{"name":"Oling Cat","email":"olingcat@gmail.com","login":"OlingCat","count":4},{"name":"aiya000","email":"aiya000.develop@gmail.com","login":"aiya000","count":4},{"name":"defanor","email":"defanor@uberspace.net","login":"defanor","count":4},{"name":"Chris Ford","email":"christophertford@gmail.com","login":"ctford","count":4},{"name":"Björn Aili","email":"bjorn.aili@gmail.com","login":"beark","count":4},{"name":"Markus Klink","email":"markus.klink@inoio.de","login":null,"count":4},{"name":"Irene Knapp","email":"ireney.knapp@gmail.com","login":null,"count":4},{"name":"Edward O'Callaghan","email":"eocallaghan@alterapraxis.com","login":null,"count":4},{"name":"mrb","email":"michaelrbernstein@gmail.com","login":"mrb","count":4},{"name":"Andrew Cann","email":"shum@canndrew.org","login":"canndrew","count":4},{"name":"Carsten König","email":"Carsten@gettingsharper.de","login":"CarstenKoenig","count":4},{"name":"Tom Prince","email":"tom.prince@ualberta.net","login":"tomprince","count":3},{"name":"Vaibhav Sagar","email":"vaibhavsagar@gmail.com","login":"vaibhavsagar","count":3},{"name":"worldsayshi","email":"per.fredelius@gmail.com","login":"worldsayshi","count":3},{"name":"Сухарик","email":"suhr@i2pmail.org","login":"suhr","count":3},{"name":"Aistis Raulinaitis","email":"sheganinans@gmail.com","login":"sheganinans","count":3},{"name":"RossMeikleham","email":"rossmeikleham@hotmail.co.uk","login":"RossMeikleham","count":3},{"name":"Robert Clipsham","email":"robert@octarineparrot.com","login":"mrmonday","count":3},{"name":"Rob Stewart","email":"robstewart57@gmail.com","login":"robstewart57","count":3},{"name":"Nathan Dinsmore","email":"nathan","login":"nathan","count":3},{"name":"Molly Miller","email":"sysvinit","login":"sysvinit","count":3},{"name":"Craig Ramsay","email":"cramsay01@gmail.com","login":"cramsay","count":3},{"name":"Dmitry Bushev","email":"bushevdv@gmail.com","login":"4e6","count":3},{"name":"Eduard Nicodei","email":"eddnicodei@gmail.com","login":"neduard","count":3},{"name":"Langston Barrett","email":"langston.barrett@gmail.com","login":"langston-barrett","count":3},{"name":"Matthias Heinzel","email":"mheinzel@posteo.de","login":"mheinzel","count":3},{"name":"Marko Dimjašević","email":"marko@cs.utah.edu","login":"mdimjasevic","count":3},{"name":"Juliusz Chroboczek","email":"jch@pps.univ-paris-diderot.fr","login":null,"count":3},{"name":"Peter Minten","email":"peter.minten@online.nl","login":null,"count":3},{"name":"Simon Fowler","email":"sf37@st-andrews.ac.uk","login":null,"count":3},{"name":"Edward Amsden","email":"edward@edwardamsden.com","login":null,"count":3},{"name":"Bjarki Ágúst Guðmundsson","email":"suprdewd@gmail.com","login":"SuprDewd","count":2},{"name":"Boro Sitnikovski","email":"buritomath@gmail.com","login":"bor0","count":2},{"name":"Brian Koropoff","email":"bkoropoff@gmail.com","login":"bkoropoff","count":2},{"name":"Bryn Keller","email":"xoltar@xoltar.org","login":"xoltar","count":2},{"name":"Christopher Schwaab","email":"christopher.schwaab@gmail.com","login":"christopherschwaab","count":2},{"name":"Craig McLaughlin","email":"mr_mcl@live.co.uk","login":"cmcl","count":2},{"name":"David Smith","email":"shmish111@gmail.com","login":"shmish111","count":2},{"name":"Dmitry Nikulin","email":"Pastafarianist","login":"Pastafarianist","count":2},{"name":"EvanR","email":"evanrinehart@gmail.com","login":"evanrinehart","count":2},{"name":"Fabian Thorand","email":"f.thorand@gmail.com","login":"fatho","count":2},{"name":"Jeff Petkau","email":"jpetkau","login":"jpetkau","count":2},{"name":"Johannes Griebler","email":"johannes.griebler@gmail.com","login":"jgriebler","count":2},{"name":"Jon Atack","email":"jon@atack.com","login":"jonatack","count":2},{"name":"Kim Stebel","email":"kim.stebel@gmail.com","login":"KimStebel","count":2},{"name":"Kyarigwo","email":"bwielinga@iprimus.com.au","login":"Kyarigwo","count":2},{"name":"Louis Pilfold","email":"louis@lpil.uk","login":"lpil","count":2},{"name":"Mathnerd314","email":"mathnerd314.gph+hs@gmail.com","login":"Mathnerd314","count":2},{"name":"Mitchell Rosen","email":"mitchellwrosen@gmail.com","login":"mitchellwrosen","count":2},{"name":"Mark Farrell","email":"m4farrel@uwaterloo.ca","login":null,"count":2},{"name":"Niklas Larsson","email":"niklaslarsson@tedkomp.local","login":null,"count":2},{"name":"Saurabh Rawat","email":"eklavya@Saurabhs-MacBook-Pro.local","login":null,"count":2},{"name":"Sean Hunt","email":"scshunt@csclub.uwaterloo.ca","login":null,"count":2},{"name":"Alex Gryzlov","email":"a.gryzlov@adform.com","login":null,"count":2},{"name":"Andreas Bogk","email":"andreas@oxytocin.andreas.org","login":null,"count":2},{"name":"Jan Stolarek","email":"jan.stolarek@p.lodz.pl","login":null,"count":2},{"name":"Tuncer Ayaz","email":"tuncer.ayaz@gmail.com","login":null,"count":2},{"name":"suhorng","email":"suhorng@gmail.com","login":null,"count":2},{"name":"mandubian","email":"pascal@projectseptember.com","login":null,"count":2},{"name":"bmsherman","email":"ben.sherman@example.com","login":null,"count":2},{"name":"XIE Yuheng","email":"xyheme@gmail.com","login":"xieyuheng","count":2},{"name":"Vyacheslav Shebanov","email":"terminal2010@gmail.com","login":"Termina1","count":2},{"name":"Vekhir","email":"134215107+Vekhir","login":"Vekhir","count":2},{"name":"Alexandre Esteves","email":"2335822+alexfmpe","login":"alexfmpe","count":2},{"name":"Fabian Heredia Montiel","email":"fabianherediajr@gmail.com","login":"fabianhjr","count":2},{"name":"Ilya Rezvov","email":"ilya.rezvov@revjet.com","login":"SPY","count":2},{"name":"Vitaly Bragilevsky","email":"bravit111@gmail.com","login":"bravit","count":2},{"name":"Sal Wolffs","email":"Garnasha","login":"Garnasha","count":2},{"name":"Risto Stevcev","email":"risto1@gmail.com","login":"Risto-Stevcev","count":2},{"name":"Ricky Elrod","email":"ricky@elrod.me","login":"relrod","count":2},{"name":"Richard Beddington","email":"richard.beddington@gmail.com","login":"RichieAHB","count":2},{"name":"Miëtek Bak","email":"mietek@bak.io","login":"mietek","count":2},{"name":"bmastenbrook","email":"brian@mastenbrook.net","login":"bmastenbrook","count":2},{"name":"identical snowflake","email":"identicalsnowflake@yandex.com","login":"identicalsnowflake","count":2},{"name":"uwap","email":"me@uwap.name","login":"uwap","count":2},{"name":"anthony cantor","email":"cantora@gubbi.mobi","login":null,"count":2},{"name":"Andrei Dziahel","email":"develop7@develop7.info","login":"develop7","count":2},{"name":"Alex Humphreys","email":"alexhumphreys","login":"alexhumphreys","count":2},{"name":"Adam Schønemann","email":"adamschoenemann@gmail.com","login":"adamschoenemann","count":2},{"name":"Tim McGilchrist","email":"timmcgil@gmail.com","login":"tmcgilchrist","count":2},{"name":"Seo Sanghyeon","email":"sanxiyn@gmail.com","login":"sanxiyn","count":2},{"name":"Ignas Vyšniauskas","email":"baliulia@gmail.com","login":"yfyf","count":2},{"name":"Ilan Godik","email":"ilan3580@gmail.com","login":"NightRa","count":2},{"name":"Imuli","email":"i@imu.li","login":"imuli","count":2},{"name":"Irene Knapp","email":"irene.knapp@icloud.com","login":"IreneKnapp","count":2},{"name":"Jack Henahan","email":"jhenahan@uvm.edu","login":"jhenahan","count":2},{"name":"Jason Gross","email":"jgross@mit.edu","login":"JasonGross","count":2},{"name":"Rui Gonçalves","email":"ruippeixotog@gmail.com","login":"ruippeixotog","count":2},{"name":"JC","email":"john.theman.connor@gmail.com","login":"jackolantern","count":2},{"name":"Alex Feldman-Crough","email":"alex@fldcr.com","login":"afldcr","count":2},{"name":"Luke Palmer","email":"luqui@clozure.com","login":null,"count":1},{"name":"Michael Weiss","email":"wm@ars.is","login":null,"count":1},{"name":"Sergei Trofimovich","email":"slyfox@gentoo.org","login":null,"count":1},{"name":"Niklas Larsson","email":"niklas.larsson@sony.com","login":null,"count":1},{"name":"Niriel","email":"b.delforge78@gmail.com","login":null,"count":1},{"name":"Gleb Alexeyev","email":"alexeyev-g@alexeyev-g.ua.adstream.local","login":null,"count":1},{"name":"Evan Jenkins","email":"ejenk@ejenk.com","login":null,"count":1},{"name":"Edwin Brady","email":"edwin@zoot.local","login":null,"count":1},{"name":"Edwin Brady","email":"edwin@fozzie.(none)","login":null,"count":1},{"name":"Edwin Brady","email":"edwin@dyn-207-205.cs.st-andrews.ac.uk","login":null,"count":1},{"name":"Edwin Brady","email":"edwin@bunsen.(none)","login":null,"count":1},{"name":"Edward Amsden","email":"edwardamsden@gmail.com","login":null,"count":1},{"name":"Joseph Morag","email":"joseph.morag@columbia.edu","login":null,"count":1},{"name":"Joseph Huang","email":"jsh@mises.com","login":null,"count":1},{"name":"Jonas Westerlund","email":"jonas.westerlund@me.com","login":null,"count":1},{"name":"Sergei Trofimovich","email":"siarheit@google.com","login":"trofi","count":1},{"name":"Shane Pearman","email":"spearman","login":"spearman","count":1},{"name":"Silvan Mosberger","email":"infinisil@icloud.com","login":"infinisil","count":1},{"name":"Junior Rojas","email":"jrojasdavalos@gmail.com","login":"juniorrojas","count":1},{"name":"Jurriën Stutterheim","email":"j.stutterheim@me.com","login":"norm2782","count":1},{"name":"Kevin Boulain","email":"kevinboulain@gmail.com","login":"kevinboulain","count":1},{"name":"Leandro Ostera","email":"leandro@ostera.io","login":"leostera","count":1},{"name":"Leon Schoorl","email":"l.m.schoorl@student.utwente.nl","login":"leonschoorl","count":1},{"name":"Luo Chen","email":"luochen1990@gmail.com","login":"luochen1990","count":1},{"name":"Lynn","email":"lynn@foldr.moe","login":"lynn","count":1},{"name":"Tim Dysinger","email":"tim@dysinger.net","login":"dysinger","count":1},{"name":"TorosFanny","email":"spiritofquantum@gmail.com","login":"TorosFanny","count":1},{"name":"Trevon Sutton","email":"trevon.sutton.dev@gmail.com","login":"trsutton","count":1},{"name":"Trevor Elliott","email":"trevor@galois.com","login":"elliottt","count":1},{"name":"Vanessa McHale","email":"vmchale","login":"vmchale","count":1},{"name":"VinothKumar Raman","email":"vinothkumarramanb@gmail.com","login":"vinothkr","count":1},{"name":"William Wennerström","email":"william@optmzr.se","login":"wstrm","count":1},{"name":"a3gis","email":"a3gis","login":"a3gis","count":1},{"name":"allancto","email":"allancto","login":"allancto","count":1},{"name":"雾雨魔理沙","email":"lolisa@marisa.moe","login":"MarisaKirisame","count":1},{"name":"Brian Wignall","email":"brianwignall@gmail.com","login":"bwignall","count":1},{"name":"Caleb Case","email":"calebcase@gmail.com","login":"calebcase","count":1},{"name":"Cameron Alexander","email":"emptyflash@gmail.com","login":"emptyflash","count":1},{"name":"Carter Charbonneau","email":"zcarterc@gmail.com","login":"acertain","count":1},{"name":"Casper M. H. Holmgreen","email":"cholmgreen@gmail.com","login":"cassiebaer","count":1},{"name":"cswords","email":"cswords@umail.iu.edu","login":null,"count":1},{"name":"jinbijin","email":"35583057+jinbijin","login":"jinbijin","count":1},{"name":"klangner","email":"klangner@gmail.com","login":"klangner","count":1},{"name":"klrr","email":"karloskarrikaas@gmail.com","login":"funrep","count":1},{"name":"lodi","email":"anthony.lodi@gmail.com","login":"lodi","count":1},{"name":"michaelmcgirr","email":"michaelgordonmcgirr@gmail.com","login":"mcgirr","count":1},{"name":"mitchmindtree","email":"mitchell.nordine@gmail.com","login":"mitchmindtree","count":1},{"name":"mmhelloworld","email":"mmhelloworld@gmail.com","login":"mmhelloworld","count":1},{"name":"olegv11","email":"olegsik@gmail.com","login":"olegv11","count":1},{"name":"rbasso","email":"rbasso@sharpgeeks.net","login":"rbasso","count":1},{"name":"undefdev","email":"undefdev@gmail.com","login":"undefdev","count":1},{"name":"xged","email":"xged90@gmail.com","login":"xged","count":1},{"name":"Stefan Bleibinhaus","email":"stefan.bleibinhaus@gmail.com","login":"ExNexu","count":1},{"name":"Stefano Volpe","email":"foxy@teapot.ovh","login":"foxyseta","count":1},{"name":"Stevan Andjelkovic","email":"stevan.andjelkovic@strath.ac.uk","login":"stevana","count":1},{"name":"Stuart Gale","email":"bishboria@gmail.com","login":"bishboria","count":1},{"name":"Sven Koschnicke","email":"s.koschnicke@gfxpro.com","login":"SKoschnicke","count":1},{"name":"Takaaki Seki","email":"ormscrongers@gmail.com","login":"SekiT","count":1},{"name":"Taran Lynn","email":"taranlynn0@gmail.com","login":"lambda-11235","count":1},{"name":"Temirkhan Myrzamadi","email":"hirrolot@gmail.com","login":"hirrolot","count":1},{"name":"Tesla Ice Zhang‮","email":"ice1000kotlin@foxmail.com","login":"ice1000","count":1},{"name":"Thomas Cooper","email":"main@astrolabe.plus.com","login":"astr0labe","count":1},{"name":"cchantep","email":"chantepie@altern.org","login":null,"count":1},{"name":"J.W","email":"jakwings@gmail.com","login":null,"count":1},{"name":"Hadi Moshayedi","email":"hadi@citusdata.com","login":null,"count":1},{"name":"Benjamin Hodgson","email":"bhodgson@stackoverflow.com","login":null,"count":1},{"name":"Average-user","email":"lucaspolymeris@gmail.com","login":null,"count":1},{"name":"Alexander Berntsen","email":"alexander@plaimi.net","login":null,"count":1},{"name":"Dmitry Shlagoff","email":"wessmoke@mail.ru","login":null,"count":1},{"name":"Darin Morrison","email":"darinmorrison+git@gmail.com","login":null,"count":1},{"name":"Tom Harding","email":"Tom@Toms-MacBook-Air.local","login":null,"count":1},{"name":"Sune Alkaersig","email":"sune@Sunes-MacBook-Pro.local","login":null,"count":1},{"name":"Stephan Brandauer","email":"stephan.brandauer@it.uu.se","login":null,"count":1},{"name":"pkel","email":"p@keller-re.de","login":null,"count":1},{"name":"lambdadomain","email":"gigabites2@A853-2.local","login":null,"count":1},{"name":"Chao-Hong Chen","email":"dreamlinuxer@gmail.com","login":"DreamLinuxer","count":1},{"name":"Chris Allen","email":"cma@bitemyapp.com","login":"bitemyapp","count":1},{"name":"Christophe Calvès","email":"Christophe.Calves@gmail.com","login":"chrilves","count":1},{"name":"Cliff L. Biffle","email":"code@cliffle.com","login":"cbiffle","count":1},{"name":"Daniel Firth","email":"locallycompact@gmail.com","login":"locallycompact","count":1},{"name":"Daniël Heres","email":"danielheres@gmail.com","login":"Dandandan","count":1},{"name":"Dave Willmer","email":"dave.willmer@gmail.com","login":"dwillmer","count":1},{"name":"Eric Bailey","email":"eric@ericb.me","login":"yurrriq","count":1},{"name":"David Feuer","email":"David.Feuer@gmail.com","login":"treeowl","count":1},{"name":"David Honour","email":"david@concertdaw.co.uk","login":"foolswood","count":1},{"name":"David Kraeutmann","email":"kane@kane.cx","login":"KaneTW","count":1},{"name":"Deniz A. Durmaz","email":"denizalpd@ogr.iu.edu.tr","login":"dalpd","count":1},{"name":"Dennis Griffith","email":"isanobody@gmail.com","login":"ISANobody","count":1},{"name":"Derek Morr","email":"derek.morr.test@gmail.com","login":"derekmorr","count":1},{"name":"Dmitry Kovanikov","email":"kovanikov@gmail.com","login":"chshersh","count":1},{"name":"Dmitry Malikov","email":"malikov.d.y@gmail.com","login":"dmalikov","count":1},{"name":"2426021684","email":"2426021684","login":"2426021684","count":1},{"name":"Adolfo Ochagavía","email":"aochagavia92@gmail.com","login":"aochagavia","count":1},{"name":"Alex Berg","email":"chexxor","login":"chexxor","count":1},{"name":"Alexander Iljin","email":"ajsoft@yandex.ru","login":"alex-ilin","count":1},{"name":"Andreas Bogk","email":"andreas@andreas.org","login":"andreasdotorg","count":1},{"name":"Andreas Ländle","email":"andreas.laendle@de.bosch.com","login":"alaendle","count":1},{"name":"Andrew Bruce","email":"me@andrewbruce.net","login":"camelpunch","count":1},{"name":"Andrew Miller","email":"andrew@amxl.com","login":"A1kmm","count":1},{"name":"Andrew Skiba","email":"skibaa@gmail.com","login":"skibaa","count":1},{"name":"Andrew Stewart Gibson","email":"andrew@goofballLogic.com","login":"goofballLogic","count":1},{"name":"André Videla","email":"andre.videla@gmail.com","login":"andrevidela","count":1},{"name":"Andy Caldwell","email":"andrew.caldwell@metaswitch.com","login":"bossmc","count":1},{"name":"Anthony","email":"faineance","login":"faineance","count":1},{"name":"Artem Ohanjanyan","email":"ArtemOhanjanyan@gmail.com","login":"artemohanjanyan","count":1},{"name":"Eric Mertens","email":"emertens@gmail.com","login":"glguy","count":1},{"name":"Rahul Muttineni","email":"rahulmutt@gmail.com","login":"rahulmutt","count":1},{"name":"Philippe Lafontaine","email":"lafontaine.philippe@gmail.com","login":"BleuShan","count":1},{"name":"Pawel Sawicz","email":"pawel.sawicz@protonmail.com","login":"pawelsawicz","count":1},{"name":"Athan Clark","email":"athan.clark@gmail.com","login":"athanclark","count":1},{"name":"Ben Gamari","email":"ben@smart-cactus.org","login":"bgamari","count":1},{"name":"Ben Moon","email":"software@guiltydolphin.com","login":"GuiltyDolphin","count":1},{"name":"Boyd Stephen Smith Jr","email":"bss@iguanasuicide.net","login":"stephen-smith","count":1},{"name":"Dominik Peteler","email":"github@with-h.at","login":"dpeteler","count":1},{"name":"Hadi Moshayedi","email":"hadi@moshayedi.net","login":"pykello","count":1},{"name":"Heather","email":"Cynede@Gentoo.org","login":"cnd","count":1},{"name":"Heather","email":"Heather","login":"Heather","count":1},{"name":"Hector A. Escobedo IV","email":"ninjahector.escobedo@gmail.com","login":"HectorAE","count":1},{"name":"Ivan Perez","email":"ivan.perez@keera.co.uk","login":"ivanperez-keera","count":1},{"name":"Jacek Podkanski","email":"ruby.object@googlemail.com","login":"bigos","count":1},{"name":"Jack Ek","email":"2727556+kjekac","login":"kjekac","count":1},{"name":"Jacob Errington","email":"git@mail.jerrington.me","login":"tsani","count":1},{"name":"Jan Doms","email":"jan.doms@gmail.com","login":"domsj","count":1},{"name":"Jeff Hemphill","email":"jhemphill@fb.com","login":"jthemphill","count":1},{"name":"Jelle Besseling","email":"jelle@pingiun.com","login":"pingiun","count":1},{"name":"Johann Rudloff","email":"johann@sinyax.net","login":"cypheon","count":1},{"name":"John Wiegley","email":"johnw@newartisans.com","login":"jwiegley","count":1},{"name":"Jonathan","email":"vanillajonathan","login":"vanillajonathan","count":1},{"name":"Jonathan Sterling","email":"jonsterling@me.com","login":"jonsterling","count":1},{"name":"Michel Bøje Randahl Nielsen","email":"michel@randahl.net","login":"michelrandahl","count":1},{"name":"Miikka Koskinen","email":"miikka.koskinen@iki.fi","login":"miikka","count":1},{"name":"Mike Pilgrem","email":"mpilgrem","login":"mpilgrem","count":1},{"name":"Soham Chowdhury","email":"chow.soham@gmail.com","login":"mrkgnao","count":1},{"name":"badbadboy","email":"pkapustin@gmail.com","login":"pkapustin","count":1},{"name":"ben-schulz","email":"benjamin.john.schulz@gmail.com","login":"ben-schulz","count":1},{"name":"comco","email":"void.unsigned@gmail.com","login":"comco","count":1},{"name":"dkeehl","email":"dkeehl@gmail.com","login":"dkeehl","count":1},{"name":"eric casteleijn","email":"thisfred@gmail.com","login":"thisfred","count":1},{"name":"fiendfan1","email":"fiendfan1@yahoo.com","login":"jaredloomis","count":1},{"name":"janschultecom","email":"jan@janschulte.com","login":"janschultecom","count":1},{"name":"jhegedus42","email":"jhegedus42@gmail.com","login":"jhegedus42","count":1},{"name":"Paul Ivanov","email":"pi@berkeley.edu","login":"ivanov","count":1},{"name":"Patrik Jansson","email":"patrik.ja@gmail.com","login":"patrikja","count":1},{"name":"Naman Bharadwaj","email":"namanbharadwaj","login":"namanbharadwaj","count":1},{"name":"Márton Boros","email":"martonboros@gmail.com","login":"brainrake","count":1},{"name":"Milan Kral","email":"milan.kral@azet.sk","login":"MilanKral","count":1},{"name":"Reiner Dolp","email":"reiner-dolp","login":"reiner-dolp","count":1},{"name":"Rizo Isrof","email":"rizo.isrof@gmail.com","login":"rizo","count":1},{"name":"Robbert Gurdeep Singh","email":"mail.garonn@gmail.com","login":"beardhatcode","count":1},{"name":"Robert Edström","email":"robert.edstrom@gmail.com","login":"Legogris","count":1},{"name":"Robert Hencke","email":"robert.hencke@gmail.com","login":"rhencke","count":1},{"name":"Sebastian Dröge","email":"sebastian@centricular.com","login":"sdroege","count":1},{"name":"MarcelineVQ","email":"marcythevq@gmail.com","login":"MarcelineVQ","count":1},{"name":"Josh Vera","email":"vera@github.com","login":"joshvera","count":1},{"name":"Erkin Batu Altunbaş","email":"erkinbatu@gmail.com","login":"erkin","count":1},{"name":"Ertugrul Söylemez","email":"es@ertes.de","login":"ertes","count":1},{"name":"Franklin Chen","email":"franklinchen@franklinchen.com","login":"FranklinChen","count":1},{"name":"Frederic Koehler","email":"f.koehler427@gmail.com","login":"fkoehler2","count":1},{"name":"Frederik Vigen","email":"frederikvigen@gmail.com","login":"FrederikVigen","count":1},{"name":"Friedrich von Never","email":"friedrich@fornever.me","login":"ForNeVeR","count":1},{"name":"Gabor Greif","email":"ggreif@gmail.com","login":"ggreif","count":1},{"name":"Gabriel Garcia","email":"garciat@live.com","login":"Garciat","count":1},{"name":"Gabriel McArthur","email":"gabriel.mcarthur@gmail.com","login":"heyzua","count":1},{"name":"Gareth Smith","email":"garethdanielsmith@gmail.com","login":"Dretch","count":1},{"name":"George","email":"gdennie@pospeople.com","login":"gdennie","count":1},{"name":"Greg","email":"greganderson314@gmail.com","login":"gavlegoat","count":1},{"name":"Julian Kniephoff","email":"me@juliankniephoff.com","login":"JulianKniephoff","count":1},{"name":"Mario Lang","email":"mlang@delysid.org","login":"mlang","count":1},{"name":"Martin","email":"martin@martinsvanberg.com","login":"msvbg","count":1},{"name":"Matthew Pickering","email":"matthewtpickering@gmail.com","login":"mpickering","count":1},{"name":"Matvey B. Aksenov","email":"matvey.aksenov@gmail.com","login":"supki","count":1},{"name":"Merlin Göttlinger","email":"megoettlinger@gmail.com","login":"mgttlinger","count":1},{"name":"Michael A. Smith","email":"michael@smith-li.com","login":"kojiromike","count":1},{"name":"Michael Gilliland","email":"mjg.py3@gmail.com","login":"mjgpy3","count":1},{"name":"Michael Hensler","email":"mhensler@microsoft.com","login":"michens","count":1},{"name":"Michael Thompson","email":"what_is_it_to_do_anything@yahoo.com","login":"michaelt","count":1},{"name":"Michal Kleczek","email":"michal@kleczek.org","login":"mkleczek","count":1}],"total_commits":7493,"total_committers":392,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":19.114795918367346,"dds":0.7692513012144668,"past_year_committers":[{"name":"Stefano Volpe","email":"foxy@teapot.ovh","login":"foxyseta","count":1}],"past_year_total_commits":1,"past_year_total_committers":1,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":1.0,"past_year_dds":0.0,"last_synced_at":"2025-05-14T16:53:05.299Z","last_synced_commit":"fc50b6fd9f67a0f499d08b5b81fff139a080cb2d","created_at":"2023-03-08T15:05:39.105Z","updated_at":"2025-05-14T16:53:05.358Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-08-27T00:00:29.048Z","repositories_count":5479765,"commits_count":853308191,"contributors_count":31095157,"owners_count":906558,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories"}},"issues_stats":{"full_name":"idris-lang/Idris-dev","html_url":"https://github.com/idris-lang/Idris-dev","last_synced_at":"2025-08-31T17:27:54.152Z","status":null,"issues_count":43,"pull_requests_count":58,"avg_time_to_close_issue":18515368.023255814,"avg_time_to_close_pull_request":180143.03636363638,"issues_closed_count":43,"pull_requests_closed_count":55,"pull_request_authors_count":10,"issue_authors_count":22,"avg_comments_per_issue":2.9767441860465116,"avg_comments_per_pull_request":0.22413793103448276,"merged_pull_requests_count":53,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":2,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":2,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":0.0,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"created_at":"2024-09-21T05:01:25.986Z","updated_at":"2025-09-02T01:17:45.154Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/issues","issue_labels_count":{"C-Moderate Effort":4,"Z-Feature Request":2,"A-Confirmed":1,"C-Low Hanging Fruit":1},"pull_request_labels_count":{},"issue_author_associations_count":{"NONE":31,"CONTRIBUTOR":8,"MEMBER":4},"pull_request_author_associations_count":{"MEMBER":27,"CONTRIBUTOR":20,"NONE":13},"issue_authors":{"nicolabotta":6,"ghost":5,"raichoo":4,"cartazio":4,"tac-tics":2,"zenon":2,"phillipharr1s":2,"edwinb":2,"arthurp":2,"Ralith":2,"Saizan":1,"mokus0":1,"ionescu":1,"vlysikov":1,"acowley":1,"nshepperd":1,"jonsterling":1,"Warbo":1,"startling":1,"benmos":1,"gurgeh":1,"danielwaterworth":1},"pull_request_authors":{"raichoo":27,"dpmulligan":12,"ghost":8,"melfm":3,"startling":2,"dagit":2,"foxyseta":1,"IreneKnapp":1,"juhp":1,"Vekhir":1,"hyphenrf":1,"JasonnnW3000":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-03T00:00:08.273Z","repositories_count":10067190,"issues_count":31167068,"pull_requests_count":94973790,"authors_count":10688095,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"},"past_year_issue_labels_count":{},"past_year_pull_request_labels_count":{},"past_year_issue_author_associations_count":{},"past_year_pull_request_author_associations_count":{"NONE":2},"past_year_issue_authors":{},"past_year_pull_request_authors":{"foxyseta":1,"JasonnnW3000":1},"maintainers":[{"login":"raichoo","count":31,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/raichoo"}],"active_maintainers":[]},"events":{"total":{"WatchEvent":53,"IssueCommentEvent":1,"PushEvent":1,"PullRequestEvent":2,"ForkEvent":4},"last_year":{"WatchEvent":53,"IssueCommentEvent":1,"PushEvent":1,"PullRequestEvent":2,"ForkEvent":4}},"keywords":[],"dependencies":[{"ecosystem":"hackage","filepath":"idris.cabal","sha":null,"kind":"manifest","created_at":"2023-07-05T21:32:47.614Z","updated_at":"2023-07-05T21:32:47.614Z","repository_link":"https://github.com/idris-lang/Idris-dev/blob/master/idris.cabal","dependencies":[{"id":11150133776,"package_name":"base","ecosystem":"hackage","requirements":"==4.*","direct":true,"kind":"runtime","optional":false},{"id":11150133777,"package_name":"aeson","ecosystem":"hackage","requirements":"\u003e=0.6 \u0026\u0026 \u003c1.6","direct":true,"kind":"runtime","optional":false},{"id":11150133778,"package_name":"annotated-wl-pprint","ecosystem":"hackage","requirements":"==0.7.*","direct":true,"kind":"runtime","optional":false},{"id":11150133848,"package_name":"ansi-terminal","ecosystem":"hackage","requirements":"\u003c0.12","direct":true,"kind":"runtime","optional":false},{"id":11150133874,"package_name":"ansi-wl-pprint","ecosystem":"hackage","requirements":"\u003c0.7","direct":true,"kind":"runtime","optional":false},{"id":11150133875,"package_name":"array","ecosystem":"hackage","requirements":"\u003e=0.4.0.1 \u0026\u0026 \u003c0.6","direct":true,"kind":"runtime","optional":false},{"id":11150133882,"package_name":"base64-bytestring","ecosystem":"hackage","requirements":"\u003c1.3","direct":true,"kind":"runtime","optional":false},{"id":11150133883,"package_name":"binary","ecosystem":"hackage","requirements":"\u003e=0.8.4.1 \u0026\u0026 \u003c0.9","direct":true,"kind":"runtime","optional":false},{"id":11150133884,"package_name":"blaze-html","ecosystem":"hackage","requirements":"\u003e=0.6.1.3 \u0026\u0026 \u003c0.10","direct":true,"kind":"runtime","optional":false},{"id":11150133891,"package_name":"blaze-markup","ecosystem":"hackage","requirements":"\u003e=0.5.2.1 \u0026\u0026 \u003c0.10","direct":true,"kind":"runtime","optional":false},{"id":11150133895,"package_name":"bytestring","ecosystem":"hackage","requirements":"\u003c0.11","direct":true,"kind":"runtime","optional":false},{"id":11150133896,"package_name":"cheapskate","ecosystem":"hackage","requirements":"\u003e=0.1.1.2 \u0026\u0026 \u003c0.2","direct":true,"kind":"runtime","optional":false},{"id":11150133897,"package_name":"code-page","ecosystem":"hackage","requirements":"\u003e=0.1 \u0026\u0026 \u003c0.3","direct":true,"kind":"runtime","optional":false},{"id":11150133903,"package_name":"containers","ecosystem":"hackage","requirements":"\u003e=0.5 \u0026\u0026 \u003c0.7","direct":true,"kind":"runtime","optional":false},{"id":11150133904,"package_name":"deepseq","ecosystem":"hackage","requirements":"\u003c1.5","direct":true,"kind":"runtime","optional":false},{"id":11150133905,"package_name":"directory","ecosystem":"hackage","requirements":"\u003e=1.2.2.0 \u0026\u0026 \u003c1.2.3.0 || \u003e1.2.3.0","direct":true,"kind":"runtime","optional":false},{"id":11150133906,"package_name":"filepath","ecosystem":"hackage","requirements":"\u003c1.5","direct":true,"kind":"runtime","optional":false},{"id":11150133907,"package_name":"fingertree","ecosystem":"hackage","requirements":"\u003e=0.1.4.1 \u0026\u0026 \u003c0.2","direct":true,"kind":"runtime","optional":false},{"id":11150133908,"package_name":"haskeline","ecosystem":"hackage","requirements":"==0.8.*","direct":true,"kind":"runtime","optional":false},{"id":11150133909,"package_name":"ieee754","ecosystem":"hackage","requirements":"\u003e=0.7 \u0026\u0026 \u003c0.9","direct":true,"kind":"runtime","optional":false},{"id":11150133912,"package_name":"megaparsec","ecosystem":"hackage","requirements":"\u003e=7.0.4 \u0026\u0026 \u003c10","direct":true,"kind":"runtime","optional":false},{"id":11150133913,"package_name":"mtl","ecosystem":"hackage","requirements":"\u003e=2.1 \u0026\u0026 \u003c2.3","direct":true,"kind":"runtime","optional":false},{"id":11150133914,"package_name":"network","ecosystem":"hackage","requirements":"\u003e=2.7 \u0026\u0026 \u003c3.1.2","direct":true,"kind":"runtime","optional":false},{"id":11150133915,"package_name":"optparse-applicative","ecosystem":"hackage","requirements":"\u003e=0.13 \u0026\u0026 \u003c0.17","direct":true,"kind":"runtime","optional":false},{"id":11150133916,"package_name":"parser-combinators","ecosystem":"hackage","requirements":"\u003e=1.0.0","direct":true,"kind":"runtime","optional":false},{"id":11150133917,"package_name":"pretty","ecosystem":"hackage","requirements":"\u003c1.2","direct":true,"kind":"runtime","optional":false},{"id":11150133918,"package_name":"process","ecosystem":"hackage","requirements":"\u003c1.7","direct":true,"kind":"runtime","optional":false},{"id":11150133919,"package_name":"regex-tdfa","ecosystem":"hackage","requirements":"\u003e=1.2","direct":true,"kind":"runtime","optional":false},{"id":11150133920,"package_name":"safe","ecosystem":"hackage","requirements":"\u003e=0.3.9","direct":true,"kind":"runtime","optional":false},{"id":11150133921,"package_name":"split","ecosystem":"hackage","requirements":"\u003c0.3","direct":true,"kind":"runtime","optional":false},{"id":11150133922,"package_name":"terminal-size","ecosystem":"hackage","requirements":"\u003c0.4","direct":true,"kind":"runtime","optional":false},{"id":11150133949,"package_name":"text","ecosystem":"hackage","requirements":"\u003e=1.2.1.0 \u0026\u0026 \u003c1.4","direct":true,"kind":"runtime","optional":false},{"id":11150133950,"package_name":"time","ecosystem":"hackage","requirements":"\u003e=1.4 \u0026\u0026 \u003c2.0","direct":true,"kind":"runtime","optional":false},{"id":11150133951,"package_name":"transformers","ecosystem":"hackage","requirements":"==0.5.*","direct":true,"kind":"runtime","optional":false},{"id":11150133952,"package_name":"uniplate","ecosystem":"hackage","requirements":"==1.6.*","direct":true,"kind":"runtime","optional":false},{"id":11150133953,"package_name":"unordered-containers","ecosystem":"hackage","requirements":"\u003c0.3","direct":true,"kind":"runtime","optional":false},{"id":11150133954,"package_name":"utf8-string","ecosystem":"hackage","requirements":"\u003c1.1","direct":true,"kind":"runtime","optional":false},{"id":11150133955,"package_name":"vector","ecosystem":"hackage","requirements":"\u003c0.14","direct":true,"kind":"runtime","optional":false},{"id":11150133956,"package_name":"vector-binary-instances","ecosystem":"hackage","requirements":"\u003c0.3","direct":true,"kind":"runtime","optional":false},{"id":11150133966,"package_name":"zip-archive","ecosystem":"hackage","requirements":"\u003e0.2.3.5 \u0026\u0026 \u003c0.5","direct":true,"kind":"runtime","optional":false},{"id":11150133972,"package_name":"fsnotify","ecosystem":"hackage","requirements":"\u003e=0.2 \u0026\u0026 \u003c0.5","direct":true,"kind":"runtime","optional":false},{"id":11150133974,"package_name":"async","ecosystem":"hackage","requirements":"\u003c2.3","direct":true,"kind":"runtime","optional":false},{"id":11150133975,"package_name":"semigroups","ecosystem":"hackage","requirements":"==0.18.*","direct":true,"kind":"runtime","optional":false},{"id":11150133976,"package_name":"fail","ecosystem":"hackage","requirements":"==4.9.0.*","direct":true,"kind":"runtime","optional":false},{"id":11150133977,"package_name":"mintty","ecosystem":"hackage","requirements":"==0.1.*","direct":true,"kind":"runtime","optional":false},{"id":11150133985,"package_name":"Win32","ecosystem":"hackage","requirements":"\u003c2.7","direct":true,"kind":"runtime","optional":false},{"id":11150133986,"package_name":"unix","ecosystem":"hackage","requirements":"\u003c2.8","direct":true,"kind":"runtime","optional":false},{"id":11150133987,"package_name":"libffi","ecosystem":"hackage","requirements":"\u003c0.3","direct":true,"kind":"runtime","optional":false},{"id":11150133988,"package_name":"idris","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":11150134686,"package_name":"base","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":11150134687,"package_name":"filepath","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":11150134688,"package_name":"directory","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":11150134689,"package_name":"haskeline","ecosystem":"hackage","requirements":"\u003e=0.7","direct":true,"kind":"runtime","optional":false},{"id":11150134690,"package_name":"transformers","ecosystem":"hackage","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":11150134691,"package_name":"idris","ecosystem":"hackage","requirements":"*","direct":true,"kind":"test","optional":false},{"id":11150134692,"package_name":"base","ecosystem":"hackage","requirements":"*","direct":true,"kind":"test","optional":false},{"id":11150134693,"package_name":"containers","ecosystem":"hackage","requirements":"*","direct":true,"kind":"test","optional":false},{"id":11150134694,"package_name":"process","ecosystem":"hackage","requirements":"*","direct":true,"kind":"test","optional":false},{"id":11150134695,"package_name":"time","ecosystem":"hackage","requirements":"*","direct":true,"kind":"test","optional":false},{"id":11150134696,"package_name":"filepath","ecosystem":"hackage","requirements":"*","direct":true,"kind":"test","optional":false},{"id":11150134697,"package_name":"directory","ecosystem":"hackage","requirements":"*","direct":true,"kind":"test","optional":false},{"id":11150134698,"package_name":"haskeline","ecosystem":"hackage","requirements":"\u003e=0.7","direct":true,"kind":"test","optional":false},{"id":11150134699,"package_name":"optparse-applicative","ecosystem":"hackage","requirements":"\u003e=0.13 \u0026\u0026 \u003c0.17","direct":true,"kind":"test","optional":false},{"id":11150134700,"package_name":"tagged","ecosystem":"hackage","requirements":"*","direct":true,"kind":"test","optional":false},{"id":11150134789,"package_name":"tasty","ecosystem":"hackage","requirements":"\u003e=0.8","direct":true,"kind":"test","optional":false},{"id":11150134790,"package_name":"tasty-golden","ecosystem":"hackage","requirements":"\u003e=2.0","direct":true,"kind":"test","optional":false},{"id":11150134791,"package_name":"tasty-rerun","ecosystem":"hackage","requirements":"\u003e=1.0.0","direct":true,"kind":"test","optional":false},{"id":11150134792,"package_name":"bytestring","ecosystem":"hackage","requirements":"*","direct":true,"kind":"test","optional":false},{"id":11150134793,"package_name":"transformers","ecosystem":"hackage","requirements":"*","direct":true,"kind":"test","optional":false}]}],"score":null,"created_at":"2025-09-04T15:51:36.413Z","updated_at":"2025-10-07T08:23:28.725Z","avatar_url":"https://github.com/idris-lang.png","language":"Haskell","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":["programming-language","agda","haskell","type-theory","proof-assistant","dependent-types","markup","declarative-language","nix","commonmark"],"project_url":"https://science.ecosyste.ms/api/v1/projects/59733","html_url":"https://science.ecosyste.ms/projects/59733","bibtex_url":"https://science.ecosyste.ms/projects/59733/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/59733/export.apalike"}