| REST API |
Flask |
Handle all requests and make appropriate calls to database to update state. |
| Database |
PostgreSQL |
Maintain current state of boats, dock availability, and history of movements. |
| CI |
Jenkins |
Provide a continual report on the build status of master, and test feature branches. |
| Visualization |
Flask |
Query the database and provide a live snapshot of the sea-scape. |
| Event orchestration |
Python |
Handle boat movements so that the user can view a gradually changing sea-scape without having to manually move ships. |