Explore projects
-
HOLLight / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / research-data
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
dmueller / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
scucoco / math
Apache License 2.0Updated -
Teaching / LBS1920
Creative Commons Attribution Share Alike 4.0 InternationalThe materials of the LBS course held in WS 2019/20.
Updated -
MMT / OpenMath
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / LBS / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalThe homework assignments and exams for the LBS course at FAU (public)
Updated -
ODK / DiscreteZOO
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
alignments / Public
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
voll-ki / ALeA
Creative Commons Attribution Share Alike 4.0 InternationalUser Manual and Documents about the ALeA (Adaptive Learning Assistant) System.
Updated -
IMPS / imps
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / KRMT / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe problems for the course Computational Logic at Jacobs University
Updated -
-
MaMoReD / activedocs
Creative Commons Attribution Share Alike 4.0 InternationalActive documents with models
Updated -
courses / Bath / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Data-Law
Creative Commons Attribution Share Alike 4.0 InternationalBasic Legal Concepts for Data Law including concepts such as Data Governance.
Updated -
SMGloM / primes
Creative Commons Attribution Share Alike 4.0 InternationalSubglossary of primes in SMGloM
Updated -
Teaching / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / math-classes
Creative Commons Attribution Share Alike 4.0 InternationalUpdated