{"id":17923745,"url":"https://github.com/deryeger/apollo","last_synced_at":"2025-04-03T09:21:42.731Z","repository":{"id":41572966,"uuid":"323423449","full_name":"DerYeger/apollo","owner":"DerYeger","description":"A web application for first-order model checking in graph structures.","archived":false,"fork":false,"pushed_at":"2024-02-17T05:38:53.000Z","size":40345,"stargazers_count":3,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-02-08T22:44:42.813Z","etag":null,"topics":["angular","first-order-logic","graph","kotlin","modelchecking"],"latest_commit_sha":null,"homepage":"https://apollo.yeger.eu","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/DerYeger.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}},"created_at":"2020-12-21T18:58:55.000Z","updated_at":"2021-08-02T16:34:44.000Z","dependencies_parsed_at":"2023-09-25T03:57:53.268Z","dependency_job_id":"d876ac33-dc3a-415b-b710-9215a85e5a78","html_url":"https://github.com/DerYeger/apollo","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DerYeger%2Fapollo","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DerYeger%2Fapollo/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DerYeger%2Fapollo/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DerYeger%2Fapollo/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/DerYeger","download_url":"https://codeload.github.com/DerYeger/apollo/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":246970323,"owners_count":20862534,"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","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":["angular","first-order-logic","graph","kotlin","modelchecking"],"created_at":"2024-10-28T20:45:20.967Z","updated_at":"2025-04-03T09:21:42.711Z","avatar_url":"https://github.com/DerYeger.png","language":null,"readme":"\u003ch1 align=\"center\"\u003eApollo\u003c/h1\u003e\r\n\r\n\u003cp align=\"center\"\u003e\r\n  \u003cimg src=\"https://raw.githubusercontent.com/DerYeger/apollo-frontend/master/src/assets/icons/android-chrome-512x512.png\" alt=\"Logo\" width=\"128\" height=\"128\"\u003e\r\n\u003c/p\u003e\r\n\r\n\u003cp align=\"center\"\u003e\r\n   \u003ca href=\"https://apollo.yeger.eu/\"\u003e\r\n    apollo.yeger.eu\r\n  \u003c/a\u003e\r\n\u003c/p\u003e\r\n\r\n\u003e A web application for first-order model checking in graph structures.\r\n\r\nThis project and the accompanying bachelor's thesis were inspired by the research group *Theoretical Computer Science / Formal Methods* by the University of Kassel.\r\nThe parsing and validation logic of the backend is built upon a Java desktop application by Arno Ehle and Benedikt Hruschka.\r\n\r\n\u003e Note: This project is also known as **gramoFO**.\r\n\r\n## Features\r\n\r\n- 🛠 **Graph Editor**: Interactive graph editor with support for touch controls\r\n- ✨ **Model Checking**: First-order-logic model checking in graph structures\r\n- 💹 **Feedback**: Three different feedback levels provide insight on model-checking results\r\n- ☑️ **Assignments**: Various assignments, which build an understanding for first-order logic and model checking\r\n- 🔒 **Import/Export**: Graphs can be saved locally as wells as exported and imported as JSON and YAML\r\n- 📱/💻 **Responsive**: Optimized for screens of all sizes\r\n- 📶 **PWA**: Apollo is installable and supports offline editing of graphs\r\n- 🌐 **Localization**: Fully localized in English and German\r\n- 🌗 **Themes**: Dark and light designs\r\n\r\n## Links\r\n\r\n- [Apollo-Frontend](https://github.com/DerYeger/apollo-frontend)\r\n- [Apollo-Backend](https://github.com/DerYeger/apollo-backend)\r\n- [Apollo-Admin](https://github.com/DerYeger/apollo-admin)\r\n- [Bachelor's thesis (German)](https://jan-mueller.at/documents/bachelor-thesis)\r\n\r\n## License\r\n\r\n[BSD 3-Clause License](./LICENSE) - Copyright \u0026copy; Jan Müller\r\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fderyeger%2Fapollo","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fderyeger%2Fapollo","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fderyeger%2Fapollo/lists"}