{"id":18455476,"url":"https://github.com/grin-compiler/idris-grin","last_synced_at":"2026-02-15T17:06:54.138Z","repository":{"id":113946954,"uuid":"149263713","full_name":"grin-compiler/idris-grin","owner":"grin-compiler","description":"GRIN backend for Idris","archived":false,"fork":false,"pushed_at":"2020-04-11T17:22:00.000Z","size":452,"stargazers_count":50,"open_issues_count":3,"forks_count":3,"subscribers_count":12,"default_branch":"master","last_synced_at":"2025-08-25T07:26:07.252Z","etag":null,"topics":["compiler","functional-programming","grin","idris"],"latest_commit_sha":null,"homepage":"https://grin-compiler.github.io/","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/grin-compiler.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","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":"2018-09-18T09:36:52.000Z","updated_at":"2025-08-20T13:19:54.000Z","dependencies_parsed_at":"2023-06-18T23:51:30.743Z","dependency_job_id":null,"html_url":"https://github.com/grin-compiler/idris-grin","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/grin-compiler/idris-grin","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/grin-compiler%2Fidris-grin","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/grin-compiler%2Fidris-grin/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/grin-compiler%2Fidris-grin/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/grin-compiler%2Fidris-grin/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/grin-compiler","download_url":"https://codeload.github.com/grin-compiler/idris-grin/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/grin-compiler%2Fidris-grin/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":274975674,"owners_count":25384281,"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-13T02:00:10.085Z","response_time":70,"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","functional-programming","grin","idris"],"created_at":"2024-11-06T08:08:09.091Z","updated_at":"2026-02-15T17:06:49.082Z","avatar_url":"https://github.com/grin-compiler.png","language":"Idris","funding_links":[],"categories":[],"sub_categories":[],"readme":"[![Build Status](https://travis-ci.org/grin-compiler/idris-grin.svg?branch=master)](https://travis-ci.org/grin-compiler/idris-grin)\n\n# Idris frontend\n\nThis is a proof of concept work. This repository sets an example how the grin compiler can be used to integrate with\ncompilers other than the lambda intermedate language which is used in the GHC-GRIN repository.\n\nThe 'test' directory contains the examples that the current version of the frontend supports, including both\nthe generated and optimised grin code for the idris programs. For example:\nHelloWorld.idr, HellowWorld.grin, HelloWorld_opt.grin\n\nHow to run the idris frontend experiments on your own:\n```\nstack install\nstack exec idris -- test/tdd/chapter01/01_HelloWorld.idr -i test/tdd/chapter01 --codegen grin -o helloworld.bin\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgrin-compiler%2Fidris-grin","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fgrin-compiler%2Fidris-grin","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgrin-compiler%2Fidris-grin/lists"}