Alternatives and similar repositories for TheoLog

Users that are interested in TheoLog are comparing it to the libraries listed below

• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆51Updated this week
• bitkeks / theolog-ss2017
  Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthal…
  ☆18Updated 8 years ago
• SvenHarder / xcookybooky
  A LaTeX package for typesetting (potentially long) recipes.
  ☆40Updated 4 years ago
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆522Updated 7 years ago
• t-animal / covid-karte
  ☆76Updated last year
• kellerben / dudle
  Online event coordination and survey application
  ☆363Updated 7 months ago
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆165Updated last week
• marudor / bahn.expert
  https://bahn.expert
  ☆585Updated 9 months ago
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆19Updated last month
• openmensa / openmensa
  Central hub for canteen information (meals, location ...)
  ☆78Updated this week
• jobisoft / DAV-4-TbSync
  ☆159Updated last year
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated 2 months ago
• tud-cd / tud-cd
  Corporate Design der TU Dresden – beamer style and old poster class
  ☆52Updated 4 years ago
• moewew / biblatex-ext
  Extensions for the biblatex standard styles
  ☆27Updated 4 months ago
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆351Updated 3 years ago
• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 3 years ago
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆26Updated 2 weeks ago
• 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
• TUfast-TUD / TUfast_TUD
  Browser Extension for higher productivity with TU Dresden IT-Services 🚀
  ☆49Updated this week
• mh- / corona-warn-companion-android
  Android App Which Shows Details about CWA Exposures (Requires Root or CCTG or RaMBLE Apps)
  ☆130Updated 3 years ago
• Traewelling / traewelling
  Free check-in service to log your public transit journeys
  ☆330Updated this week
• dee-dw / bewerbung-latex
  Eine deutschsprachige Bewerbungvorlage mit LaTeX.
  ☆72Updated 3 years ago
• FliegendeWurst / KIT-ILIAS-downloader
  Downloader for https://ilias.studium.kit.edu/
  ☆49Updated 6 months ago
• latex3 / tagpdf
  Tagging support code for LaTeX
  ☆73Updated 2 weeks ago
• schlcht / microtype
  The microtype package
  ☆109Updated 3 months ago
• bundestag / gesetze
  Bundesgesetze und -verordnungen
  ☆1,841Updated 2 years ago
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• Governikus / AusweisApp
  Der offizielle eID-Client des Bundes.
  ☆637Updated this week
• tud-cd / tudscr
  TUD-Script
  ☆112Updated last year
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆65Updated 2 weeks ago