Alternatives and similar repositories for TheoLog

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

• 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
• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆53Updated this week
• t-animal / covid-karte
  ☆76Updated last year
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆523Updated 7 years ago
• kellerben / dudle
  Online event coordination and survey application
  ☆364Updated 9 months ago
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆168Updated last week
• barnslig / geheimvz
  Bist du schon drin?
  ☆42Updated 11 months ago
• marudor / bahn.expert
  https://bahn.expert
  ☆599Updated 10 months ago
• Governikus / AusweisApp
  Der offizielle eID-Client des Bundes.
  ☆664Updated last week
• SvenHarder / xcookybooky
  A LaTeX package for typesetting (potentially long) recipes.
  ☆40Updated 4 years ago
• agdsn / sipa
  The Supreme Information Providing Application
  ☆13Updated last week
• pdfpc / latex-pdfpc
  A LaTeX companion for PDF Presenter Console (pdfpc)
  ☆23Updated 4 months ago
• Stefanqn / Bewerbung
  Latex Bewerbungsvorlage
  ☆228Updated last month
• openmensa / openmensa
  Central hub for canteen information (meals, location ...)
  ☆81Updated this week
• jplitza / nina_xmpp
  XMPP bot that sends messages from the NINA app
  ☆16Updated 2 years ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated 3 months ago
• c3subtitles / L2S2
  Lecture Live Subtitles System (L2S2)
  ☆20Updated 7 years ago
• Traewelling / traewelling
  Free check-in service to log your public transit journeys
  ☆339Updated this week
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆27Updated last week
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• cwoomi / cert-covid19
  Informationssammlung zum Thema CoVid-19
  ☆219Updated 5 years ago
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆356Updated 3 years ago
• tudace / tuda_latex_templates
  LaTeX Templates for TU Darmstadt
  ☆240Updated 2 weeks ago
• schildbach / public-transport-enabler
  Unleash public transport data in your Java project.
  ☆424Updated last week
• freifunk / directory.api.freifunk.net
  directory of all freifunk communities
  ☆38Updated last month
• eknoes / covidbot
  Multi-platform messenger bot which provides updates on current COVID19 situation for Germany
  ☆48Updated 2 years ago
• public-transport / transitous
  Free and open public transport routing.
  ☆506Updated this week
• cebe / pdfpc-latex-notes
  Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.
  ☆153Updated 6 years ago
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆66Updated last week
• CoraLibre / CoraLibre-android-sdk
  CoraLibre-android-sdk fork of prestandard DP-3T to make compatible with the Google/Apple protocol
  ☆127Updated 4 years ago