Explore projects

Program for the optimization of static potentials for the generation of largely delocalized and non-Gaussian quantum states of levitated nanoparticles.

C Recap including Software Development Principles and more

Ringlabor Master Mechatronik Sommersemester 2020

A tool performing AC-completion for left-linear TRSs written in Haskell.

This is the repository of the project of the online communication master seminar course