https://github.com/deryeger/apollo-admin
A web application for first-order model checking in graph structures.
https://github.com/deryeger/apollo-admin
graph modelchecking nuxt typescript vue
Last synced: 9 months ago
JSON representation
A web application for first-order model checking in graph structures.
- Host: GitHub
- URL: https://github.com/deryeger/apollo-admin
- Owner: DerYeger
- License: bsd-3-clause
- Created: 2021-08-01T14:47:00.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2023-02-26T10:48:47.000Z (about 3 years ago)
- Last Synced: 2025-02-09T00:29:41.597Z (about 1 year ago)
- Topics: graph, modelchecking, nuxt, typescript, vue
- Language: Vue
- Homepage: https://apollo-admin.yeger.eu
- Size: 7.95 MB
- Stars: 2
- Watchers: 3
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
Awesome Lists containing this project
README
Apollo-Admin
> A web application for first-order model checking in graph structures.
This project and the accompanying bachelor's thesis were inspired by the research group *Theoretical Computer Science / Formal Methods* by the University of Kassel.
The parsing and validation logic of the backend is built upon a Java desktop application by Arno Ehle and Benedikt Hruschka.
> Note: This project is also known as **gramoFO**.
## Features
- 🛠 **Users**: Manage (administrative) users of the [Apollo-Backend](https://github.com/DerYeger/apollo-backend)
- ✨ **Assignments**: Manage assignments of the [Apollo-Backend](https://github.com/DerYeger/apollo-backend)
- 📱/💻 **Responsive**: Optimized for screens of all sizes
- 📶 **PWA**: Installable with local caching
- 🌐 **Localization**: Fully localized in English and German
- 🌗 **Themes**: Dark and light designs
## Links
- [Apollo](https://github.com/DerYeger/apollo)
- [Apollo-Frontend](https://github.com/DerYeger/apollo-frontend)
- [Apollo-Backend](https://github.com/DerYeger/apollo-backend)
- [Deployment](https://apollo-admin.yeger.eu/)
- [Bachelor's thesis (German)](https://jan-mueller.at/documents/bachelor-thesis)
## Build Setup
```bash
# install dependencies
$ yarn install
# serve with hot reload at localhost:3000
$ yarn dev
# build for production and launch server
$ yarn build
$ yarn start
# generate static project
$ yarn generate
```
For detailed explanation on how things work, check out [Nuxt.js docs](https://nuxtjs.org).
## License
[BSD 3-Clause License](./LICENSE) - Copyright © Jan Müller