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
• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆44Updated last year
• drcicero / beautiful-tucan
  Plan your week for the next semester.
  ☆16Updated last year
• tud-cd / tud-cd
  Corporate Design der TU Dresden – beamer style and old poster class
  ☆49Updated 4 years ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated last month
• 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
• tud-cd / tudscr
  TUD-Script
  ☆112Updated 11 months ago
• marudor / bahn.expert
  https://bahn.expert
  ☆569Updated 6 months ago
• tifa365 / Selbstbackende_Baeckereien
  Eine Liste der Bäckereien in Deutschland, die ihr Brot noch selbst backen. Die Daten stehen unter Creative Commons Zero v1.0 Universal un…
  ☆23Updated 4 years ago
• kiliankoe / arbeitszeitnachweis
  Arbeitszeitnachweis gem. Mindestlohngesetz
  ☆32Updated 4 years ago
• Fluepke / konnektor-patch
  Saving 400 million euro of public health care money from reckless vendors
  ☆394Updated 2 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
• 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
• juliuste / bahn.guru
  Deutsche Bahn ticket price calendar.
  ☆428Updated last month
• spz-signup / spz-signup
  Sign up management for the language courses at the KIT Sprachenzentrum.
  ☆12Updated last month
• kiliankoe / vvo
  🚏🚍 A collection of links and tools regarding the VVO/DVB network
  ☆98Updated 2 months ago
• vcp-kurhessen / Pfadiralala-IV
  Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen
  ☆37Updated last month
• gi-ev / LNI
  A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)
  ☆42Updated last week
• SvenHarder / xcookybooky
  A LaTeX package for typesetting (potentially long) recipes.
  ☆40Updated 4 years ago
• SFTtech / sticker
  Some of the stickers might unsettle you.
  ☆142Updated 7 months ago
• d-koppenhagen / latex-rechnung
  Eine LaTeX-Rechnungsvorlage.
  ☆153Updated 2 years ago
• moklick / kontext-browser-extension
  Browser extension that adds context to certain German politicians
  ☆78Updated last year
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆17Updated 4 months ago
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆529Updated 7 years ago
• agdsn / sipa
  The Supreme Information Providing Application
  ☆13Updated this week
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆347Updated 2 years ago
• Jugendhackt / neulandeuphonie
  ☆20Updated 7 years ago
• engelsystem / engelsystem
  Shift planning system for chaos events.
  ☆494Updated last week