Explore projects

The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg

The slides and course notes for the course Text and Digital Media at Jacobs University

The Course General ICT at Jacobs University

A math archive with the KWARC bibs from https://github.com/KWARC/bibs

OMDoc/MMT Tutorial for Mathematicians

The problems for the lecture Logic Based Language Processing at FAU

The homework assignments and exams for the LBS course at FAU (public)

The problems for the course Computational Logic at Jacobs University

This is an export of the Mizar Mathematical Library by Colin Rothgang, ArturKornilowicz, and Florian Rabe. See the export-paper repository for a description.

The knowledge for integrating the GAP system into the OpenDreamKit virtual Research Environment.

library wrapper for http://www.cs.miami.edu/~tptp/TPTP/Distribution/

a study

sub-library of OEIS for testing