karlstroetmann / Formal-Languages

Related projects ⓘ

Alternatives and complementary repositories for Formal-Languages

• karlstroetmann / Logic
  Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispie…
  ☆31Updated 2 months ago
• karlstroetmann / Algorithms
  lecture notes for the algorithms class together with most of the programs
  ☆42Updated 3 months ago
• karlstroetmann / Artificial-Intelligence
  The lecture notes for my lecture on AI.
  ☆42Updated 7 months ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆206Updated this week
• ascii-dresden / Coffee
  Alle unsere Heißgetränke
  ☆19Updated 2 years ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆30Updated 3 weeks ago
• offenesdresden / dvbpy
  🚋 Query Dresden's public transport system for current bus- and tramstop data in python
  ☆47Updated last year
• helfertool / helfertool
  Volunteer and staff management
  ☆62Updated 7 months ago
• dlindner / vorlesung-se2-dhbw
  Vorlesungsunterlagen für Vorlesung Software-Engineering II an der DHBW Karlsruhe
  ☆88Updated 6 months ago
• FahrplanDatenGarten / pyhafas
  A python client for the HAFAS (HaCon Fahrplan Auskunfts System)
  ☆47Updated 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
• rfdonnelly / crate-galaxy
  Crates.io visualization
  ☆9Updated 5 years ago
• Nervengift / kvvliveapi
  KVV live API bindings
  ☆63Updated 2 years ago
• DasUnicorn / BahnBingo
  Random Bingo Sheet for DB delays
  ☆15Updated last month
• micromata / webengineering-2017
  Source code, slides and miscellaneous stuff for the lecture Webengineering 2017 at the University of Kassel
  ☆18Updated 7 years ago
• ASSERT-KTH / spork
  AST-based structured merge tool for Java, fully Git compatible https://doi.org/10.1109/TSE.2022.3143766
  ☆54Updated this week
• DDP-Projekt / Kompilierer
  Der Kompilierer der Deutschen Programmiersprache
  ☆139Updated this week
• tech4germany / bam-inclusify
  INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.
  ☆12Updated 2 years ago
• ost-fh / Latex-Beamer-Theme
  Vorlage für Latex-Beamer im OST Corporate Design
  ☆16Updated 5 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 last month
• yasammez / nachricht
  A self-describing data interchange format
  ☆75Updated 2 years ago
• tarptaeya / Truck
  A dynamic object oriented programming language with a focus on simplicity
  ☆30Updated 4 years ago
• Sirius-A / sv-restaurant-zug-bot
  Telegram bot to retrieve the menu of the sv restaurant in zug (@FiveMoodsBot )
  ☆10Updated last year
• mzhang28 / gala
  Compiler for a language with Python-like syntax
  ☆11Updated 5 years ago
• kiliankoe / vvo
  🚏🚍 A collection of links and tools regarding the VVO/DVB network
  ☆88Updated last year
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆62Updated this week
• studentenportal / web
  🎓 Das HSR Studentenportal
  ☆46Updated 6 months ago
• juliuste / bahn.guru
  Deutsche Bahn ticket price calendar.
  ☆379Updated last week
• Georg-code / roeschti
  Rust programming, in Swissgerman
  ☆156Updated 3 months ago
• okfde / offeneregister.de
  OffeneRegister.de – Offene Daten für das Handelsregister
  ☆30Updated 2 years ago