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 8 months ago
• fsr / Stoffkiste
  📦 Lernstoffsammlung der Informatik
  ☆69Updated 4 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
  ☆108Updated 7 months ago
• TUfast-TUD / TUfast_TUD
  Browser Extension for higher productivity with TU Dresden IT-Services 🚀
  ☆43Updated last month
• PanCakeConnaisseur / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆334Updated 2 years ago
• kiliankoe / arbeitszeitnachweis
  Arbeitszeitnachweis gem. Mindestlohngesetz
  ☆32Updated 3 years ago
• timjb / uni-spicker
  Summaries of my university courses (in German)
  ☆26Updated 4 years ago
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆63Updated 3 months ago
• dhbw-horb / latexVorlage
  LaTeX-Vorlage für Bachelorarbeiten o.ä.
  ☆111Updated last year
• ascii-dresden / Coffee
  Alle unsere Heißgetränke
  ☆19Updated 2 years ago
• malteschmitz / latex-thesis
  LaTeX-Vorlage für Abschlussarbeiten. Angelehnt an die Vorgaben der Sektion MINT der Uni Lübeck.
  ☆38Updated 3 years ago
• UBA-PSI / psi-thesis-guide
  Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables
  ☆52Updated 6 months ago
• marudor / bahn.expert
  https://bahn.expert
  ☆539Updated 2 months ago
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆521Updated 7 years ago
• offenesdresden / dvbpy
  🚋 Query Dresden's public transport system for current bus- and tramstop data in python
  ☆51Updated last year
• stustanet / wahlfang
  Wahl im Netz
  ☆21Updated last year
• FliegendeWurst / KIT-ILIAS-downloader
  Downloader for https://ilias.studium.kit.edu/
  ☆48Updated 3 weeks ago
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆146Updated this week
• st-tu-dresden / inloop
  [Deprecated] A simple web application to manage online programming assignments
  ☆29Updated last year
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆15Updated last week
• openmensa / openmensa
  Central hub for canteen information (meals, location ...)
  ☆78Updated this week
• mswart / openmensa-parsers
  A collection of openmensa.org parsers with feed v2 generator
  ☆36Updated last year
• DeOldSax / iliasDownloaderTool
  synchronize, manage and download the files from your e-learning platform https://www.ilias.de/
  ☆49Updated last year
• kiliankoe / vvo
  🚏🚍 A collection of links and tools regarding the VVO/DVB network
  ☆93Updated 2 years ago
• vcp-kurhessen / Pfadiralala-IV
  Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen
  ☆37Updated 3 months ago
• tud-fop / j-Algo
  j-Algo is an algorithm visualisation tool.
  ☆11Updated 3 years ago
• Digitaler-Impfnachweis / covpass-ios
  The official CovPass(-Check) iOS apps
  ☆94Updated last year
• grindsa / dkb-robo
  library to access the internet banking area of "Deutsche Kreditbank" to get account information and transactions
  ☆164Updated last week
• Traewelling / traewelling
  Free check-in service to log your public transit journeys
  ☆278Updated this week