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 last week
• karlstroetmann / Algorithms
  lecture notes for the algorithms class together with most of the programs
  ☆42Updated 10 months ago
• dlindner / vorlesung-se2-dhbw
  Vorlesungsunterlagen für Vorlesung Software-Engineering II an der DHBW Karlsruhe
  ☆90Updated last year
• dhbw-horb / latexVorlage
  LaTeX-Vorlage für Bachelorarbeiten o.ä.
  ☆112Updated last year
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆63Updated 6 months ago
• DDP-Projekt / Kompilierer
  Der Kompilierer der Deutschen Programmiersprache
  ☆157Updated last week
• public-transport / db-hafas
  JavaScript client for the Deutsche Bahn HAFAS API.
  ☆78Updated 5 months ago
• yshavit / antlr-denter
  Helper class for generating python-like INDENT/DEDENT tokens with antlr4.
  ☆90Updated 2 years ago
• danielauener / git-auf-deutsch
  Git auf deutsch
  ☆1,256Updated 4 months ago
• marudor / bahn.expert
  https://bahn.expert
  ☆558Updated 4 months ago
• Nervengift / kvvliveapi
  KVV live API bindings
  ☆63Updated 3 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…
  ☆52Updated last year
• mswart / openmensa-parsers
  A collection of openmensa.org parsers with feed v2 generator
  ☆36Updated last year
• micromata / webengineering-2017
  Source code, slides and miscellaneous stuff for the lecture Webengineering 2017 at the University of Kassel
  ☆18Updated 7 years ago
• Romern / syncMyMoodle
  Synchronization client for RWTH Moodle
  ☆76Updated 3 weeks ago
• Traewelling / line-colors
  This repository collects German public transport line colors.
  ☆43Updated 5 months ago
• MontiCore / monticore
  MontiCore is a language workbench for an efficient development of domain-specific languages.
  ☆88Updated last week
• public-transport / hafas-client
  JavaScript client for HAFAS public transport APIs.
  ☆305Updated 2 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆148Updated this week
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆26Updated this week
• vcp-kurhessen / Pfadiralala-IV
  Liederbuch der VCP (Verband Christlicher Pfadfinder*innen) Region Kurhessen
  ☆37Updated 6 months ago
• wdr-data / code4maus
  Grafische Programmierumgebung. Zum spielerischen Erlernen von Programmierkonzepten. Basiert auf Scratch vom MIT
  ☆119Updated 9 months ago
• Georg-code / roeschti
  Rust programming, in Swissgerman
  ☆175Updated 10 months ago
• dieliste / mensa
  Mensas erste nützliche Schlangen-Abmessungssoftware
  ☆29Updated 2 years ago
• traines-source / transport-network-animator
  SVG-based Tool to Animate Maps of Public Transport Networks
  ☆112Updated last year
• FahrplanDatenGarten / pyhafas
  A python client for the HAFAS (HaCon Fahrplan Auskunfts System)
  ☆54Updated 5 months ago
• mammuth / TUM.sexy
  A website providing links, redirects and tools related to the Technical University Munich
  ☆143Updated last year
• pretix / python-drafthorse
  Pure-python ZUGFeRD implementation
  ☆139Updated 3 weeks ago
• public-transport / hafas-rest-api
  Expose a HAFAS client via an HTTP REST API.
  ☆25Updated last year