This repository contains a reachability checker for reachability games created in the Advanced Programming (Software, MSc.) course at AAU.
-
Updated
Jul 4, 2020 - C++
This repository contains a reachability checker for reachability games created in the Advanced Programming (Software, MSc.) course at AAU.
Proposed solution for the assignment on 2nd day.
Presentation for Master's Thesis - Deep Reinforcement Learning for Robotic Grasping from Octrees
Software Engineering Course (SOE) eksamen notater AAU
Extendable verification engine and simulator for Tick Tock Automata constructs
A web interface for managing information screens at Nordkraft in Aalborg, and add / remove posters from the screens
BeFriendy - a social game application for enhancing human relationships, based on Firebase, a distributed systems platform and Android/Java
Compiler for the Language EBAL
Team WAVE Official Website
This repository contains a web crawler and a search engine created in the information retrieval part of the web intelligence (Software, MSc.) course at AAU.
A tool that recommends alternative recipes which can reduce your carbon footprint.
Add a description, image, and links to the aau topic page so that developers can more easily learn about it.
To associate your repository with the aau topic, visit your repo's landing page and select "manage topics."