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 8 years ago
• marudor / bahn.expert
  https://bahn.expert
  ☆577Updated 7 months ago
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆160Updated last week
• t-animal / covid-karte
  ☆76Updated last year
• kellerben / dudle
  Online event coordination and survey application
  ☆354Updated 6 months ago
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆17Updated last week
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆529Updated 7 years ago
• SvenHarder / xcookybooky
  A LaTeX package for typesetting (potentially long) recipes.
  ☆40Updated 4 years ago
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆64Updated last month
• tud-cd / tud-cd
  Corporate Design der TU Dresden – beamer style and old poster class
  ☆51Updated 4 years ago
• Governikus / AusweisApp
  Der offizielle eID-Client des Bundes.
  ☆619Updated 3 weeks ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated last month
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• stustanet / wahlfang
  Wahl im Netz
  ☆22Updated last year
• jakobwenzel / MensaGuthaben
  This app allows you to read the current balance of cards manufactured by Intercard and Magnacarta via NFC.
  ☆123Updated last year
• TUM-Dev / TUM.sexy
  A website providing links, redirects and tools related to the Technical University Munich
  ☆98Updated 2 weeks ago
• openmensa / openmensa
  Central hub for canteen information (meals, location ...)
  ☆78Updated this week
• public-transport / transitous
  Free and open public transport routing.
  ☆438Updated this week
• RobertKrajewski / Sync-my-L2P
  DOWNLOAD HERE: https://github.com/RobertKrajewski/Sync-my-L2P/releases/latest
  ☆82Updated 7 months ago
• CatoTH / antragsgruen
  Motions, resolutions and amendments for NGOs and political conventions
  ☆123Updated this week
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆349Updated 2 years ago
• monperrus / ExpandAnimations
  LibreOffice/OpenOffice.org extension to expand animations before exporting to PDF. Looking for maintainers.
  ☆252Updated 4 years ago
• tuebix / tuebixorg
  Tübix website (Hugo)
  ☆13Updated 2 months ago
• d-koppenhagen / latex-rechnung
  Eine LaTeX-Rechnungsvorlage.
  ☆154Updated 2 years ago
• pbrinkmeier / pp-tut
  Programmierparadigmen-Tutorium 2022WS
  ☆28Updated 2 years ago
• c3subtitles / L2S2
  Lecture Live Subtitles System (L2S2)
  ☆20Updated 7 years ago
• pdfpc / latex-pdfpc
  A LaTeX companion for PDF Presenter Console (pdfpc)
  ☆20Updated 2 months ago
• barnslig / geheimvz
  Bist du schon drin?
  ☆41Updated 8 months ago
• justjanne / stickers
  ☆12Updated 6 months ago