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
  ☆24Updated last year
• drcicero / beautiful-tucan
  Plan your week for the next semester.
  ☆17Updated last year
• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆53Updated this week
• kiliankoe / vvo
  🚏🚍 A collection of links and tools regarding the VVO/DVB network
  ☆106Updated this week
• marudor / bahn.expert
  https://bahn.expert
  ☆592Updated 9 months ago
• juliuste / bahn.guru
  Deutsche Bahn ticket price calendar.
  ☆440Updated last month
• MacLemon / CongressChecklist
  A list of things to do, to pack and tips on attending a congress, especially Chaos Communication Congress.
  ☆456Updated 6 months ago
• DeOldSax / iliasDownloaderTool
  synchronize, manage and download the files from your e-learning platform https://www.ilias.de/
  ☆49Updated 2 years ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated 3 months ago
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆522Updated 7 years ago
• SFTtech / sticker
  Some of the stickers might unsettle you.
  ☆143Updated 10 months ago
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆166Updated last week
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆19Updated last month
• dieparteidiepartei / afd-blocker-plugin
  AfD Blocker Browser Plugin
  ☆282Updated 2 years ago
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆65Updated last month
• barnslig / geheimvz
  Bist du schon drin?
  ☆42Updated 10 months ago
• tud-cd / tudscr
  TUD-Script
  ☆113Updated last year
• engelsystem / engelsystem
  Shift planning system for chaos events.
  ☆515Updated this week
• jiska2342 / malware
  It's malware!
  ☆91Updated 3 years ago
• fsr / Stoffkiste
  📦 Lernstoffsammlung der Informatik
  ☆71Updated 2 months ago
• MartinThoma / KIT-Musterloesungen
  Musterlösungen für Klausuraufgaben am KIT
  ☆51Updated 2 years ago
• criticalmaps / criticalmaps-android
  🤖 Critical Maps Android App
  ☆147Updated last month
• cwoomi / cert-covid19
  Informationssammlung zum Thema CoVid-19
  ☆219Updated 5 years ago
• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 3 years ago
• moklick / kontext-browser-extension
  Browser extension that adds context to certain German politicians
  ☆79Updated last year
• mswart / openmensa-parsers
  A collection of openmensa.org parsers with feed v2 generator
  ☆36Updated last year
• vcp-kurhessen / Pfadiralala-IV
  Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen
  ☆37Updated 4 months ago
• kellerben / dudle
  Online event coordination and survey application
  ☆364Updated 8 months ago
• devio / Walruss
  PC-Wahl 10 Hacking Tools
  ☆292Updated 8 years ago
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆351Updated 3 years ago