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 last 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
• t-animal / covid-karte
  ☆75Updated last year
• kellerben / dudle
  Online event coordination and survey application
  ☆366Updated 11 months ago
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆180Updated this week
• SvenHarder / xcookybooky
  A LaTeX package for typesetting (potentially long) recipes.
  ☆40Updated 4 years ago
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆523Updated 8 years ago
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 3 years ago
• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 4 years ago
• Governikus / AusweisApp
  Der offizielle eID-Client des Bundes.
  ☆679Updated last week
• Jugendhackt / neulandeuphonie
  ☆20Updated 8 years ago
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆19Updated 2 months ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆30Updated 5 months ago
• marudor / bahn.expert
  https://bahn.expert
  ☆610Updated last year
• d-koppenhagen / latex-rechnung
  Eine LaTeX-Rechnungsvorlage.
  ☆155Updated 2 years ago
• schildbach / public-transport-enabler
  Unleash public transport data in your Java project.
  ☆429Updated last week
• pdfpc / latex-pdfpc
  A LaTeX companion for PDF Presenter Console (pdfpc)
  ☆24Updated 6 months ago
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆361Updated 3 years ago
• pbrinkmeier / pp-tut
  Programmierparadigmen-Tutorium 2022WS
  ☆28Updated 2 years ago
• jakobwenzel / MensaGuthaben
  This app allows you to read the current balance of cards manufactured by Intercard and Magnacarta via NFC.
  ☆127Updated last year
• juliuste / bahn.guru
  Deutsche Bahn ticket price calendar.
  ☆444Updated 2 weeks ago
• Traewelling / traewelling
  Free check-in service to log your public transit journeys
  ☆353Updated this week
• rbaron / dict.cc.py
  📘 Unofficial command line client for dict.cc
  ☆161Updated 4 years ago
• okfde / fragdenstaat_de
  Froide Theme for fragdenstaat.de
  ☆147Updated last week
• fsmi / odie-client
  odie-client is a Knockout.js frontend to odie-server
  ☆18Updated 2 years ago
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆73Updated 2 weeks ago
• openmensa / openmensa
  Central hub for canteen information (meals, location ...)
  ☆81Updated this week
• freifunk / directory.api.freifunk.net
  directory of all freifunk communities
  ☆38Updated last month
• FliegendeWurst / KIT-ILIAS-downloader
  Downloader for https://ilias.studium.kit.edu/
  ☆49Updated this week
• Stefanqn / Bewerbung
  Latex Bewerbungsvorlage
  ☆230Updated 3 months ago