{"id":8443579,"name":"agda2train","ecosystem":"hackage","description":"Compiles Agda modules to JSON files, containing information about\nthe imported scope of each module, its definitions and information about each\nsub-term appearing in the code (i.e. context, goal type, term).","homepage":"https://github.com/omelkonian/agda2train/","licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"https://github.com/omelkonian/agda2train","keywords_array":["agda","bsd3","library","machine-learning","program","Propose Tags"],"namespace":null,"versions_count":3,"first_release_published_at":"2023-10-17T18:30:10.000Z","latest_release_published_at":"2023-10-17T20:29:40.000Z","latest_release_number":"0.0.3.0","latest_published_release_number":null,"last_synced_at":"2026-10-03T20:07:10.662Z","created_at":"2023-10-17T18:35:39.348Z","updated_at":"2026-10-03T20:07:14.453Z","registry_url":"https://hackage.haskell.org/package/agda2train","install_command":"cabal install agda2train","documentation_url":null,"metadata":{},"repo_metadata":{"id":197282980,"uuid":"613777009","full_name":"omelkonian/agda2train","owner":"omelkonian","description":"Prototyping an Agda backend to generate training data for machine learning.","archived":false,"fork":false,"pushed_at":"2025-04-28T09:26:36.000Z","size":126401,"stargazers_count":7,"open_issues_count":7,"forks_count":2,"subscribers_count":3,"default_branch":"master","last_synced_at":"2026-09-02T10:23:49.540Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://hackage.haskell.org/package/agda2train","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-2-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/omelkonian.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,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2023-03-14T08:52:40.000Z","updated_at":"2026-03-04T15:45:57.000Z","dependencies_parsed_at":"2025-09-04T07:57:50.486Z","dependency_job_id":null,"html_url":"https://github.com/omelkonian/agda2train","commit_stats":null,"previous_names":["omelkonian/agda2train"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/omelkonian/agda2train","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/omelkonian%2Fagda2train","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/omelkonian%2Fagda2train/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/omelkonian%2Fagda2train/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/omelkonian%2Fagda2train/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/omelkonian","download_url":"https://codeload.github.com/omelkonian/agda2train/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/omelkonian%2Fagda2train/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":343072799,"owners_count":37982875,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-08-22T15:14:58.755Z","status":"online","status_checked_at":"2026-10-03T02:00:07.567Z","response_time":59,"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"},"owner_record":{"login":"omelkonian","name":"Orestis Melkonian","uuid":"15123909","kind":"user","description":"PhD student in Computer Science @ University of Edinburgh.\r\n\r\nInterests: Programming Languages, FP, Type Theory, Category Theory, Formal Verification","email":"","website":"https://omelkonian.github.io","location":"Edinburgh, Scotland","twitter":"omelkoni","company":"University of Edinburgh","icon_url":"https://avatars.githubusercontent.com/u/15123909?u=ede80517b9393086ecd877a7e9bd17fbc976c585\u0026v=4","repositories_count":15,"last_synced_at":"2023-02-28T15:40:21.396Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/omelkonian","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-11T18:08:02.414Z","updated_at":"2023-02-28T15:40:21.446Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/omelkonian","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/omelkonian/repositories"},"tags":[]},"repo_metadata_updated_at":"2026-10-03T20:07:14.452Z","dependent_packages_count":1,"downloads":266,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":99.85138611031724,"dependent_repos_count":57.93083738210918,"dependent_packages_count":18.8796799085453,"stargazers_count":43.555301514718494,"forks_count":37.119176907687915,"docker_downloads_count":null,"average":51.46727636467563},"purl":"pkg:hackage/agda2train","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/agda2train","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/agda2train","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/agda2train/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda2train/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda2train/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda2train/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda2train/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda2train/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda2train/codemeta","maintainers":[{"uuid":"omelkonian","login":"omelkonian","name":null,"email":null,"url":null,"packages_count":4,"html_url":"https://hackage.haskell.org/user/omelkonian","role":null,"created_at":"2023-10-17T18:35:40.995Z","updated_at":"2023-10-17T18:35:40.995Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/omelkonian/packages"}]}