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
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆26Updated this week
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆17Updated 2 months ago
• fsr / Stoffkiste
  📦 Lernstoffsammlung der Informatik
  ☆69Updated last month
• t-animal / covid-karte
  ☆77Updated last year
• tud-fop / j-Algo
  j-Algo is an algorithm visualisation tool.
  ☆11Updated 3 years ago
• SvenHarder / xcookybooky
  A LaTeX package for typesetting (potentially long) recipes.
  ☆39Updated 4 years ago
• barnslig / geheimvz
  Bist du schon drin?
  ☆41Updated 5 months ago
• strichliste / strichliste-backend
  Strichliste Backend
  ☆26Updated 6 months ago
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆526Updated 7 years ago
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• Traewelldroid / traewelldroid
  Android app for @Traewelling public transport check-in service
  ☆99Updated last month
• tud-cd / tudscr
  TUD-Script
  ☆109Updated 9 months ago
• kit-sdq / eclipse-artemis
  Eclipse-Plugin for grading with the artemis project
  ☆10Updated 7 months ago
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆150Updated this week
• bundesAPI / nina-api
  Erhalten Sie wichtige Warnmeldungen des Bevölkerungsschutzes für Gefahrenlagen wie zum Beispiel Gefahrstoffausbreitung oder Unwetter per …
  ☆84Updated 2 years ago
• kiliankoe / arbeitszeitnachweis
  Arbeitszeitnachweis gem. Mindestlohngesetz
  ☆32Updated 4 years ago
• eknoes / covidbot
  Multi-platform messenger bot which provides updates on current COVID19 situation for Germany
  ☆47Updated last year
• jacbz / anki_french
  Anki-Deck Französisch 5000
  ☆51Updated 2 weeks ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated this week
• juliuste / bahn.guru
  Deutsche Bahn ticket price calendar.
  ☆425Updated 3 weeks ago
• demokratie-live / bundestag.io
  API for the German Parliament (Bundestag)
  ☆39Updated 4 years ago
• public-transport / transitous
  Free and open public transport routing.
  ☆395Updated this week
• tud-cd / tud-cd
  Corporate Design der TU Dresden – beamer style and old poster class
  ☆48Updated 4 years ago
• marudor / bahn.expert
  https://bahn.expert
  ☆558Updated 4 months ago
• okfde / fragdenstaat_de
  Froide Theme for fragdenstaat.de
  ☆141Updated this week
• TUfast-TUD / TUfast_TUD
  Browser Extension for higher productivity with TU Dresden IT-Services 🚀
  ☆43Updated 2 weeks ago
• Governikus / AusweisApp
  Der offizielle eID-Client des Bundes.
  ☆597Updated 3 months ago
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆63Updated 6 months ago