{"id":35849427,"url":"https://github.com/whitemech/lydia-web-app","last_synced_at":"2026-01-08T07:01:05.514Z","repository":{"id":49917365,"uuid":"289469304","full_name":"whitemech/lydia-web-app","owner":"whitemech","description":"Web app to interact with the Lydia tool.","archived":false,"fork":false,"pushed_at":"2021-06-20T16:55:59.000Z","size":2822,"stargazers_count":0,"open_issues_count":4,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2023-03-03T22:13:04.679Z","etag":null,"topics":["automata","docker","gplv3","ldlf","ldlf2dfa","ltlf","ltlf2dfa","lydia","python","synthesis","temporal-logic"],"latest_commit_sha":null,"homepage":"http://lydia.whitemech.it","language":"JavaScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/whitemech.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}},"created_at":"2020-08-22T10:45:32.000Z","updated_at":"2021-06-20T16:56:01.000Z","dependencies_parsed_at":"2022-08-27T04:52:49.543Z","dependency_job_id":null,"html_url":"https://github.com/whitemech/lydia-web-app","commit_stats":null,"previous_names":[],"tags_count":null,"template":null,"template_full_name":null,"purl":"pkg:github/whitemech/lydia-web-app","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2Flydia-web-app","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2Flydia-web-app/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2Flydia-web-app/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2Flydia-web-app/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/whitemech","download_url":"https://codeload.github.com/whitemech/lydia-web-app/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2Flydia-web-app/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","docker","gplv3","ldlf","ldlf2dfa","ltlf","ltlf2dfa","lydia","python","synthesis","temporal-logic"],"created_at":"2026-01-08T07:00:21.218Z","updated_at":"2026-01-08T07:01:05.490Z","avatar_url":"https://github.com/whitemech.png","language":"JavaScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"This is a web application based on Lydia. It offers\na GUI to translate LDLf formula into DFAs.\n\nIt's made of\n- a server-side API written in Python using the Lydia tool,\n- a client-side web application written using ReactJS,\n  and calling that API.\n\n## Set up\n\nFollow the instructions to set up the development environment.\n\n- Clone the repository\n```\ngit clone https://github.com/whitemech/lydia-web-app.git --recursive\n```\n\n- Create the virtual environment and install the Python dependencies:\n```\ncd server \u0026\u0026 pipenv shell --python 3.7 \u0026\u0026 pipenv install --dev \u0026\u0026 cd ../\n```\n- Make sure you have `npm` available on your system; then:\n```\ncd client \u0026\u0026 npm install \u0026\u0026 cd ../\n```\n\n## Run (manually)\n\nTo launch the server on http://localhost:5000:\n```\npython server/lydia_api/app.py\n```\n\nThen launch a client with\n```\ncd client\nnpm run start\n```\n\nNow any save to `lydia_api/app.py` or `client/src/LydiaApp.js` will cause these\ncomponents to reload automatically.\n\n## Run with Docker Compose\n\nYou can run the whole system with [Docker Compose](https://docs.docker.com/compose/). Please make \nsure you have both [Docker](https://www.docker.com/) and \n[Docker Compose](https://docs.docker.com/compose) installed on your machine. Then:\n```\ndocker-compose build\ndocker-compose up\n```\n\nYou can access the front-end at http://localhost:3000 and the backend at http://localhost:5000/api.\n\n## Authors\n\n- Marco Favorito, [favorito@diag.uniroma1.it](mailto:favorito@diag.uniroma1.it)\n\n## License\n\nBoth client and server are GPLv3 (see COPYING) as they build upon Lydia, which is GPLv3.\n\n[Copyright WhiteMech 2020.](https://whitemech.github.io)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fwhitemech%2Flydia-web-app","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fwhitemech%2Flydia-web-app","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fwhitemech%2Flydia-web-app/lists"}