{"id":17816296,"url":"https://github.com/dgellow/idris-docker-image","last_synced_at":"2025-03-18T03:30:51.533Z","repository":{"id":70151979,"uuid":"71731172","full_name":"dgellow/idris-docker-image","owner":"dgellow","description":"Dockerfile and images for idris and idris2","archived":false,"fork":false,"pushed_at":"2021-06-09T14:33:53.000Z","size":13,"stargazers_count":5,"open_issues_count":0,"forks_count":1,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-03-08T18:50:41.146Z","etag":null,"topics":["docker","docker-image","dockerfile","idris","idris2"],"latest_commit_sha":null,"homepage":"","language":"Dockerfile","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/dgellow.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2016-10-23T21:35:53.000Z","updated_at":"2021-06-09T11:58:08.000Z","dependencies_parsed_at":"2023-03-25T23:33:11.875Z","dependency_job_id":null,"html_url":"https://github.com/dgellow/idris-docker-image","commit_stats":null,"previous_names":[],"tags_count":2,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dgellow%2Fidris-docker-image","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dgellow%2Fidris-docker-image/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dgellow%2Fidris-docker-image/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dgellow%2Fidris-docker-image/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dgellow","download_url":"https://codeload.github.com/dgellow/idris-docker-image/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243896341,"owners_count":20365361,"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"}},"keywords":["docker","docker-image","dockerfile","idris","idris2"],"created_at":"2024-10-27T16:37:06.089Z","updated_at":"2025-03-18T03:30:51.528Z","avatar_url":"https://github.com/dgellow.png","language":"Dockerfile","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Docker images for [Idris lang](http://www.idris-lang.org/) and [Idris2](https://github.com/edwinb/Idris2)\n\n![](https://img.shields.io/badge/image-dgellow%2Fidris-blue)\n![Docker Image Version (latest semver)](https://img.shields.io/docker/v/dgellow/idris)\n![Docker Image Size (latest semver)](https://img.shields.io/docker/image-size/dgellow/idris)\n\n![](https://img.shields.io/badge/image-dgellow%2Fidris2-blue)\n![Docker Image Version (latest semver)](https://img.shields.io/docker/v/dgellow/idris2)\n![Docker Image Size (latest semver)](https://img.shields.io/docker/image-size/dgellow/idris2)\n\n# Images\n\n- `dgellow/idris`: Published at https://hub.docker.com/r/dgellow/idris/. Latest idris installed and compiled via Cabal. Based on the [official haskell image](https://hub.docker.com/r/_/haskell/).\n- `dgellow/idris2`: Published at https://hub.docker.com/r/dgellow/idris2/. Build from source of [idris2](https://github.com/edwinb/Idris2).\n\n## Tags\n\nIdris:\n- `dgellow/idris:latest`\n- `dgellow/idris:v1.3.3`\n- `dgellow/idris:v1.3.2`\n- `dgellow/idris:v1.1.1`\n- `dgellow/idris:v1.0`\n- `dgellow/idris:v0.99.1`\n- `dgellow/idris:v0.99`\n- `dgellow/idris:v0.12.3`\n\nIdris2:\n- `dgellow/idris2:latest`\n- `dgellow/idris2:v0.1.0`\n- `dgellow/idris2:v0.3.0`\n\n## Usage\n\nFrom the cli:\n\n```\n$ docker run -it dgellow/idris --help\n```\n\nFrom a `Dockerfile`:\n\n```\nFROM dgellow/idris\n\nADD . /app\nWORKDIR /app\n\nRUN idris main.idr -o hello.o\nCMD [\"/app/hello.o\"]\n```\n\n## Build the image\n\n\u003e Note: building idris can easily take **more than 30 minutes** depending on your machine and how much CPU/RAM is dedicated to docker\n\n```\n$ docker build -t dgellow/idris:v1.3.2 .\n```\n\nTo build idris2 (also quite a long process)\n```\n$ docker build -t dgellow/idris2:v0.1.0 -f Dockerfile_idris2 .\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdgellow%2Fidris-docker-image","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdgellow%2Fidris-docker-image","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdgellow%2Fidris-docker-image/lists"}