{"id":28065834,"url":"https://github.com/agda/agda-stdlib-meta","last_synced_at":"2026-01-24T16:34:53.970Z","repository":{"id":47953762,"uuid":"516057252","full_name":"agda/agda-stdlib-meta","owner":"agda","description":"Meta-programming utilities for Agda.","archived":false,"fork":false,"pushed_at":"2025-04-14T13:29:20.000Z","size":35796,"stargazers_count":19,"open_issues_count":11,"forks_count":3,"subscribers_count":5,"default_branch":"master","last_synced_at":"2025-05-12T14:33:14.149Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://agda.github.io/agda-stdlib-meta/","language":"Agda","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/agda.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":"2022-07-20T16:31:25.000Z","updated_at":"2025-04-20T20:09:39.000Z","dependencies_parsed_at":"2024-03-26T16:27:01.104Z","dependency_job_id":"f78b5245-676f-4343-9c9e-6207a8489483","html_url":"https://github.com/agda/agda-stdlib-meta","commit_stats":null,"previous_names":["omelkonian/agda-stdlib-meta"],"tags_count":7,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib-meta","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib-meta/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib-meta/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib-meta/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","download_url":"https://codeload.github.com/agda/agda-stdlib-meta/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":253755516,"owners_count":21959025,"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":[],"created_at":"2025-05-12T14:33:20.104Z","updated_at":"2026-01-24T16:34:53.965Z","avatar_url":"https://github.com/agda.png","language":"Agda","funding_links":[],"categories":[],"sub_categories":[],"readme":"## agda-stdlib-meta: Meta-programming utilities for Agda [![CI](https://github.com/agda/agda-stdlib-meta/workflows/CI/badge.svg)](https://github.com/agda/agda-stdlib-meta/actions)\n\nBrowse the Agda code in HTML [here](https://agda.github.io/agda-stdlib-meta).\n\n## Version compatibility\n\nWe mirror the version numbers of [agda-stdlib](https://github.com/agda/agda-stdlib).\n\n| **agda** | **agda-stdlib** | **agda-stdlib-classes** | **agda-stdlib-meta** |\n|----------|-----------------|-------------------------|-----------------|\n| [v2.6.3](https://github.com/agda/agda/releases/tag/v2.6.3) | [v1.7.2](https://github.com/agda/agda-stdlib/releases/tag/v1.7.2) | [v1.7.2](https://github.com/agda/agda-stdlib-classes/releases/tag/v1.7.2) | [v1.7.2](https://github.com/agda/agda-stdlib-meta/releases/tag/v1.7.2) |\n| [v2.6.4](https://github.com/agda/agda/releases/tag/v2.6.4) | [v1.7.3](https://github.com/agda/agda-stdlib/releases/tag/v1.7.3) | [v1.7.3](https://github.com/agda/agda-stdlib-classes/releases/tag/v1.7.3) | [v1.7.3](https://github.com/agda/agda-stdlib-meta/releases/tag/v1.7.3) |\n| [v2.6.4](https://github.com/agda/agda/releases/tag/v2.6.4) | [v2.0](https://github.com/agda/agda-stdlib/releases/tag/v2.0) | [v2.0](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.0) | [v2.0](https://github.com/agda/agda-stdlib-meta/releases/tag/v2.0) |\n| [v2.6.4](https://github.com/agda/agda/releases/tag/v2.6.4) | [v2.1](https://github.com/agda/agda-stdlib/releases/tag/v2.1) | [v2.1](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.1) | [v2.1](https://github.com/agda/agda-stdlib-meta/releases/tag/v2.1) |\n| [v2.7.0](https://github.com/agda/agda/releases/tag/v2.7.0) | [v2.1.1](https://github.com/agda/agda-stdlib/releases/tag/v2.0) | [v2.1.1](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.1.1) | [v2.1.1](https://github.com/agda/agda-stdlib-meta/releases/tag/v2.1.1) |\n| [v2.7.0.1](https://github.com/agda/agda/releases/tag/v2.7.0.1) | [v2.2](https://github.com/agda/agda-stdlib/releases/tag/v2.2) | [v2.2](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.2) | [v2.2](https://github.com/agda/agda-stdlib-meta/releases/tag/v2.2) |\n| [v2.8.0](https://github.com/agda/agda/releases/tag/v2.8.0) | [v2.3](https://github.com/agda/agda-stdlib/releases/tag/v2.3) | [v2.3](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.3) | [v2.3](https://github.com/agda/agda-stdlib-meta/releases/tag/v2.3) |\n\nMinor revisions will append to these major versions (e.g. `v1.7.3b` or `v1.7.3.10`).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fagda%2Fagda-stdlib-meta","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fagda%2Fagda-stdlib-meta","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fagda%2Fagda-stdlib-meta/lists"}