Frederik Palmelund Voldby's repositories
AT-AT---AuTomatic-Abstract-Typecaster
5th semester project at Aalborg University.
p9examples
Example code used in our P9 semester at Aalborg University
Polynomials
Advanced Programming exam assignment Spring 2018
travis-test
A test repo for playing around with travis
uppaal-tasks
uppaal stuff for RTS and MV