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 9 months ago
• kiliankoe / arbeitszeitnachweis
  Arbeitszeitnachweis gem. Mindestlohngesetz
  ☆32Updated 3 years ago
• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆44Updated last year
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆63Updated 4 months ago
• robbi5 / bahnbonus
  API Documentation for BahnBonus, the loyality system of DB
  ☆25Updated 6 years ago
• kellerben / dudle
  Online event coordination and survey application
  ☆349Updated last month
• sibbl / sachsen-impfnotifier
  Tool that checks the vaccination portal of Saxony for available appointments for specified vaccination centres.
  ☆35Updated 3 years ago
• kiliankoe / vvo
  🚏🚍 A collection of links and tools regarding the VVO/DVB network
  ☆93Updated 2 years ago
• barnslig / geheimvz
  Bist du schon drin?
  ☆41Updated 3 months ago
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• Nervengift / kvvliveapi
  KVV live API bindings
  ☆63Updated 2 years ago
• drcicero / beautiful-tucan
  Plan your week for the next semester.
  ☆16Updated last year
• vcp-kurhessen / Pfadiralala-IV
  Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen
  ☆37Updated 4 months ago
• juliuste / bahn.guru
  Deutsche Bahn ticket price calendar.
  ☆407Updated 3 weeks ago
• tud-cd / tudscr
  TUD-Script
  ☆108Updated 7 months ago
• pajowu / fahrgastrechte-autofill
  ☆45Updated 5 years ago
• ascii-dresden / Coffee
  Alle unsere Heißgetränke
  ☆19Updated 2 years ago
• TheEnbyperor / vdv-pkpass
  ☆95Updated 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 3 years ago
• spz-signup / spz-signup
  Sign up management for the language courses at the KIT Sprachenzentrum.
  ☆12Updated last month
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆17Updated last week
• FahrplanDatenGarten / pyhafas
  A python client for the HAFAS (HaCon Fahrplan Auskunfts System)
  ☆52Updated 3 months ago
• mwarning / chaos-sticker-collection
  A collection of chaos event / nerd culture related stickers.
  ☆217Updated last month
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated 5 months ago
• orithena / moerderspiel
  Das Mörderspiel -- Es ist doch bloß ein Spiel!
  ☆20Updated 6 years ago
• strichliste / strichliste-backend
  Strichliste Backend
  ☆25Updated 4 months ago
• DeOldSax / iliasDownloaderTool
  synchronize, manage and download the files from your e-learning platform https://www.ilias.de/
  ☆49Updated 2 years ago
• ICE-Buddy / ICE-Buddy-macOS
  ☆47Updated last year
• Jugendhackt / neulandeuphonie
  ☆20Updated 7 years ago
• rumpeltux / onlineticket
  Parser for online-tickets according to ETF-918.3
  ☆71Updated last year