Explore projects

A Verified Compiler for Gallina, Written in Gallina

Questionnaire data to expand UEQ+ product categories. Landing Page: https://innohs.pages.uni-potsdam.de/ueq-erweiterung-dashboard/

This is the public repository for the user written Stata program -khb-, written by myself and Kristian Karlson. The repository also provides access to versions of -khb- written older version of Stata.

Repository for the VR Tutorial of Unity