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 11 months ago
• 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
• stustanet / wahlfang
  Wahl im Netz
  ☆21Updated last year
• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 3 years ago
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆25Updated this week
• pbrinkmeier / pp-tut
  Programmierparadigmen-Tutorium 2022WS
  ☆28Updated 2 years ago
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆146Updated this week
• kellerben / dudle
  Online event coordination and survey application
  ☆349Updated 3 weeks ago
• t-animal / covid-karte
  ☆77Updated 9 months ago
• vcp-kurhessen / Pfadiralala-IV
  Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen
  ☆37Updated 3 months ago
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆15Updated last week
• tud-cd / tudscr
  TUD-Script
  ☆108Updated 7 months ago
• DeOldSax / iliasDownloaderTool
  synchronize, manage and download the files from your e-learning platform https://www.ilias.de/
  ☆49Updated last year
• traines-source / transport-network-animator
  SVG-based Tool to Animate Maps of Public Transport Networks
  ☆110Updated last year
• adiehl / hdgdldsgvo
  DSGVO Generator
  ☆38Updated 2 years ago
• tud-fop / j-Algo
  j-Algo is an algorithm visualisation tool.
  ☆11Updated 3 years ago
• CatoTH / antragsgruen
  Motions, resolutions and amendments for political conventions
  ☆110Updated last week
• openmensa / openmensa
  Central hub for canteen information (meals, location ...)
  ☆78Updated last week
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆520Updated 7 years ago
• Stefanqn / Bewerbung
  Latex Bewerbungsvorlage
  ☆226Updated 6 months ago
• mediathekview / MServer
  Server zum Steuern des Crawler
  ☆77Updated this week
• bitbetterde / Threematrix
  Work in Progress: A messenger bridge between Threema and Matrix.
  ☆106Updated last year
• tud-cd / tud-cd
  Corporate Design der TU Dresden – beamer style and old poster class
  ☆47Updated 4 years ago
• SvenHarder / xcookybooky
  A LaTeX package for typesetting (potentially long) recipes.
  ☆37Updated 3 years ago
• strichliste / strichliste-backend
  Strichliste Backend
  ☆25Updated 3 months ago
• 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 3 years ago
• Traewelldroid / traewelldroid
  Android app for @Traewelling public transport check-in service
  ☆89Updated this week
• Fluepke / konnektor-patch
  Saving 400 million euro of public health care money from reckless vendors
  ☆395Updated 2 years ago
• fsmi / odie-client
  odie-client is a Knockout.js frontend to odie-server
  ☆17Updated last year