Showing 3 Result(s)

ILVerify

ILVerify is an open-source tool developed by Microsoft. I started contributing to ILVerify as part of my internship at Dynatrace and continued developing it in my free time. This work mainly consisted of implementing verification rules in C# and porting them from an existing C++ code-base. Description The goal of the project is to create …

Deep Learning Cars

A 2D simulation in which cars learn to maneuver through a course by themselves, using a neural network and evolutionary algorithms. The entire source code of this project is open-source and can be found on my Github repository. Description At the start of each generation 20 cars are spawned. Each car has its own neural …

Pathfinding using the A*-Algorithm

This java app visualizes the A*-Algorithm. I used it to explain the algorithm in one of my videos and in a talk I held at university. You can download it from my A* explainer repository. Description This program visually illustrates the step by step processes of the A*-Algorithm. The goal of this algorithm is to …