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
  ☆45Updated 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
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆163Updated last week
• Jugendhackt / neulandeuphonie
  ☆20Updated 7 years ago
• agdsn / sipa
  The Supreme Information Providing Application
  ☆13Updated last week
• t-animal / covid-karte
  ☆76Updated last year
• Traewelling / traewelling
  Free check-in service to log your public transit journeys
  ☆325Updated this week
• barnslig / geheimvz
  Bist du schon drin?
  ☆41Updated 9 months ago
• SvenHarder / xcookybooky
  A LaTeX package for typesetting (potentially long) recipes.
  ☆40Updated 4 years ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated last month
• kellerben / dudle
  Online event coordination and survey application
  ☆360Updated 7 months ago
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• bitbetterde / Threematrix
  Work in Progress: A messenger bridge between Threema and Matrix.
  ☆106Updated last year
• neo-layout / neo-layout
  Repository-Mirror für das Neo-Layout. Das offizielle Repo ist hier zu finden:
  ☆88Updated 3 years ago
• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 3 years ago
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆528Updated 7 years ago
• CatoTH / antragsgruen
  Motions, resolutions and amendments for NGOs and political conventions
  ☆124Updated this week
• marudor / bahn.expert
  https://bahn.expert
  ☆578Updated 8 months ago
• Governikus / AusweisApp
  Der offizielle eID-Client des Bundes.
  ☆628Updated last week
• raptor2101 / Mediathek
  ☆45Updated 5 years ago
• engelsystem / engelsystem
  Shift planning system for chaos events.
  ☆505Updated this week
• kiliankoe / vvo
  🚏🚍 A collection of links and tools regarding the VVO/DVB network
  ☆103Updated this week
• c3subtitles / L2S2
  Lecture Live Subtitles System (L2S2)
  ☆20Updated 7 years ago
• matrix-tu-dresden-de / Dokumentation
  This repo represents the hugo source of our Matrix documentation site: https://doc.matrix.tu-dresden.de/
  ☆30Updated last year
• 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
• bundestag / gesetze
  Bundesgesetze und -verordnungen
  ☆1,834Updated 2 years ago
• juliuste / bahn.guru
  Deutsche Bahn ticket price calendar.
  ☆436Updated this week
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆64Updated 2 months ago
• Traewelling / line-colors
  This repository collects German public transport line colors.
  ☆44Updated 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