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
  ☆23Updated 9 months ago
• fsr / Stoffkiste
  📦 Lernstoffsammlung der Informatik
  ☆69Updated 5 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
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated 5 months ago
• tud-cd / tudscr
  TUD-Script
  ☆108Updated 7 months ago
• FliegendeWurst / KIT-ILIAS-downloader
  Downloader for https://ilias.studium.kit.edu/
  ☆49Updated 2 weeks ago
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆26Updated this week
• marudor / bahn.expert
  https://bahn.expert
  ☆543Updated 2 months ago
• rib4n / LineareAlgebra
  Lernmaterialien LA I/II
  ☆34Updated 7 years ago
• dhbw-horb / latexVorlage
  LaTeX-Vorlage für Bachelorarbeiten o.ä.
  ☆111Updated last year
• TUM-Dev / CalendarProxy
  Proxy for the TUM iCal export to remove clutter
  ☆39Updated last week
• PanCakeConnaisseur / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆336Updated 2 years ago
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆148Updated this week
• TUfast-TUD / TUfast_TUD
  Browser Extension for higher productivity with TU Dresden IT-Services 🚀
  ☆43Updated 2 months ago
• mammuth / TUM.sexy
  A website providing links, redirects and tools related to the Technical University Munich
  ☆143Updated last year
• kiliankoe / arbeitszeitnachweis
  Arbeitszeitnachweis gem. Mindestlohngesetz
  ☆32Updated 3 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
• pbrinkmeier / pp-tut
  Programmierparadigmen-Tutorium 2022WS
  ☆28Updated 2 years ago
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆17Updated 2 weeks ago
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆146Updated this week
• UBA-PSI / psi-thesis-guide
  Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables
  ☆53Updated 7 months ago
• vcp-kurhessen / Pfadiralala-IV
  Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen
  ☆37Updated 4 months ago
• MartinThoma / KIT-Musterloesungen
  Musterlösungen für Klausuraufgaben am KIT
  ☆51Updated 2 years ago
• I-Al-Istannen / SimpleCodeTester
  A web application that checks code against a range of user submitted tests.
  ☆33Updated last year
• d-koppenhagen / latex-rechnung
  Eine LaTeX-Rechnungsvorlage.
  ☆151Updated 2 years ago
• timreibe / vaccipy
  Automatisierte Impfterminbuchung für www.impfterminservice.de
  ☆514Updated 3 years ago
• Fluepke / konnektor-patch
  Saving 400 million euro of public health care money from reckless vendors
  ☆395Updated 2 years ago
• omareldeeb / tum-moodle-downloader
  A python-built web crawler to automate file downloads off of https://www.moodle.tum.de/
  ☆30Updated last year
• bundesAPI / nina-api
  Erhalten Sie wichtige Warnmeldungen des Bevölkerungsschutzes für Gefahrenlagen wie zum Beispiel Gefahrstoffausbreitung oder Unwetter per …
  ☆82Updated last year
• kiliankoe / vvo
  🚏🚍 A collection of links and tools regarding the VVO/DVB network
  ☆93Updated 2 years ago