Explore projects
-
-
-
This project presents the latest results of the RC3 research group: An optimizing compiler and interpreter for the reversible programming language Janus as well as a virtual machine for the reversible intermediate language RSSA.
Updated -
Updated
-
Theorem Prover / Noo Programming Language
MIT LicenseUpdated -
-
ARSnova / arsnova-lite
MIT LicenseUpdated -
Fork of arsnova.click frontend (https://git.thm.de/arsnova/arsnova-click-v2-frontend) for usage in frag.jetzt.
Updated -
-
projects.thm.de / GitLab FOSS
MIT LicenseA fork of GitLab FOSS (https://gitlab.com/gitlab-org/gitlab-foss) which integrates the software into the THM project infrastructure
Updated -
Updated
-
Updated
-
-
ARSnova / PowerPoint Integration
GNU General Public License v3.0 onlyA Microsoft PowerPoint Integration for arsnova and arsnova.click. This project grants easy usage of our audience response systems while using PowerPoint as your favorite presentation tool.
Updated -
Updated
-
Quadratwurzelberechnung Näherungsverfahren, Test mit sqrt(2) und sqrt(16)
Updated -
-
Medieninformatik, Einführung in die Programmierung , Projekt von Michael Marhold, Maximilian Mayer und Alexander Schenker
Updated -