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
  ☆44Updated last year
• 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 7 years ago
• t-animal / covid-karte
  ☆77Updated last year
• SvenHarder / xcookybooky
  A LaTeX package for typesetting (potentially long) recipes.
  ☆40Updated 4 years ago
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• kellerben / dudle
  Online event coordination and survey application
  ☆352Updated 4 months ago
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆153Updated this week
• rsjtdrjgfuzkfg / thunderbird-birthdaycalendar
  Thunderbird add-on to display birthdays from the address book in the calendar
  ☆26Updated 3 weeks ago
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆63Updated 7 months ago
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆347Updated 2 years ago
• pdfpc / latex-pdfpc
  A LaTeX companion for PDF Presenter Console (pdfpc)
  ☆20Updated last year
• agdsn / sipa
  The Supreme Information Providing Application
  ☆13Updated last week
• DeOldSax / iliasDownloaderTool
  synchronize, manage and download the files from your e-learning platform https://www.ilias.de/
  ☆49Updated 2 years ago
• tudace / tuda_latex_templates
  LaTeX Templates for TU Darmstadt
  ☆233Updated 2 months ago
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆17Updated 3 months ago
• monperrus / ExpandAnimations
  LibreOffice/OpenOffice.org extension to expand animations before exporting to PDF. Looking for maintainers.
  ☆248Updated 4 years ago
• plk / biber
  Backend processor for BibLaTeX
  ☆364Updated this week
• marudor / bahn.expert
  https://bahn.expert
  ☆562Updated 5 months ago
• juliuste / bahn.guru
  Deutsche Bahn ticket price calendar.
  ☆425Updated this week
• pbrinkmeier / pp-tut
  Programmierparadigmen-Tutorium 2022WS
  ☆28Updated 2 years ago
• eknoes / covidbot
  Multi-platform messenger bot which provides updates on current COVID19 situation for Germany
  ☆47Updated last year
• c3subtitles / L2S2
  Lecture Live Subtitles System (L2S2)
  ☆20Updated 6 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
• traines-source / transport-network-animator
  SVG-based Tool to Animate Maps of Public Transport Networks
  ☆114Updated last year
• Stefanqn / Bewerbung
  Latex Bewerbungsvorlage
  ☆224Updated 9 months ago
• bitbetterde / Threematrix
  Work in Progress: A messenger bridge between Threema and Matrix.
  ☆106Updated last year
• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 3 years ago
• mwarning / chaos-sticker-collection
  A collection of chaos event / nerd culture related stickers.
  ☆222Updated last week
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆527Updated 7 years ago
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆26Updated last week