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
  ☆53Updated 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
  ☆166Updated last week
• t-animal / covid-karte
  ☆76Updated last year
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆19Updated last month
• c3subtitles / L2S2
  Lecture Live Subtitles System (L2S2)
  ☆20Updated 7 years ago
• kellerben / dudle
  Online event coordination and survey application
  ☆364Updated 8 months ago
• openmensa / openmensa
  Central hub for canteen information (meals, location ...)
  ☆78Updated this week
• marudor / bahn.expert
  https://bahn.expert
  ☆592Updated 9 months ago
• SvenHarder / xcookybooky
  A LaTeX package for typesetting (potentially long) recipes.
  ☆40Updated 4 years ago
• schildbach / public-transport-enabler
  Unleash public transport data in your Java project.
  ☆422Updated this week
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆27Updated this week
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆65Updated last month
• Traewelling / traewelling
  Free check-in service to log your public transit journeys
  ☆332Updated this week
• agdsn / pycroft
  The AG DSN management system
  ☆21Updated this week
• 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
• jakobwenzel / MensaGuthaben
  This app allows you to read the current balance of cards manufactured by Intercard and Magnacarta via NFC.
  ☆126Updated last year
• Blickfeldkurier / schlabber
  Archives Soup.io pages
  ☆15Updated 5 years ago
• barnslig / geheimvz
  Bist du schon drin?
  ☆42Updated 10 months ago
• Traewelldroid / traewelldroid
  Android app for @Traewelling public transport check-in service
  ☆120Updated last week
• freifunk / directory.api.freifunk.net
  directory of all freifunk communities
  ☆38Updated 3 weeks ago
• Jugendhackt / neulandeuphonie
  ☆20Updated 7 years 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
• juliuste / bahn.guru
  Deutsche Bahn ticket price calendar.
  ☆440Updated last month
• agdsn / sipa
  The Supreme Information Providing Application
  ☆13Updated last month
• Governikus / AusweisApp
  Der offizielle eID-Client des Bundes.
  ☆650Updated 3 weeks ago
• fsmi / odie-client
  odie-client is a Knockout.js frontend to odie-server
  ☆18Updated 2 years ago
• mswart / openmensa-parsers
  A collection of openmensa.org parsers with feed v2 generator
  ☆36Updated last year
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆522Updated 7 years ago