{"id":35849439,"url":"https://github.com/whitemech/hoa-utils","last_synced_at":"2026-01-08T07:01:08.009Z","repository":{"id":57437456,"uuid":"224213650","full_name":"whitemech/hoa-utils","owner":"whitemech","description":"Utilities for the HOA format.","archived":false,"fork":false,"pushed_at":"2020-08-29T15:38:07.000Z","size":555,"stargazers_count":6,"open_issues_count":3,"forks_count":1,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-09-22T15:44:21.325Z","etag":null,"topics":["automata","automata-theory","buchi-automaton","graphviz","graphviz-dot","hoa","hoa-format","hoa-library","hoa-parser","hoa-validator","ltl","translator"],"latest_commit_sha":null,"homepage":"https://whitemech.github.io/hoa-utils/","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"lgpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/whitemech.png","metadata":{"files":{"readme":"README.md","changelog":"HISTORY.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2019-11-26T14:38:20.000Z","updated_at":"2023-04-19T06:03:50.000Z","dependencies_parsed_at":"2022-09-15T18:51:06.947Z","dependency_job_id":null,"html_url":"https://github.com/whitemech/hoa-utils","commit_stats":null,"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"purl":"pkg:github/whitemech/hoa-utils","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2Fhoa-utils","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2Fhoa-utils/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2Fhoa-utils/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2Fhoa-utils/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/whitemech","download_url":"https://codeload.github.com/whitemech/hoa-utils/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2Fhoa-utils/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28242441,"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","status":"online","status_checked_at":"2026-01-08T02:00:06.591Z","response_time":241,"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"}},"keywords":["automata","automata-theory","buchi-automaton","graphviz","graphviz-dot","hoa","hoa-format","hoa-library","hoa-parser","hoa-validator","ltl","translator"],"created_at":"2026-01-08T07:00:26.942Z","updated_at":"2026-01-08T07:01:07.999Z","avatar_url":"https://github.com/whitemech.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003ch1 align=\"center\"\u003e\n  \u003cb\u003eHOA utils\u003c/b\u003e\n\u003c/h1\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003ca href=\"https://pypi.org/project/hoa-utils\"\u003e\n    \u003cimg alt=\"PyPI\" src=\"https://img.shields.io/pypi/v/hoa-utils\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"https://pypi.org/project/hoa-utils\"\u003e\n    \u003cimg alt=\"PyPI - Python Version\" src=\"https://img.shields.io/pypi/pyversions/hoa-utils\" /\u003e\n  \u003c/a\u003e\n  \u003ca href=\"\"\u003e\n    \u003cimg alt=\"PyPI - Status\" src=\"https://img.shields.io/pypi/status/hoa-utils\" /\u003e\n  \u003c/a\u003e\n  \u003ca href=\"\"\u003e\n    \u003cimg alt=\"PyPI - Implementation\" src=\"https://img.shields.io/pypi/implementation/hoa-utils\" /\u003e\n  \u003c/a\u003e\n  \u003ca href=\"\"\u003e\n    \u003cimg alt=\"PyPI - Wheel\" src=\"https://img.shields.io/pypi/wheel/hoa-utils\" /\u003e\n  \u003c/a\u003e\n  \u003ca href=\"https://github.com/whitemech/hoa-utils/blob/master/LICENSE\"\u003e\n    \u003cimg alt=\"GitHub\" src=\"https://img.shields.io/github/license/whitemech/hoa-utils\" /\u003e\n  \u003c/a\u003e\n\u003c/p\u003e\n\u003cp align=\"center\"\u003e\n  \u003ca href=\"\"\u003e\n    \u003cimg alt=\"test\" src=\"https://github.com/whitemech/hoa-utils/workflows/test/badge.svg\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"\"\u003e\n    \u003cimg alt=\"lint\" src=\"https://github.com/whitemech/hoa-utils/workflows/lint/badge.svg\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"\"\u003e\n    \u003cimg alt=\"docs\" src=\"https://github.com/whitemech/hoa-utils/workflows/docs/badge.svg\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"https://codecov.io/gh/whitemech/hoa-utils\"\u003e\n    \u003cimg src=\"https://codecov.io/gh/whitemech/hoa-utils/branch/master/graph/badge.svg\" /\u003e\n  \u003c/a\u003e\n\u003c/p\u003e\n\u003cp align=\"center\"\u003e\n  \u003ca href=\"https://img.shields.io/badge/flake8-checked-blueviolet\"\u003e\n    \u003cimg alt=\"\" src=\"https://img.shields.io/badge/flake8-checked-blueviolet\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"https://img.shields.io/badge/mypy-checked-blue\"\u003e\n    \u003cimg alt=\"\" src=\"https://img.shields.io/badge/mypy-checked-blue\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"https://img.shields.io/badge/isort-checked-yellow\"\u003e\n    \u003cimg alt=\"\" src=\"https://img.shields.io/badge/isort-checked-yellow\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"https://img.shields.io/badge/code%20style-black-black\"\u003e\n    \u003cimg alt=\"black\" src=\"https://img.shields.io/badge/code%20style-black-black\" /\u003e\n  \u003c/a\u003e\n  \u003ca href=\"https://www.mkdocs.org/\"\u003e\n    \u003cimg alt=\"\" src=\"https://img.shields.io/badge/docs-mkdocs-9cf\"\u003e\n  \u003c/a\u003e\n\u003c/p\u003e\n\nUtilities for the HOA format.\n\n## Install\n\nThe best way is to install the package from PyPI:\n```\npip install hoa-utils\n```\n\nAlternatively, you can install it from source (master branch):\n```\npip install git+https://github.com/whitemech/hoa-utils.git\n```\n\n## What you'll find\n\n- APIs to create and manipulate HOA objects\n- CLI tools to about the HOA format.\n\nThe implementation may not be very stable at the moment.\n\nCurrently, the only supported CLI tool is:\n- `pyhoafparser`: parse and validate a file in HOA format. \n\n\n## Development\n\nIf you want to contribute, here's how to set up your development environment.\n\n- Install [Poetry](https://python-poetry.org/)\n- Clone the repository: `git clone https://github.com/whitemech/hoa-utils.git \u0026\u0026 cd hoa-utils`\n- Install the dependencies: `poetry install`\n\n## Tests\n\nTo run tests: `tox`\n\nTo run only the code tests: `tox -e py3.7`\n\nTo run only the code style checks:\n - `tox -e black-check`\n - `tox -e isort-check`\n - `tox -e flake8`\n \n In `tox.ini` you can find all the test environment supported.\n\n## Docs\n\nTo build the docs: `mkdocs build`\n\nTo view documentation in a browser: `mkdocs serve`\nand then go to [http://localhost:8000](http://localhost:8000)\n\n## Authors\n\n- [Marco Favorito](https://marcofavorito.github.io/)\n- [Francesco Fuggitti](https://francescofuggitti.github.io/)\n\n## License\n\n`hoa-utils` is released under the MIT License.\n\nCopyright 2020 WhiteMech\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fwhitemech%2Fhoa-utils","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fwhitemech%2Fhoa-utils","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fwhitemech%2Fhoa-utils/lists"}