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 9 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
• stustanet / wahlfang
  Wahl im Netz
  ☆21Updated last year
• tudace / tuda_latex_templates
  LaTeX Templates for TU Darmstadt
  ☆218Updated this week
• tud-fop / j-Algo
  j-Algo is an algorithm visualisation tool.
  ☆11Updated 2 years ago
• tud-cd / tudscr
  TUD-Script
  ☆107Updated 4 months ago
• KreerC / a11ybuddy
  A platform for documenting, testing and sharing about digital accessibility for developers and users alike. Let's get together!
  ☆28Updated 2 months ago
• offenesdresden / dvbpy
  🚋 Query Dresden's public transport system for current bus- and tramstop data in python
  ☆49Updated last year
• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 3 years ago
• barnslig / geheimvz
  Bist du schon drin?
  ☆40Updated 2 weeks ago
• Romern / syncMyMoodle
  Synchronization client for RWTH Moodle
  ☆74Updated this week
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆14Updated last month
• RobertKrajewski / Sync-my-L2P
  DOWNLOAD HERE: https://github.com/RobertKrajewski/Sync-my-L2P/releases/latest
  ☆82Updated 4 years ago
• lino / serious-recipes
  Recipes
  ☆20Updated 4 years ago
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆63Updated 2 years ago
• FliegendeWurst / KIT-ILIAS-downloader
  Downloader for https://ilias.studium.kit.edu/
  ☆47Updated last month
• pajowu / minkorrekt-experimente
  Eine Sammlung der Experimente aus dem "Methodisch Inkorrekt"-Podcast
  ☆14Updated 6 years ago
• muesli-hd / muesli
  Mathematisches Übungsgruppen- und Scheinlisten-Interface
  ☆26Updated last year
• raptor2101 / Mediathek
  ☆45Updated 4 years ago
• Stefanqn / Bewerbung
  Latex Bewerbungsvorlage
  ☆224Updated 3 months ago
• pbrinkmeier / pp-tut
  Programmierparadigmen-Tutorium 2022WS
  ☆30Updated last year
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆137Updated this week
• SvenHarder / xcookybooky
  A LaTeX package for typesetting (potentially long) recipes.
  ☆37Updated 3 years ago
• t-animal / covid-karte
  ☆78Updated 7 months ago
• dieparteidiepartei / afd-blocker-plugin
  AfD Blocker Browser Plugin
  ☆283Updated 2 years ago
• PanCakeConnaisseur / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆326Updated 2 years ago
• sebinside / WissenschaftlichesSchreiben-Schnelleinstieg
  Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …
  ☆136Updated last year
• agdsn / sipa
  The Supreme Information Providing Application
  ☆13Updated this week
• fsr / Stoffkiste
  📦 Lernstoffsammlung der Informatik
  ☆68Updated last month
• felsenhower / stine_calendar_bot
  Automatic calendar download bot for STiNE
  ☆10Updated 10 months ago