{"id":20750935,"url":"https://github.com/homalg-project/locales","last_synced_at":"2026-02-16T00:32:45.314Z","repository":{"id":37040529,"uuid":"144415784","full_name":"homalg-project/Locales","owner":"homalg-project","description":"[READ-ONLY-SUBSPLIT] Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets","archived":false,"fork":false,"pushed_at":"2026-01-11T22:47:04.000Z","size":1550,"stargazers_count":1,"open_issues_count":0,"forks_count":4,"subscribers_count":4,"default_branch":"master","last_synced_at":"2026-01-12T02:27:21.849Z","etag":null,"topics":["boolean-algebras","coframes","coheyting-algebras","constructible-sets","frames","heyting-algebras","lattices","locales"],"latest_commit_sha":null,"homepage":"https://homalg-project.github.io/pkg/Locales/","language":"GAP","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/homalg-project.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":"2018-08-11T20:20:01.000Z","updated_at":"2026-01-11T22:47:07.000Z","dependencies_parsed_at":"2023-02-18T02:00:54.996Z","dependency_job_id":"c5bc866a-36b1-43fc-a960-84036c38afd1","html_url":"https://github.com/homalg-project/Locales","commit_stats":null,"previous_names":[],"tags_count":103,"template":false,"template_full_name":null,"purl":"pkg:github/homalg-project/Locales","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/homalg-project%2FLocales","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/homalg-project%2FLocales/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/homalg-project%2FLocales/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/homalg-project%2FLocales/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/homalg-project","download_url":"https://codeload.github.com/homalg-project/Locales/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/homalg-project%2FLocales/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29495002,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-16T00:16:34.147Z","status":"ssl_error","status_checked_at":"2026-02-16T00:15:26.759Z","response_time":118,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: 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"}},"keywords":["boolean-algebras","coframes","coheyting-algebras","constructible-sets","frames","heyting-algebras","lattices","locales"],"created_at":"2024-11-17T08:29:18.619Z","updated_at":"2026-02-16T00:32:45.292Z","avatar_url":"https://github.com/homalg-project.png","language":"GAP","readme":"\u003c!-- BEGIN HEADER --\u003e\n# Locales\u0026ensp;\u003csup\u003e\u003csup\u003e[![View code][code-img]][code-url]\u003c/sup\u003e\u003c/sup\u003e\n\n### Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets\n\n| Documentation | Latest Release | Build Status of [CategoricalTowers](/../../) | Code Coverage |\n| ------------- | -------------- | ------------ | ------------- |\n| [![HTML stable documentation][html-img]][html-url] [![PDF stable documentation][pdf-img]][pdf-url] | [![version][version-img]][version-url] [![date][date-img]][date-url] | [![Build Status][tests-img]][tests-url] | [![Code Coverage][codecov-img]][codecov-url] |\n\n\u003c!-- END HEADER --\u003e\n\n\u003c!-- BEGIN FOOTER --\u003e\n---\n\n### Dependencies\n\nTo obtain current versions of all dependencies, `git clone` (or `git pull` to update) the following repositories:\n\n|    | Repository | git URL |\n|--- | ---------- | ------- |\n| 1. | [**homalg_project**](https://github.com/homalg-project/homalg_project#readme) | https://github.com/homalg-project/homalg_project.git |\n| 2. | [**CAP_project**](https://github.com/homalg-project/CAP_project#readme) | https://github.com/homalg-project/CAP_project.git |\n\n[html-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg\n[html-url]: https://homalg-project.github.io/CategoricalTowers/Locales/doc/chap0_mj.html\n\n[pdf-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg\n[pdf-url]: https://homalg-project.github.io/CategoricalTowers/Locales/download_pdf.html\n\n[version-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/CategoricalTowers/Locales/badge_version.json\u0026label=🔗%20version\u0026color=yellow\n[version-url]: https://homalg-project.github.io/CategoricalTowers/Locales/view_release.html\n\n[date-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/CategoricalTowers/Locales/badge_date.json\u0026label=🔗%20released%20on\u0026color=yellow\n[date-url]: https://homalg-project.github.io/CategoricalTowers/Locales/view_release.html\n\n[tests-img]: https://github.com/homalg-project/CategoricalTowers/actions/workflows/Tests.yml/badge.svg?branch=master\n[tests-url]: https://github.com/homalg-project/CategoricalTowers/actions/workflows/Tests.yml?query=branch%3Amaster\n\n[codecov-img]: https://codecov.io/gh/homalg-project/CategoricalTowers/branch/master/graph/badge.svg?flag=Locales\n[codecov-url]: https://app.codecov.io/gh/homalg-project/CategoricalTowers/tree/master/Locales\n\n[code-img]: https://img.shields.io/badge/-View%20code-blue?logo=github\n[code-url]: https://github.com/homalg-project/CategoricalTowers/tree/master/Locales#top\n\u003c!-- END FOOTER --\u003e\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhomalg-project%2Flocales","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fhomalg-project%2Flocales","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhomalg-project%2Flocales/lists"}