Alternatives and similar repositories for FormaleSysteme

Users that are interested in FormaleSysteme are comparing it to the libraries listed below

• knowsys / TheoLog
  Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
  ☆24Updated 11 months ago
• fsr / Stoffkiste
  📦 Lernstoffsammlung der Informatik
  ☆69Updated last month
• 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
• tud-cd / tudscr
  TUD-Script
  ☆109Updated 9 months ago
• TUfast-TUD / TUfast_TUD
  Browser Extension for higher productivity with TU Dresden IT-Services 🚀
  ☆43Updated 2 weeks ago
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆345Updated 2 years ago
• Romern / syncMyMoodle
  Synchronization client for RWTH Moodle
  ☆76Updated 3 weeks ago
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆17Updated 2 months ago
• timjb / uni-spicker
  Summaries of my university courses (in German)
  ☆26Updated 5 years ago
• Traewelling / traewelling
  Free check-in service to log your public transit journeys
  ☆307Updated this week
• tudace / tuda_latex_templates
  LaTeX Templates for TU Darmstadt
  ☆231Updated last month
• mammuth / TUM.sexy
  A website providing links, redirects and tools related to the Technical University Munich
  ☆143Updated last year
• st-tu-dresden / inloop
  [Deprecated] A simple web application to manage online programming assignments
  ☆28Updated last year
• stustanet / wahlfang
  Wahl im Netz
  ☆22Updated last year
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆151Updated 3 weeks ago
• dieliste / mensa
  Mensas erste nützliche Schlangen-Abmessungssoftware
  ☆29Updated 2 years ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated this week
• TUM-Dev / CalendarProxy
  Proxy for the TUM iCal export to remove clutter
  ☆39Updated last month
• MartinThoma / KIT-Musterloesungen
  Musterlösungen für Klausuraufgaben am KIT
  ☆51Updated 2 years ago
• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 3 years ago
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆150Updated this week
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆26Updated this week
• marudor / bahn.expert
  https://bahn.expert
  ☆558Updated 4 months ago
• MacLemon / CongressChecklist
  A list of things to do, to pack and tips on attending a congress, especially Chaos Communication Congress.
  ☆448Updated last month
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆63Updated 6 months ago
• KalkulierbaR / kalkulierbar
  Learning Framework for Logic Calculi
  ☆16Updated last week
• vcp-kurhessen / Pfadiralala-IV
  Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen
  ☆37Updated 6 months ago
• alfonsrv / impf-botpy
  Impf Bot.py 🐍⚡ – Automatisierung für den Corona ImpfterminService Bot
  ☆243Updated 4 years ago
• RobertKrajewski / Sync-my-L2P
  DOWNLOAD HERE: https://github.com/RobertKrajewski/Sync-my-L2P/releases/latest
  ☆82Updated 4 months ago
• I-Al-Istannen / SimpleCodeTester
  A web application that checks code against a range of user submitted tests.
  ☆34Updated last year