Free and open public transport routing.

AI for GNU Image Manipulation Program

Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automata learning

The clinical skills recording application is an application for capturing skills logging data through a web based application. This project utilized DIME as a model driven development solution.

lokalkauf is an easy to use online platform to set up local shops with an online shop, which allows them to supply their customers via a local delivery chain. This can keep businesses running, even…

The Next Generation LearnLib Studio

A free, open-source Java library for automata learning algorithms