How to use this repo?

As of May 2024, documentation has been migrated to the repository wiki.

Suggestions

If you have any suggestions how to make this repository better, please don't hesitate to reach out to: filip.zoric@fer.hr, or raise an issue.