Pinned Repositories
automatic-spike-detection
helios_verifier
python-tool-competition-2024-pytgen
Uses the python-tool-competition-2024 to generate tests using pytgen
scala-movie-recommender
server
Mergin Maps: Store and track changes to your geo-data. Public repository for enterprise and community edition.
pyramid_oereb
pyramid_oereb is an open-source implementation of the server side part for the Swiss "Cadastre of Public-law Restrictions on landownership" (PLR-cadastre).
docker-swisstopo-light-basemap
This docker image is a standalone MVT server for Swisstopo "leichte-basiskarte" MVT product
PR-2022
Group exercises for the pattern recognition course @unifr, summer semester 2022
merginmaps-server
Mergin Maps: Store and track changes to your geo-data. Public repository for enterprise and community edition.
unibe-seminar-se-python-test-generation-klara-pynguin
domfre's Repositories
domfre/scala-movie-recommender
domfre/automatic-spike-detection
domfre/python-tool-competition-2024-pytgen
Uses the python-tool-competition-2024 to generate tests using pytgen
domfre/helios_verifier