Explore projects
-
Updated
-
Theorem Prover / Noo Programming Language
MIT LicenseUpdated -
Updated
-
ARSnova / frag.jetzt
MIT LicenseThe name of the app says it all: it stands both for the purpose of the app and for its address https://frag.jetzt
Updated -
ARSnova / frag.jetzt Backend
MIT LicenseUpdated -
-
Nina Ziton / frag.jetzt
MIT LicenseThe name of the app says it all: it stands both for the purpose of the app and for its address https://frag.jetzt
Updated -
Jann Wißbach / frag.jetzt
MIT LicenseThe name of the app says it all: it stands both for the purpose of the app and for its address https://frag.jetzt
Updated -
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 -
UpdatedUpdated
-
Updated
-
-
Updated
-
Updated
-
Updated