{"id":13511766,"url":"https://github.com/idris-lang/Idris2","last_synced_at":"2025-03-30T21:31:03.005Z","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-03-21T12:01:24.000Z","size":115815,"stargazers_count":2621,"open_issues_count":585,"forks_count":382,"subscribers_count":64,"default_branch":"main","last_synced_at":"2025-03-21T13:21:43.769Z","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}},"created_at":"2020-05-17T23:25:25.000Z","updated_at":"2025-03-21T11:38:02.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,"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","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":246385026,"owners_count":20768661,"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":["compiler","dependent-types","hacktoberfest"],"created_at":"2024-08-01T03:01:10.080Z","updated_at":"2025-03-30T21:30:57.996Z","avatar_url":"https://github.com/idris-lang.png","language":"Idris","readme":null,"funding_links":[],"categories":["Idris","Uncategorized","hacktoberfest"],"sub_categories":["Uncategorized"],"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"}