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.
  ☆16Updated last year
• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆44Updated last year
• kiliankoe / vvo
  🚏🚍 A collection of links and tools regarding the VVO/DVB network
  ☆96Updated last month
• tud-cd / tudscr
  TUD-Script
  ☆110Updated 10 months ago
• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 3 years ago
• DeOldSax / iliasDownloaderTool
  synchronize, manage and download the files from your e-learning platform https://www.ilias.de/
  ☆49Updated 2 years ago
• dieparteidiepartei / afd-blocker-plugin
  AfD Blocker Browser Plugin
  ☆281Updated 2 years ago
• kiliankoe / arbeitszeitnachweis
  Arbeitszeitnachweis gem. Mindestlohngesetz
  ☆32Updated 4 years ago
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆17Updated 3 months ago
• marudor / bahn.expert
  https://bahn.expert
  ☆562Updated 5 months ago
• juliuste / bahn.guru
  Deutsche Bahn ticket price calendar.
  ☆425Updated this week
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated 3 weeks ago
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆153Updated this week
• chenkelmann / neo2-awt-hack
  This is a nasty hack to enable the neo 2 keyboard layout in AWT/Swing based programs under X11 (e.g. Linux).
  ☆30Updated 4 years ago
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆63Updated 7 months ago
• tud-cd / tud-cd
  Corporate Design der TU Dresden – beamer style and old poster class
  ☆49Updated 4 years ago
• MacLemon / CongressChecklist
  A list of things to do, to pack and tips on attending a congress, especially Chaos Communication Congress.
  ☆449Updated 2 months ago
• cwoomi / cert-covid19
  Informationssammlung zum Thema CoVid-19
  ☆219Updated 4 years ago
• public-transport / hafas-client
  JavaScript client for HAFAS public transport APIs.
  ☆310Updated 3 months ago
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆527Updated 7 years ago
• derphilipp / Flachwitze
  A list of german puns/dad jokes
  ☆286Updated 6 months ago
• t-animal / covid-karte
  ☆77Updated last year
• jdemaeyer / brightsky
  JSON API for DWD's open weather data.
  ☆347Updated 2 months ago
• ascii-dresden / Coffee
  Alle unsere Heißgetränke
  ☆19Updated 2 years ago
• barnslig / geheimvz
  Bist du schon drin?
  ☆41Updated 6 months ago
• MartinThoma / KIT-Musterloesungen
  Musterlösungen für Klausuraufgaben am KIT
  ☆51Updated 2 years ago
• kellerben / dudle
  Online event coordination and survey application
  ☆352Updated 4 months ago
• wdr-data / code4maus
  Grafische Programmierumgebung. Zum spielerischen Erlernen von Programmierkonzepten. Basiert auf Scratch vom MIT
  ☆119Updated 10 months ago