Pinned

1. DEIS-Tools/MAES DEIS-Tools/MAES Public

   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 …

   C# 9 3

2. RocoCup_Soccer_P6 RocoCup_Soccer_P6 Public

   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 Univers…

   Python 5 1

3. Pivot-Language-for-Home-Automation-P4 Pivot-Language-for-Home-Automation-P4 Public

   Pivot is a small language for home automation. Includes both a compiler and a paper with the documentation.

   Java

4. MagnusKJensen/warehouse-robot-coordination MagnusKJensen/warehouse-robot-coordination Public

   Java 2

5. Huffman-Coding-Haskell Huffman-Coding-Haskell Public

   An easy to read well commented implementation of Huffman encoding / decoding in Haskell.

   Haskell

6. Offloading Offloading Public

   Forked from ScumbagDog/Offloading

   A server / API for managing offloading of programs to mobile phones. Created using Java Spring and OpenAPI Generator.

   Java