Explore projects
-
User Interface Design in Computer Games / Results
Creative Commons Zero v1.0 UniversalUpdated -
NDSSEARCH reads .csv files with email addresses from the University of Regensbur (like in a .csv file exported from FlexNow) and retrieves corresponding NDS accounts from the university's LDAP server.
Updated -
zel36251 / Results
Creative Commons Zero v1.0 UniversalUpdated -
-
DIMAG / digitales-archivgut-importtool
GNU General Public License v3.0 or laterUpdated -
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
-
Updated
-
trust region solver for an optimal control problem involving the anisotropic Allen-Cahn equation
Updated