Explore projects
-
Updated
-
ODK / Sage
Creative Commons Attribution Share Alike 4.0 InternationalThe knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.
Updated -
-
ODK / lmfdb
Creative Commons Attribution Share Alike 4.0 InternationalThe Theories for the LMFDB data base.
Updated -
FrameIT / FrameWorld
Creative Commons Attribution Share Alike 4.0 InternationalThe Formalizations for the UFrameIT-based serious game FrameWorld.
Updated -
ODK / knowls
Creative Commons Attribution Share Alike 4.0 InternationalLMFDB Knowls exported to sTeX.
Updated -
courses / UPS / Info111 / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
scucoco / math
Apache License 2.0Updated -
alignments / Public
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / AI / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / AI / problems
Creative Commons Attribution Share Alike 4.0 InternationalHomework/Quiz problems for AI lectures
Updated -
scucoco / Sage
Creative Commons Attribution Share Alike 4.0 InternationalThe knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.
Updated -
MitM / models
Creative Commons Attribution Share Alike 4.0 InternationalEXPERIMENTAL: Formalizing Mathematical Models as Research Data
Updated -
courses / Jacobs / GenICT / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe Problems for the course General ICT at Jacobs University
Updated -
-
courses / Jacobs / GenICT / course
Creative Commons Attribution Share Alike 4.0 InternationalThe Course General ICT at Jacobs University
Updated -
courses / FAU / IWGS / course
Creative Commons Attribution Share Alike 4.0 InternationalThe course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg
Updated