Alternatives and similar repositories for Formal-Languages:

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

• karlstroetmann / Algorithms
  lecture notes for the algorithms class together with most of the programs
  ☆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…
  ☆31Updated 5 months ago
• karlstroetmann / Artificial-Intelligence
  The lecture notes for my lecture on AI.
  ☆42Updated this week
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆62Updated 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…
  ☆50Updated 9 months ago
• hpi-swa-teaching / WindowAcrobatics
  Window Management
  ☆7Updated 4 years ago
• okfde / offenegesetze.de
  ⚖️ Wir öffnen das Bundesgesetzblatt
  ☆87Updated last year
• Nervengift / kvvliveapi
  KVV live API bindings
  ☆63Updated 2 years ago
• rfdonnelly / crate-galaxy
  Crates.io visualization
  ☆9Updated 6 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
• dbsystel / Bahn-API
  ☆31Updated last year
• ascii-dresden / Coffee
  Alle unsere Heißgetränke
  ☆19Updated 2 years ago
• prologin / camisole
  ☆69Updated last year
• FahrplanDatenGarten / pyhafas
  A python client for the HAFAS (HaCon Fahrplan Auskunfts System)
  ☆50Updated last week
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆211Updated 2 months ago
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆63Updated 2 years ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 8 months ago
• Sirius-A / sv-restaurant-zug-bot
  Telegram bot to retrieve the menu of the sv restaurant in zug (@FiveMoodsBot )
  ☆10Updated last year
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated 3 months ago
• crev-dev / crev-proofs
  Crev proof repository
  ☆13Updated 6 months ago
• tech4germany / bam-inclusify
  INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.
  ☆12Updated 2 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
• offenesdresden / dvbpy
  🚋 Query Dresden's public transport system for current bus- and tramstop data in python
  ☆49Updated last year
• progval / rust-xml-schema
  [WIP] (Self-generating) XML parser generator based on XML schemas.
  ☆28Updated 5 years ago
• mzhang28 / gala
  Compiler for a language with Python-like syntax
  ☆11Updated 6 years ago
• e-valuation / EvaP
  a university course evaluation system written in Python using Django
  ☆102Updated this week
• jenner / LstGen
  Code-Generator für die Lohnsteuerberechnung aus PAP XML
  ☆52Updated last month
• TobseF / impf-bot
  💉🤖 Bot for the German "ImpfterminService - 116117"
  ☆151Updated 3 years ago
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆25Updated this week
• Labdoo / Labdoo-2.0
  Labdoo's main source code
  ☆12Updated last year