{"id":15038701,"url":"https://github.com/idris-lang/idris2","last_synced_at":"2026-02-10T18:35:55.820Z","repository":{"id":37076905,"uuid":"264775694","full_name":"idris-lang/Idris2","owner":"idris-lang","description":"A purely functional programming language with first class types","archived":false,"fork":false,"pushed_at":"2025-08-18T19:19:16.000Z","size":124545,"stargazers_count":2719,"open_issues_count":605,"forks_count":391,"subscribers_count":69,"default_branch":"main","last_synced_at":"2025-08-18T19:35:38.748Z","etag":null,"topics":["compiler","dependent-types","hacktoberfest"],"latest_commit_sha":null,"homepage":"https://idris-lang.org/","language":"Idris","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":null,"codeowners":null,"security":null,"support":"support/Makefile","governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2020-05-17T23:25:25.000Z","updated_at":"2025-08-18T19:32:54.000Z","dependencies_parsed_at":"2024-10-25T00:43:44.687Z","dependency_job_id":"b371967c-2448-48ae-a51f-66e8fc5f3479","html_url":"https://github.com/idris-lang/Idris2","commit_stats":{"total_commits":2831,"total_committers":239,"mean_commits":"11.845188284518828","dds":0.8311550688802544,"last_synced_commit":"ea093ffaed7b003d28e35cb3b1114ac4bce4603d"},"previous_names":[],"tags_count":9,"template":false,"template_full_name":null,"purl":"pkg:github/idris-lang/Idris2","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris2","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris2/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris2/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris2/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/idris-lang","download_url":"https://codeload.github.com/idris-lang/Idris2/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris2/sbom","scorecard":{"id":398621,"data":{"date":"2025-08-11","repo":{"name":"github.com/idris-lang/Idris2","commit":"73bb183cc66f6eeea942228728d18b5e388f4563"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":5.5,"checks":[{"name":"Maintained","score":10,"reason":"30 commit(s) and 16 issue activity found in the last 90 days -- score normalized to 10","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Code-Review","score":7,"reason":"Found 20/28 approved changesets -- score normalized to 7","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":"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":"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":"Token-Permissions","score":0,"reason":"detected GitHub workflow tokens with excessive permissions","details":["Warn: no topLevel permission defined: .github/workflows/ci-bootstrap.yml:1","Warn: no topLevel permission defined: .github/workflows/ci-idris2-and-libs.yml:1","Warn: no topLevel permission defined: .github/workflows/ci-lint.yml:1","Warn: no topLevel permission defined: .github/workflows/ci-sphinx.yml:1","Warn: no topLevel permission defined: .github/workflows/ci-super-linter.yml:1","Info: no jobLevel write permissions found"],"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":"Dangerous-Workflow","score":10,"reason":"no dangerous workflow patterns detected","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":"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":"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":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"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":"Branch-Protection","score":-1,"reason":"internal error: error during branchesHandler.setup: internal error: githubv4.Query: Resource not accessible by integration","details":null,"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":"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":"Pinned-Dependencies","score":0,"reason":"dependency not pinned by hash detected -- score normalized to 0","details":["Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-bootstrap.yml:28: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-bootstrap.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-bootstrap.yml:56: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-bootstrap.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:561: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:572: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:634: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:90: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:101: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:124: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:398: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:400: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:415: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:440: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:458: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:463: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:55: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:216: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:243: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:258: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:261: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:313: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:315: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:338: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:340: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:488: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:490: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:596: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:607: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:679: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:148: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:159: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:529: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:540: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:728: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:739: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:744: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:751: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:758: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:768: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:788: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:176: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:191: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:281: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:292: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:370: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-idris2-and-libs.yml:372: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-idris2-and-libs.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-lint.yml:17: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-lint.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-sphinx.yml:20: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-sphinx.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-super-linter.yml:42: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-super-linter.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci-super-linter.yml:51: update your workflow using https://app.stepsecurity.io/secureworkflow/idris-lang/Idris2/ci-super-linter.yml/main?enable=pin","Warn: pipCommand not pinned by hash: .github/workflows/ci-sphinx.yml:24","Info:   0 out of  46 GitHub-owned GitHubAction dependencies pinned","Info:   0 out of   3 third-party GitHubAction dependencies pinned","Info:   0 out of   1 pipCommand dependencies pinned"],"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":"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-18T19:37:28.634Z","repository_id":37076905,"created_at":"2025-08-18T19:37:28.634Z","updated_at":"2025-08-18T19:37:28.634Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":271455194,"owners_count":24762701,"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-08-21T02:00:08.990Z","response_time":74,"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"}},"keywords":["compiler","dependent-types","hacktoberfest"],"created_at":"2024-09-24T20:39:46.111Z","updated_at":"2026-02-10T18:35:55.790Z","avatar_url":"https://github.com/idris-lang.png","language":"Idris","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Idris 2\n\n[![Documentation Status](https://readthedocs.org/projects/idris2/badge/?version=latest)](https://idris2.readthedocs.io/en/latest/?badge=latest)\n[![Build Status](https://github.com/idris-lang/Idris2/actions/workflows/ci-idris2-and-libs.yml/badge.svg?branch=main)](https://github.com/idris-lang/Idris2/actions/workflows/ci-idris2-and-libs.yml?query=branch%3Amain)\n\n[Idris 2](https://idris-lang.org/) is a purely functional programming language\nwith first class types.\n\nFor installation instructions, see [INSTALL.md](INSTALL.md).\n\nThe [wiki](https://github.com/idris-lang/Idris2/wiki) lists a number of useful\nresources, in particular\n\n+ [What's changed since Idris 1](https://idris2.readthedocs.io/en/latest/updates/updates.html)\n+ [Resources for learning Idris](https://github.com/idris-lang/Idris2/wiki/Resources),\n  including [official talks](https://github.com/idris-lang/Idris2/wiki/Resources#official-talks)\n  that showcase its capabilities\n+ [Editor support](https://github.com/idris-lang/Idris2/wiki/Editor-Support)\n\n## Installation and Packages\n\nThe most common way to install the latest version of Idris and its packages is through [`pack`][PACK] Idris' package manager. Working with the latest version of Idris is as easy as `pack switch latest`.\nFollow instructions [on the `pack` repository][PACK] for how to install `pack`.\n\nTo use `pack` and idris, you will need an `.ipkg` file (Idris-package file) that describes your idris project.\nYou can generate one with `idris2 --init`. Once setup with an `.ipkg` file, `pack` gives you access to the [_pack collection_][PACK_COL] of packages, a set of compatible libraries in the ecosystem.\nIf your dependency is in the `depends` field of your `.ipkg` file, `pack` will automatically pull the dependency from you matching pack collection.\nThe wiki hosts a list of [curated packages by the community](https://github.com/idris-lang/Idris2/wiki/Third-party-Libraries).\n\nFinally, `pack` also makes it easy to download, and keep updated version of, [idris2-lsp](https://github.com/idris-community/idris2-lsp), and other idris-related programs.\n\n## Resources to Learn Idris 2\n\n### Books\n- [_Type-Driven Development with Idris_](https://www.manning.com/books/type-driven-development-with-idris), Edwin brady. This was written for Idris1. If you are using Idris2, you should make [these changes](https://idris2.readthedocs.io/en/latest/typedd/typedd.html)\n### Tutorials\n- [_Functional Programming in Idris 2_](https://github.com/idris-community/idris2-tutorial)\n- [_A Tutorial on Elaborator Reflection in Idris 2_](https://github.com/stefan-hoeck/idris2-elab-util/blob/main/src/Doc/Index.md), accompanied by [library utilities](https://github.com/stefan-hoeck/idris2-elab-util)\n- [_An attempt at explaining Decidable Equality_](https://teh6.eu/en/post/intro-to-decidable-equality/)\n### Official talks\n- [_What's New in Idris 2_](https://www.youtube.com/watch?v=nbClauMCeds), Edwin Brady, Berlin Functional Programming Group\n- [Scheme Workshop Keynote](https://www.youtube.com/watch?v=h9YAOaBWuIk), Edwin Brady, ACM SIGPLAN\n- [_Idris 2 - Type-driven Development of Idris_](https://www.youtube.com/watch?v=DRq2NgeFcO0), Edwin Brady, Curry On! 2019\n- [_Idris 2: Type-driven development of Idris_](https://www.youtube.com/watch?v=mOtKD7ml0NU), Edwin Brady, Code Mesh LDN 18\n- [_The implementation of Idris 2_](https://www.youtube.com/playlist?list=PLmYPUe8PWHKqBRJfwBr4qga7WIs7r60Ql), Edwin Brady, SPLV'20 and [accompanying code](https://github.com/edwinb/SPLV20)\n### Community talks\n- [_Domain Driven Design Made Dependently Typed_](https://www.youtube.com/watch?v=QBj-4K-l-sg), Andor Penzes, Aug '21\n- [_Extending RefC - Making Idris 2 backends while avoiding most of the work_](https://www.youtube.com/watch?v=i-_U6US3bBk), Robert Wright, Sept '21\n- [_Introduction to JVM backend for Idris 2_](https://www.youtube.com/watch?v=kSIUsBQS3EE), Marimuthu Madasamy, Oct '21\n- [_Idris Data Science Infrastructure - Because sometimes we have to consider the real world_](https://www.youtube.com/watch?v=4jDlYJf9_34),  Robert Wright, Dec '21\n\n## Documentation\n\n- [Official documentation](https://idris2.readthedocs.io/en/latest/index.html)\n- Standard library online API reference\n  - [official, latest](https://idris-lang.github.io/Idris2/)\n  - [community](https://idris2docs.sinyax.net/)\n- [Community API reference for selected packages](https://idris2-quickdocs.surge.sh)\n\n## Docker images\n\n- Multi-arch, multi-distro Docker [images](https://github.com/joshuanianji/idris-2-docker) for Idris 2\n- Official [images](https://github.com/stefan-hoeck/idris2-pack/pkgs/container/idris2-pack) for the Pack package manager\n- [alexhumphreys/idris2-dockerfile](https://github.com/alexhumphreys/idris2-dockerfile)\n- [mattpolzin/idris-docker](https://github.com/mattpolzin/idris-docker)\n- [dgellow/idris-docker-image](https://github.com/dgellow/idris-docker-image)\n\n## Things still missing\n\n+ Cumulativity (currently `Type : Type`. Bear that in mind when you think\n  you've proved something)\n+ `rewrite` doesn't yet work on dependent types\n\n## Contributions wanted\n\nIf you want to learn more about Idris, contributing to the compiler could be\none way to do so. The [contribution guidelines](CONTRIBUTING.md) outline\nthe process. Having read that, choose a [good first issue][1] or have a look at\nthe [contributions wanted][2] for something more involved. This [map][3] should\nhelp you find your way around the source code. See [the wiki page][4]\nfor more details.\n\n[1]: \u003chttps://github.com/idris-lang/Idris2/issues?q=is%3Aopen+is%3Aissue+label%3A%22good+first+issue%22\u003e\n[2]: \u003chttps://github.com/idris-lang/Idris2/wiki/What-Contributions-are-Needed\u003e\n[3]: \u003chttps://github.com/idris-lang/Idris2/wiki/Map-of-the-Source-Code\u003e\n[4]: \u003chttps://github.com/idris-lang/Idris2/wiki/Getting-Started-with-Compiler-Development\u003e\n[PACK]: https://github.com/stefan-hoeck/idris2-pack\n[PACK_COL]: https://github.com/stefan-hoeck/idris2-pack-db\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fidris-lang%2Fidris2","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fidris-lang%2Fidris2","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fidris-lang%2Fidris2/lists"}