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 7 months ago
• fsr / Stoffkiste
  📦 Lernstoffsammlung der Informatik
  ☆69Updated 3 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
• PanCakeConnaisseur / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆333Updated 2 years ago
• juliuste / bahn.guru
  Deutsche Bahn ticket price calendar.
  ☆397Updated this week
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆520Updated 7 years ago
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆144Updated 3 weeks ago
• TUfast-TUD / TUfast_TUD
  Browser Extension for higher productivity with TU Dresden IT-Services 🚀
  ☆42Updated 2 weeks ago
• marudor / bahn.expert
  https://bahn.expert
  ☆532Updated last month
• 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…
  ☆531Updated 3 weeks ago
• tud-cd / tudscr
  TUD-Script
  ☆109Updated 6 months ago
• Traewelling / traewelling
  Free check-in service to log your public transit journeys
  ☆268Updated this week
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆14Updated last month
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆25Updated this week
• alfonsrv / impf-botpy
  Impf Bot.py 🐍⚡ – Automatisierung für den Corona ImpfterminService Bot
  ☆243Updated 3 years ago
• derphilipp / Flachwitze
  A list of german puns/dad jokes
  ☆286Updated last month
• dieparteidiepartei / afd-blocker-plugin
  AfD Blocker Browser Plugin
  ☆284Updated 2 years ago
• FliegendeWurst / KIT-ILIAS-downloader
  Downloader for https://ilias.studium.kit.edu/
  ☆48Updated 3 months ago
• public-transport / hafas-client
  JavaScript client for HAFAS public transport APIs.
  ☆288Updated 2 weeks ago
• offenesdresden / dvbpy
  🚋 Query Dresden's public transport system for current bus- and tramstop data in python
  ☆49Updated last year
• timreibe / vaccipy
  Automatisierte Impfterminbuchung für www.impfterminservice.de
  ☆515Updated 3 years ago
• vcp-kurhessen / Pfadiralala-IV
  Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen
  ☆36Updated 2 months ago
• ls1intum / Artemis
  Artemis - Interactive Learning with Automated Feedback
  ☆567Updated this week
• kiliankoe / arbeitszeitnachweis
  Arbeitszeitnachweis gem. Mindestlohngesetz
  ☆32Updated 3 years ago
• st-tu-dresden / inloop
  [Deprecated] A simple web application to manage online programming assignments
  ☆29Updated last year
• demokratie-live / bundestag.io
  API for the German Parliament (Bundestag)
  ☆39Updated 3 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
• kiliankoe / vvo
  🚏🚍 A collection of links and tools regarding the VVO/DVB network
  ☆93Updated 2 years ago
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated 4 months ago