Explore projects

Ein Projekt der Mathedidaktik zur Veranschaulischung linearer Gleichungssysteme

TestProject for the Kurs^^

The Omega Decision Procedure Library

Naïve C++ implementation of models for regular languages.

Repository for the VR Tutorial of Unity