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
• Romern / syncMyMoodle
  Synchronization client for RWTH Moodle
  ☆77Updated last month
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆347Updated 2 years ago
• tudace / tuda_latex_templates
  LaTeX Templates for TU Darmstadt
  ☆233Updated 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 7 years ago
• tud-cd / tudscr
  TUD-Script
  ☆110Updated 10 months ago
• fsr / Stoffkiste
  📦 Lernstoffsammlung der Informatik
  ☆69Updated this week
• timreibe / vaccipy
  Automatisierte Impfterminbuchung für www.impfterminservice.de
  ☆515Updated 3 years ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated 3 weeks ago
• pbrinkmeier / pp-tut
  Programmierparadigmen-Tutorium 2022WS
  ☆28Updated 2 years ago
• FliegendeWurst / KIT-ILIAS-downloader
  Downloader for https://ilias.studium.kit.edu/
  ☆49Updated 3 months ago
• marudor / bahn.expert
  https://bahn.expert
  ☆562Updated 5 months ago
• Governikus / AusweisApp
  Der offizielle eID-Client des Bundes.
  ☆604Updated 3 weeks ago
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆527Updated 7 years ago
• stefanw / bibbot
  BibBot is a browser extension that removes the paywall on German online news sites using your library account's access to press databases…
  ☆575Updated 2 weeks ago
• DeOldSax / iliasDownloaderTool
  synchronize, manage and download the files from your e-learning platform https://www.ilias.de/
  ☆49Updated 2 years ago
• MartinThoma / KIT-Musterloesungen
  Musterlösungen für Klausuraufgaben am KIT
  ☆51Updated 2 years ago
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆152Updated 2 weeks ago
• alfonsrv / impf-botpy
  Impf Bot.py 🐍⚡ – Automatisierung für den Corona ImpfterminService Bot
  ☆243Updated 4 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 …
  ☆139Updated 2 years ago
• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 3 years ago
• Digital-Media / HagenbergThesis
  Hagenberg LaTeX Thesis Template
  ☆210Updated this week
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆153Updated last week
• TUM-Dev / TUM.sexy
  A website providing links, redirects and tools related to the Technical University Munich
  ☆93Updated 2 weeks ago
• juliuste / bahn.guru
  Deutsche Bahn ticket price calendar.
  ☆425Updated last week
• rwthmoodle / Sync-my-L2P
  DOWNLOAD HERE: https://github.com/rwthmoodle/Sync-my-L2P/releases/latest
  ☆27Updated 2 years ago
• TUM-Dev / Campus-Android
  Development of the TUM Campus App for Android devices - for and from students at Technical University of Munich.
  ☆208Updated last year
• latextemplates / scientific-thesis-template
  LaTeX template for Master, Bachelor, Diploma, and Student Theses
  ☆368Updated 2 months ago
• grindsa / dkb-robo
  library to access the internet banking area of "Deutsche Kreditbank" to get account information and transactions
  ☆176Updated last week
• UBA-PSI / psi-thesis-guide
  Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables
  ☆53Updated 9 months ago