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 10 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
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• tud-cd / tudscr
  TUD-Script
  ☆110Updated 5 months ago
• KITPraktomatTeam / Praktomat
  quality control for programming assignments
  ☆46Updated last year
• kellerben / dudle
  Online event coordination and survey application
  ☆345Updated 11 months ago
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆14Updated last month
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆25Updated last week
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆63Updated 2 months ago
• t-animal / covid-karte
  ☆77Updated 8 months ago
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆144Updated last week
• fsr / Stoffkiste
  📦 Lernstoffsammlung der Informatik
  ☆69Updated 2 months ago
• tud-fop / j-Algo
  j-Algo is an algorithm visualisation tool.
  ☆11Updated 3 years ago
• mwarning / chaos-sticker-collection
  A collection of chaos event / nerd culture related stickers.
  ☆213Updated last month
• barnslig / geheimvz
  Bist du schon drin?
  ☆41Updated last month
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆519Updated 7 years ago
• c3subtitles / L2S2
  Lecture Live Subtitles System (L2S2)
  ☆20Updated 6 years ago
• neo-layout / neo-layout
  Repository-Mirror für das Neo-Layout. Das offizielle Repo ist hier zu finden:
  ☆89Updated 2 years ago
• PanCakeConnaisseur / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆331Updated 2 years ago
• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 3 years ago
• marudor / bahn.expert
  https://bahn.expert
  ☆531Updated 2 weeks ago
• jakobwenzel / MensaGuthaben
  This app allows you to read the current balance of cards manufactured by Intercard and Magnacarta via NFC.
  ☆117Updated 7 months ago
• dieparteidiepartei / afd-blocker-plugin
  AfD Blocker Browser Plugin
  ☆283Updated 2 years ago
• drcicero / beautiful-tucan
  Plan your week for the next semester.
  ☆15Updated 11 months ago
• Traewelldroid / traewelldroid
  Android app for @Traewelling public transport check-in service
  ☆85Updated 3 weeks ago
• vcp-kurhessen / Pfadiralala-IV
  Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen
  ☆36Updated 2 months ago
• juliuste / bahn.guru
  Deutsche Bahn ticket price calendar.
  ☆395Updated last week
• fsmi / odie-client
  odie-client is a Knockout.js frontend to odie-server
  ☆17Updated last year
• lino / serious-recipes
  Recipes
  ☆20Updated 4 years ago
• adiehl / hdgdldsgvo
  DSGVO Generator
  ☆38Updated 2 years ago