Pinned Repositories
MAES
MAES is a tool for simulating and testing exploration algorithms in a realistic continuous space environment. Maes is visualised and physics driven using the Unity Game Engine. Maes was created as part of a Master's Thesis at Aalborg University, Denmark, on the subject of distributed systems.
warehouse-robot-coordination
Huffman-Coding-Haskell
An easy to read well commented implementation of Huffman encoding / decoding in Haskell.
Offloading
A server / API for managing offloading of programs to mobile phones. Created using Java Spring and OpenAPI Generator.
OffloadTornadoClient
A desktop application used for managing and interacting with a server / api for uploading and offloading computation of programs to mobile phones.
Pivot-Language-for-Home-Automation-P4
Pivot is a small language for home automation. Includes both a compiler and a paper with the documentation.
RocoCup_Soccer_P6
The project set out to showcase real time strategy generation using UPPAAL Stratego for a highly dynamic environment like robocup. This project was created as a bachelors project at Aalborg University. Alongside the program a paper was created and can found in this project.
philipholler's Repositories
philipholler/RocoCup_Soccer_P6
The project set out to showcase real time strategy generation using UPPAAL Stratego for a highly dynamic environment like robocup. This project was created as a bachelors project at Aalborg University. Alongside the program a paper was created and can found in this project.
philipholler/Huffman-Coding-Haskell
An easy to read well commented implementation of Huffman encoding / decoding in Haskell.
philipholler/Offloading
A server / API for managing offloading of programs to mobile phones. Created using Java Spring and OpenAPI Generator.
philipholler/OffloadTornadoClient
A desktop application used for managing and interacting with a server / api for uploading and offloading computation of programs to mobile phones.
philipholler/Pivot-Language-for-Home-Automation-P4
Pivot is a small language for home automation. Includes both a compiler and a paper with the documentation.