karlstroetmann / Formal-Languages

Related projects: ⓘ

• karlstroetmann / Algorithms
  lecture notes for the algorithms class together with most of the programs
  ☆43Updated 3 weeks ago
• karlstroetmann / Artificial-Intelligence
  The lecture notes for my lecture on AI.
  ☆42Updated 5 months ago
• karlstroetmann / Logic
  Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispie…
  ☆32Updated 3 weeks ago
• micromata / webengineering-2017
  Source code, slides and miscellaneous stuff for the lecture Webengineering 2017 at the University of Kassel
  ☆18Updated 7 years ago
• offenesdresden / dvbpy
  🚋 Query Dresden's public transport system for current bus- and tramstop data in python
  ☆47Updated 10 months ago
• dlindner / vorlesung-se2-dhbw
  Vorlesungsunterlagen für Vorlesung Software-Engineering II an der DHBW Karlsruhe
  ☆87Updated 4 months ago
• marudor / bahn.expert
  https://bahn.expert
  ☆475Updated this week
• ascii-dresden / Coffee
  Alle unsere Heißgetränke
  ☆19Updated last year
• malteschmitz / latex-thesis
  LaTeX-Vorlage für Abschlussarbeiten. Angelehnt an die Vorgaben der Sektion MINT der Uni Lübeck.
  ☆35Updated 2 years ago
• okfde / offenegesetze.de
  ⚖️ Wir öffnen das Bundesgesetzblatt
  ☆84Updated last year
• emmericp / mensa-stats
  What's the best time for lunch in the new Mensa in Garching?
  ☆19Updated last year
• hpi-swa-teaching / WindowAcrobatics
  Window Management
  ☆7Updated 4 years ago
• Nervengift / kvvliveapi
  KVV live API bindings
  ☆63Updated 2 years ago
• informatiCup / informatiCup2020
  Pandemie!
  ☆20Updated last year
• moklick / kontext-browser-extension
  Browser extension that adds context to certain German politicians
  ☆77Updated 7 months ago
• sorachan / opencast-downloader
  Downloader for lecture videos hosted on OpenCast
  ☆19Updated 3 years ago
• dhbw-horb / latexVorlage
  LaTeX-Vorlage für Bachelorarbeiten o.ä.
  ☆108Updated 5 months ago
• kiliankoe / vvo
  🚏🚍 A collection of links and tools regarding the VVO/DVB network
  ☆86Updated last year
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆62Updated last month
• LucaVazz / DualisWatcher
  Watch changes to your Dualis-Account to avoid checking back manually every other day. **Not actively maintained - feel free to contribut…
  ☆16Updated last year
• jreichwald / DHBW_LaTeX_Template
  DISCONTINUED! A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim
  ☆13Updated 4 years ago
• Bennik2000 / DHBWStudentInformationApp
  The DHBW student app offers you the opportunity to view your schedule on your smartphone. You can also view the grades from Dualis direct…
  ☆46Updated 5 months ago
• HSZemi / mahlowat
  mahlowat ist die Implementierung eines Wahlpositionsvergleichswerkzeugs.
  ☆59Updated 3 months ago
• gi-ev / LNI
  A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)
  ☆38Updated this week
• codeformuenster / muensterhack
  Dokumentation der Projekte des Münsterhack
  ☆17Updated 11 months ago
• ard-data / 2020-rki-archive
  RKI-Corona-Daten-Archiv
  ☆48Updated 2 years ago
• digitalservicebund / steuerlotse
  This is the code repository of the Steuerlotse by DigitalService.
  ☆19Updated last year
• derphilipp / Flachwitze
  A list of german puns/dad jokes
  ☆276Updated 2 weeks ago
• FahrplanDatenGarten / pyhafas
  A python client for the HAFAS (HaCon Fahrplan Auskunfts System)
  ☆45Updated 2 months ago
• tech4germany / bam-inclusify
  INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.
  ☆12Updated 2 years ago