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
• tud-cd / tudscr
  TUD-Script
  ☆108Updated 9 months ago
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• tud-fop / j-Algo
  j-Algo is an algorithm visualisation tool.
  ☆11Updated 3 years ago
• fsr / Stoffkiste
  📦 Lernstoffsammlung der Informatik
  ☆69Updated 2 weeks ago
• orithena / moerderspiel
  Das Mörderspiel -- Es ist doch bloß ein Spiel!
  ☆20Updated 6 years ago
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆148Updated this week
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆17Updated last month
• strichliste / strichliste-backend
  Strichliste Backend
  ☆26Updated 6 months ago
• mh- / corona-warn-companion-android
  Android App Which Shows Details about CWA Exposures (Requires Root or CCTG or RaMBLE Apps)
  ☆130Updated 3 years ago
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆26Updated this week
• agdsn / sipa
  The Supreme Information Providing Application
  ☆13Updated 2 months ago
• st-tu-dresden / inloop
  [Deprecated] A simple web application to manage online programming assignments
  ☆28Updated last year
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated 7 months ago
• micb25 / dka
  Statistische Analyse und Visualisierung der täglichen Diagnoseschlüssel der deutschen COVID-19 Tracing-App (Corona-Warn-App).
  ☆91Updated 2 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 9 months ago
• t-animal / covid-karte
  ☆77Updated 11 months ago
• okfde / offenegesetze.de
  ⚖️ Wir öffnen das Bundesgesetzblatt
  ☆88Updated 2 years ago
• Jugendhackt / neulandeuphonie
  ☆20Updated 7 years ago
• jplitza / nina_xmpp
  XMPP bot that sends messages from the NINA app
  ☆16Updated last year
• openmensa / openmensa
  Central hub for canteen information (meals, location ...)
  ☆78Updated last week
• kiliankoe / vvo
  🚏🚍 A collection of links and tools regarding the VVO/DVB network
  ☆94Updated 2 weeks ago
• okfde / fragdenstaat_de
  Froide Theme for fragdenstaat.de
  ☆140Updated this week
• SORCEway / SORCEway
  Beste Seite mit wichtigen Inhalten.
  ☆12Updated last year
• c3subtitles / L2S2
  Lecture Live Subtitles System (L2S2)
  ☆20Updated 6 years ago
• SFTtech / sticker
  Some of the stickers might unsettle you.
  ☆140Updated 5 months ago
• traines-source / transport-network-animator
  SVG-based Tool to Animate Maps of Public Transport Networks
  ☆111Updated last year
• CoraLibre / CoraLibre-android-sdk
  CoraLibre-android-sdk fork of prestandard DP-3T to make compatible with the Google/Apple protocol
  ☆127Updated 4 years ago
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆63Updated 5 months ago