Alternatives and similar repositories for Formal-Languages

Users that are interested in Formal-Languages are comparing it to the libraries listed below

• karlstroetmann / Artificial-Intelligence
  The lecture notes for my lecture on AI.
  ☆43Updated 2 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…
  ☆45Updated this week
• karlstroetmann / Algorithms
  lecture notes for the algorithms class together with most of the programs
  ☆42Updated 9 months ago
• offenesdresden / dvbpy
  🚋 Query Dresden's public transport system for current bus- and tramstop data in python
  ☆51Updated last year
• dhbw-horb / latexVorlage
  LaTeX-Vorlage für Bachelorarbeiten o.ä.
  ☆112Updated last year
• sorachan / opencast-downloader
  Downloader for lecture videos hosted on OpenCast
  ☆20Updated 4 years ago
• micromata / webengineering-2017
  Source code, slides and miscellaneous stuff for the lecture Webengineering 2017 at the University of Kassel
  ☆18Updated 7 years ago
• pbock / ticket-parser
  Parse the Aztec code in Deutsche Bahn's train tickets
  ☆105Updated 5 years ago
• 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
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆63Updated 5 months ago
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• st-tu-dresden / inloop
  [Deprecated] A simple web application to manage online programming assignments
  ☆28Updated last year
• dlindner / vorlesung-se2-dhbw
  Vorlesungsunterlagen für Vorlesung Software-Engineering II an der DHBW Karlsruhe
  ☆90Updated last year
• Stefanqn / Bewerbung
  Latex Bewerbungsvorlage
  ☆223Updated 8 months ago
• ascii-dresden / Coffee
  Alle unsere Heißgetränke
  ☆19Updated 2 years ago
• marudor / bahn.expert
  https://bahn.expert
  ☆555Updated 4 months ago
• zerforschung / schnelltesttest.de
  ☆228Updated 2 years ago
• FahrplanDatenGarten / pyhafas
  A python client for the HAFAS (HaCon Fahrplan Auskunfts System)
  ☆54Updated 4 months ago
• public-transport / db-hafas
  JavaScript client for the Deutsche Bahn HAFAS API.
  ☆78Updated 4 months ago
• formularium / formularium
  Formularium is a FOSS, privacy-first, and user-friendly toolkit for municipalities to support them in making their public services availa…
  ☆99Updated 3 years ago
• digitalservicebund / steuerlotse
  This is the code repository of the Steuerlotse by DigitalService.
  ☆19Updated 2 years ago
• sourcegrade / jagr
  Java AutoGrader, Implemented in Kotlin
  ☆27Updated last week
• fesch / Structorizer.Desktop
  Structorizer is a little tool which you can use to create Nassi-Schneiderman Diagrams (NSD).
  ☆68Updated 3 months ago
• juliuste / bahn.guru
  Deutsche Bahn ticket price calendar.
  ☆420Updated this week
• public-transport / hafas-client
  JavaScript client for HAFAS public transport APIs.
  ☆302Updated last month
• 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…
  ☆52Updated last year
• micb25 / dka
  Statistische Analyse und Visualisierung der täglichen Diagnoseschlüssel der deutschen COVID-19 Tracing-App (Corona-Warn-App).
  ☆91Updated 2 years ago
• TeXhackse / LaTeX-basics
  Sammlung einiger einfacher dokumentierter Anwendungsbeispiele
  ☆14Updated last year
• derf / db-fakedisplay
  App/Infoscreen for Railway Departures in Germany
  ☆74Updated 2 weeks ago
• tud-cd / tudscr
  TUD-Script
  ☆108Updated 9 months ago