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
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆147Updated this week
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆17Updated last month
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆26Updated last week
• traines-source / transport-network-animator
  SVG-based Tool to Animate Maps of Public Transport Networks
  ☆110Updated last year
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆63Updated 5 months ago
• barnslig / geheimvz
  Bist du schon drin?
  ☆41Updated 4 months ago
• tud-cd / tudscr
  TUD-Script
  ☆108Updated 8 months ago
• CoraLibre / CoraLibre-android-sdk
  CoraLibre-android-sdk fork of prestandard DP-3T to make compatible with the Google/Apple protocol
  ☆127Updated 4 years ago
• vcp-kurhessen / Pfadiralala-IV
  Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen
  ☆37Updated 4 months ago
• marudor / bahn.expert
  https://bahn.expert
  ☆549Updated 3 months ago
• FliegendeWurst / KIT-ILIAS-downloader
  Downloader for https://ilias.studium.kit.edu/
  ☆49Updated last month
• Stefanqn / Bewerbung
  Latex Bewerbungsvorlage
  ☆223Updated 7 months ago
• t-animal / covid-karte
  ☆77Updated 11 months ago
• mwarning / chaos-sticker-collection
  A collection of chaos event / nerd culture related stickers.
  ☆218Updated last week
• agdsn / sipa
  The Supreme Information Providing Application
  ☆13Updated last month
• demostat / demostat
  Statusseite für als nächstes anstehende Demonstrationen.
  ☆10Updated 4 years ago
• eknoes / covidbot
  Multi-platform messenger bot which provides updates on current COVID19 situation for Germany
  ☆47Updated last year
• KreerC / a11ybuddy
  A platform for documenting, testing and sharing about digital accessibility for developers and users alike. Let's get together!
  ☆30Updated 6 months ago
• pbrinkmeier / pp-tut
  Programmierparadigmen-Tutorium 2022WS
  ☆28Updated 2 years ago
• Governikus / AusweisApp
  Der offizielle eID-Client des Bundes.
  ☆584Updated last month
• SFTtech / sticker
  Some of the stickers might unsettle you.
  ☆140Updated 4 months ago
• drcicero / beautiful-tucan
  Plan your week for the next semester.
  ☆16Updated last year
• mrtopf / oecherinfo
  The oecher.info website with corona data based on python3 and vue.js
  ☆17Updated 3 years ago
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆337Updated 2 years ago
• Jugendhackt / neulandeuphonie
  ☆20Updated 7 years ago
• bitbetterde / Threematrix
  Work in Progress: A messenger bridge between Threema and Matrix.
  ☆107Updated last year
• lino / serious-recipes
  Recipes
  ☆20Updated 4 years ago