{"id":197610,"name":"idris","ecosystem":"hackage","description":"Idris is a general purpose language with full dependent types.\nIt is compiled, with eager evaluation.\nDependent types allow types to be predicated on values,\nmeaning that some aspects of a program's behaviour can be\nspecified precisely in the type. The language is closely\nrelated to Epigram and Agda. There is a tutorial at\nhttps://www.idris-lang.org/documentation.\nFeatures include:\n\nFull, first class, dependent types with dependent pattern matching\n\nwhere clauses, with rule, case expressions,\npattern matching let and lambda bindings\n\nInterfaces (similar to type classes), monad comprehensions\n\ndo notation, idiom brackets, syntactic conveniences for lists,\ntuples, dependent pairs\n\nTotality checking\n\nCoinductive types\n\nIndentation significant syntax, extensible syntax\n\nCumulative universes\n\nSimple foreign function interface (to C)\n\nHugs style interactive environment","homepage":"https://www.idris-lang.org/","licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"https://github.com/idris-lang/Idris-dev","keywords_array":["bsd3","compilers-interpreters","dependent-types","library","program","Propose Tags"],"namespace":null,"versions_count":71,"first_release_published_at":"2009-12-20T23:59:11.000Z","latest_release_published_at":"2021-10-22T22:58:30.000Z","latest_release_number":"1.3.4","last_synced_at":"2026-09-20T19:59:56.147Z","created_at":"2022-04-05T21:37:08.255Z","updated_at":"2026-09-22T23:29:40.179Z","registry_url":"https://hackage.haskell.org/package/idris","install_command":"cabal install idris","documentation_url":null,"metadata":{},"repo_metadata":{"id":1660609,"uuid":"2386778","full_name":"idris-lang/Idris-dev","owner":"idris-lang","description":"A Dependently Typed Functional Programming Language","archived":true,"fork":false,"pushed_at":"2025-02-17T14:08:47.000Z","size":38281,"stargazers_count":3477,"open_issues_count":708,"forks_count":630,"subscribers_count":4,"default_branch":"master","last_synced_at":"2026-09-20T19:44:31.143Z","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":"2026-09-18T16:21:54.000Z","dependencies_parsed_at":"2024-11-26T05:02:20.821Z","dependency_job_id":"8f5736f7-7395-4be5-a4d6-4c741384380e","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":341189360,"owners_count":37569268,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-08-22T15:14:58.755Z","status":"online","status_checked_at":"2026-09-21T02:00:06.232Z","response_time":53,"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"}},"repo_metadata_updated_at":"2026-09-22T23:29:40.179Z","dependent_packages_count":0,"downloads":74133,"downloads_period":"total","dependent_repos_count":24,"rankings":{"downloads":1.9384006781576715,"dependent_repos_count":10.810963549025148,"dependent_packages_count":19.27098050296694,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":10.673448243383254},"purl":"pkg:hackage/idris","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/idris","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/idris","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/idris/dependencies","status":null,"funding_links":[],"critical":false,"issue_metadata":{"last_synced_at":"2026-09-21T19:34:43.487Z","issues_count":43,"pull_requests_count":60,"avg_time_to_close_issue":18515368.023255814,"avg_time_to_close_pull_request":177369.4642857143,"issues_closed_count":43,"pull_requests_closed_count":56,"pull_request_authors_count":12,"issue_authors_count":22,"avg_comments_per_issue":2.9767441860465116,"avg_comments_per_pull_request":0.21666666666666667,"merged_pull_requests_count":54,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":0,"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":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/issues","maintainers":[{"login":"raichoo","count":31,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/raichoo"}],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/idris/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/idris/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/idris/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/idris/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/idris/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/idris/codemeta","maintainers":[{"uuid":"EdwinBrady","login":"EdwinBrady","name":null,"email":null,"url":null,"packages_count":5,"html_url":"https://hackage.haskell.org/user/EdwinBrady","role":null,"created_at":"2022-11-14T18:32:39.055Z","updated_at":"2022-11-14T18:32:39.055Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/EdwinBrady/packages"},{"uuid":"niklasl","login":"niklasl","name":null,"email":null,"url":null,"packages_count":2,"html_url":"https://hackage.haskell.org/user/niklasl","role":null,"created_at":"2022-11-14T18:32:39.096Z","updated_at":"2022-11-14T18:32:39.096Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/niklasl/packages"}]}