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 last year
• fsr / Stoffkiste
  📦 Lernstoffsammlung der Informatik
  ☆73Updated 2 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 8 years ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆30Updated 5 months ago
• timjb / uni-spicker
  Summaries of my university courses (in German)
  ☆27Updated 5 years ago
• Romern / syncMyMoodle
  Synchronization client for RWTH Moodle
  ☆79Updated 2 months ago
• TUfast-TUD / TUfast_TUD
  🚀 Browser Extension for higher productivity with TU Dresden online portals
  ☆50Updated last month
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆170Updated last month
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆28Updated this week
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆361Updated 3 years ago
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆19Updated 2 months ago
• tudace / tuda_latex_templates
  LaTeX Templates for TU Darmstadt
  ☆239Updated 2 months ago
• I-Al-Istannen / SimpleCodeTester
  A web application that checks code against a range of user submitted tests.
  ☆34Updated last year
• tud-cd / tudscr
  TUD-Script
  ☆116Updated last year
• freundTech / kit-slides-typst
  A Karlsruhe Institute of Technology Slides Theme for Typst. This is only a mirror.
  ☆19Updated last year
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆523Updated 8 years ago
• juliuste / bahn.guru
  Deutsche Bahn ticket price calendar.
  ☆444Updated 2 weeks ago
• Fluepke / konnektor-patch
  Saving 400 million euro of public health care money from reckless vendors
  ☆395Updated 3 years ago
• Stefanqn / Bewerbung
  Latex Bewerbungsvorlage
  ☆230Updated 3 months ago
• marudor / bahn.expert
  https://bahn.expert
  ☆610Updated last year
• vcp-kurhessen / Pfadiralala-IV
  Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen
  ☆37Updated 6 months ago
• sebinside / WissenschaftlichesSchreiben-Schnelleinstieg
  Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …
  ☆146Updated 2 years ago
• FliegendeWurst / KIT-ILIAS-downloader
  Downloader for https://ilias.studium.kit.edu/
  ☆49Updated this week
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆179Updated last week
• SvenHarder / xcookybooky
  A LaTeX package for typesetting (potentially long) recipes.
  ☆40Updated 4 years ago
• tucanlib / tucan-tools
  Nomen est omen. It exports tucan grades/vv etc.
  ☆26Updated last year
• MartinThoma / KIT-Musterloesungen
  Musterlösungen für Klausuraufgaben am KIT
  ☆50Updated 2 years ago
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆73Updated 2 weeks ago
• mgttlinger / biblatex-lncs
  BiBLaTeX style for Springer Lecture Notes in Computer Science
  ☆18Updated 2 years ago
• pkern / kitcard-reader
  An app to read the purse of the student's card of universities in Karlsruhe and Pforzheim (NOTE: This app no longer works with the curren…
  ☆11Updated 7 years ago