Explore projects
-
-
Updated
-
Updated
-
This is the Lean project contained in my master's thesis `Computability and L^2-Betti numbers' For installation guidelines, see installation-guidelines.txt
Updated -
-
Updated
-
Updated
-
User Interface Design in Computer Games / Results
Creative Commons Zero v1.0 UniversalUpdated -
SOAR4IoT / edge-node
MIT LicenseUpdated -
SOAR4IoT / digital-twin
MIT LicenseUpdated