{"id":14022952,"name":"anders","ecosystem":"hex","description":"The Anders Programming Language","homepage":null,"licenses":"ISC","normalized_licenses":["ISC"],"repository_url":"https://github.com/groupoid/anders","keywords_array":[],"namespace":null,"versions_count":1,"first_release_published_at":"2026-03-10T17:21:28.563Z","latest_release_published_at":"2026-03-10T17:21:28.563Z","latest_release_number":"0.3.10","last_synced_at":"2026-03-15T18:35:19.254Z","created_at":"2026-03-10T17:35:15.702Z","updated_at":"2026-03-15T18:35:23.771Z","registry_url":"https://hex.pm/packages/anders/","install_command":"mix hex.package fetch anders ","documentation_url":"http://hexdocs.pm/anders/","metadata":{},"repo_metadata":{"id":57686737,"uuid":"255530587","full_name":"groupoid/anders","owner":"groupoid","description":"🧊 Модальний гомотопічний верифікатор математики","archived":false,"fork":false,"pushed_at":"2026-03-10T17:21:56.000Z","size":15528,"stargazers_count":23,"open_issues_count":0,"forks_count":2,"subscribers_count":1,"default_branch":"main","last_synced_at":"2026-03-12T22:50:57.644Z","etag":null,"topics":["cubical-type-theory","dependent-types","mltt","proof-assistant","theorem-prover","type-checker","type-system"],"latest_commit_sha":null,"homepage":"https://anders.groupoid.space","language":"OCaml","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/groupoid.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG","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}},"created_at":"2020-04-14T06:39:49.000Z","updated_at":"2026-03-10T17:22:01.000Z","dependencies_parsed_at":"2023-10-05T14:45:53.855Z","dependency_job_id":"f16d0cd8-185e-4984-8e84-c22ca7058bb5","html_url":"https://github.com/groupoid/anders","commit_stats":{"total_commits":194,"total_committers":1,"mean_commits":194.0,"dds":0.0,"last_synced_commit":"cee98958e8ed7d37343eccaae0be424464d7a565"},"previous_names":[],"tags_count":6,"template":false,"template_full_name":null,"purl":"pkg:github/groupoid/anders","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fanders","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fanders/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fanders/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fanders/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/groupoid","download_url":"https://codeload.github.com/groupoid/anders/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fanders/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":30472768,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-13T17:15:31.527Z","status":"ssl_error","status_checked_at":"2026-03-13T17:15:22.394Z","response_time":60,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"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":"groupoid","name":"Groupoïd","uuid":"17128096","kind":"organization","description":"Лабораторія «Групоїд Інфініті». Факультет прикладної математики Київського політехнічного інституту імені Ігоря Сікорського.","email":null,"website":"https://groupoid.space/","location":"Ukraine","twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/17128096?v=4","repositories_count":12,"last_synced_at":"2024-10-29T17:10:44.743Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/groupoid","funding_links":[],"total_stars":340,"followers":5,"following":0,"created_at":"2022-11-04T02:00:06.709Z","updated_at":"2024-10-29T17:10:44.744Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/groupoid","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/groupoid/repositories"},"tags":[{"name":"1.1.1","sha":"305de53361b0b6de4691ecce72cf64218aaefc40","kind":"commit","published_at":"2022-01-27T16:47:28.000Z","download_url":"https://codeload.github.com/groupoid/anders/tar.gz/1.1.1","html_url":"https://github.com/groupoid/anders/releases/tag/1.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/groupoid/anders@1.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fanders/tags/1.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fanders/tags/1.1.1/manifests"},{"name":"0.12.1","sha":"c54741133e16f3447ec805c2b8d957b33fbf46ed","kind":"commit","published_at":"2021-12-11T11:58:48.000Z","download_url":"https://codeload.github.com/groupoid/anders/tar.gz/0.12.1","html_url":"https://github.com/groupoid/anders/releases/tag/0.12.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/groupoid/anders@0.12.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fanders/tags/0.12.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fanders/tags/0.12.1/manifests"},{"name":"0.12.0","sha":"88f1f1c6128fa34f4d3c20c1999383dd86d69862","kind":"commit","published_at":"2021-12-11T11:33:42.000Z","download_url":"https://codeload.github.com/groupoid/anders/tar.gz/0.12.0","html_url":"https://github.com/groupoid/anders/releases/tag/0.12.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/groupoid/anders@0.12.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fanders/tags/0.12.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fanders/tags/0.12.0/manifests"},{"name":"0.7.2","sha":"5dca072e235fdcc097e455273499ceb653b87117","kind":"commit","published_at":"2021-07-14T19:45:04.000Z","download_url":"https://codeload.github.com/groupoid/anders/tar.gz/0.7.2","html_url":"https://github.com/groupoid/anders/releases/tag/0.7.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/groupoid/anders@0.7.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fanders/tags/0.7.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fanders/tags/0.7.2/manifests"},{"name":"0.7.1","sha":"92a6d683c1131433f613d85a5d5fff0ea687c1ef","kind":"commit","published_at":"2021-07-06T00:19:53.000Z","download_url":"https://codeload.github.com/groupoid/anders/tar.gz/0.7.1","html_url":"https://github.com/groupoid/anders/releases/tag/0.7.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/groupoid/anders@0.7.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fanders/tags/0.7.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fanders/tags/0.7.1/manifests"},{"name":"0.7","sha":"645572cc7f0d982f12c3a03b947b328ca1e98e2c","kind":"commit","published_at":"2021-07-04T01:13:39.000Z","download_url":"https://codeload.github.com/groupoid/anders/tar.gz/0.7","html_url":"https://github.com/groupoid/anders/releases/tag/0.7","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/groupoid/anders@0.7","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fanders/tags/0.7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fanders/tags/0.7/manifests"}]},"repo_metadata_updated_at":"2026-03-15T18:35:23.748Z","dependent_packages_count":0,"downloads":1354,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":28.33234597156398,"dependent_packages_count":17.318325434439178,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":22.825335703001578},"purl":"pkg:hex/anders","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hex/anders","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hex/anders","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hex/anders/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hex.pm/packages/anders/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hex.pm/packages/anders/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hex.pm/packages/anders/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hex.pm/packages/anders/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hex.pm/packages/anders/codemeta","maintainers":[{"uuid":"5ht","login":"5ht","name":null,"email":"maxim@synrc.com","url":null,"packages_count":93,"html_url":"https://hex.pm/users/5ht","role":null,"created_at":"2026-03-10T17:35:20.803Z","updated_at":"2026-03-10T17:35:20.803Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hex.pm/maintainers/5ht/packages"}]}