Alternatives and similar repositories for theolog-ss2017:

Users that are interested in theolog-ss2017 are comparing it to the libraries listed below

• knowsys / TheoLog
  Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
  ☆23Updated 8 months ago
• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆44Updated 11 months ago
• tud-cd / tudscr
  TUD-Script
  ☆108Updated 7 months ago
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• kiliankoe / arbeitszeitnachweis
  Arbeitszeitnachweis gem. Mindestlohngesetz
  ☆32Updated 3 years ago
• fsr / Stoffkiste
  📦 Lernstoffsammlung der Informatik
  ☆69Updated 4 months ago
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆63Updated 3 months ago
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆520Updated 7 years ago
• kiliankoe / vvo
  🚏🚍 A collection of links and tools regarding the VVO/DVB network
  ☆93Updated 2 years ago
• derhuerst / db-rest
  A clean REST API wrapping around the Deutsche Bahn API.
  ☆95Updated last week
• barnslig / geheimvz
  Bist du schon drin?
  ☆41Updated 2 months ago
• drcicero / beautiful-tucan
  Plan your week for the next semester.
  ☆16Updated last year
• offenesdresden / dvbpy
  🚋 Query Dresden's public transport system for current bus- and tramstop data in python
  ☆50Updated last year
• traines-source / transport-network-animator
  SVG-based Tool to Animate Maps of Public Transport Networks
  ☆110Updated last year
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆15Updated last week
• vcp-kurhessen / Pfadiralala-IV
  Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen
  ☆37Updated 3 months ago
• Berliner-Feuerwehr / BF-Open-Data
  ☆28Updated this week
• wdr-data / code4maus
  Grafische Programmierumgebung. Zum spielerischen Erlernen von Programmierkonzepten. Basiert auf Scratch vom MIT
  ☆119Updated 6 months ago
• ascii-dresden / Coffee
  Alle unsere Heißgetränke
  ☆19Updated 2 years ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated 4 months ago
• derphilipp / Flachwitze
  A list of german puns/dad jokes
  ☆286Updated 2 months ago
• MacLemon / CongressChecklist
  A list of things to do, to pack and tips on attending a congress, especially Chaos Communication Congress.
  ☆440Updated 3 months ago
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆146Updated this week
• DeOldSax / iliasDownloaderTool
  synchronize, manage and download the files from your e-learning platform https://www.ilias.de/
  ☆49Updated last year
• bundesAPI / nina-api
  Erhalten Sie wichtige Warnmeldungen des Bevölkerungsschutzes für Gefahrenlagen wie zum Beispiel Gefahrstoffausbreitung oder Unwetter per …
  ☆82Updated last year
• public-transport / hafas-client
  JavaScript client for HAFAS public transport APIs.
  ☆293Updated 2 weeks ago
• robbi5 / bahnbonus
  API Documentation for BahnBonus, the loyality system of DB
  ☆25Updated 6 years ago
• juliuste / db-prices
  Find journey prices using the DB Sparpreise API.
  ☆103Updated 4 years ago
• HSZemi / mahlowat
  mahlowat ist die Implementierung eines Wahlpositionsvergleichswerkzeugs.
  ☆62Updated 10 months ago
• agdsn / sipa
  The Supreme Information Providing Application
  ☆13Updated this week