Alternatives and similar repositories for Formal-Languages:

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

• karlstroetmann / Logic
  Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispie…
  ☆31Updated 6 months ago
• karlstroetmann / Artificial-Intelligence
  The lecture notes for my lecture on AI.
  ☆42Updated last week
• karlstroetmann / Algorithms
  lecture notes for the algorithms class together with most of the programs
  ☆42Updated 6 months ago
• micromata / webengineering-2017
  Source code, slides and miscellaneous stuff for the lecture Webengineering 2017 at the University of Kassel
  ☆18Updated 7 years ago
• st-tu-dresden / inloop
  [Deprecated] A simple web application to manage online programming assignments
  ☆29Updated last year
• okfde / offenegesetze.de
  ⚖️ Wir öffnen das Bundesgesetzblatt
  ☆88Updated 2 years ago
• GreenPassApp / greenpass-app
  ☆96Updated 2 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…
  ☆50Updated 10 months ago
• heddendorp / section-app-client
  Frontend of the ESN section app
  ☆38Updated 4 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)
  ☆41Updated 3 weeks ago
• nikeee / node-jodel-api
  Node.js Jodel API
  ☆32Updated 2 years ago
• malteschmitz / latex-thesis
  LaTeX-Vorlage für Abschlussarbeiten. Angelehnt an die Vorgaben der Sektion MINT der Uni Lübeck.
  ☆38Updated 3 years ago
• TobseF / impf-bot
  💉🤖 Bot for the German "ImpfterminService - 116117"
  ☆150Updated 3 years ago
• qbi / uni-skripte
  Mitschriften aus Vorlesungen (Mathematik/Informatik) an der Uni Jena
  ☆15Updated 3 years ago
• ruuda / hitsgame
  Create your own version of the game Hitster
  ☆35Updated 4 months 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 / dvbjs
  🚊 Query Dresden's public transport system (www.dvb.de) for current bus- and tramstop data using nodejs
  ☆49Updated this week
• demokratie-live / democracy-server
  The Server for the DEMOCRACY App
  ☆18Updated 3 years ago
• Nervengift / kvvliveapi
  KVV live API bindings
  ☆63Updated 2 years ago
• driquet / gwcd
  ☆21Updated 4 years ago
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• marudor / bahn.expert
  https://bahn.expert
  ☆532Updated last month
• demokratie-live / democracy-client
  DEMOCRACY App Client
  ☆143Updated 10 months ago
• DDP-Projekt / Kompilierer
  Der Kompilierer der Deutschen Programmiersprache
  ☆145Updated this week
• jdieg0 / coronavirus-dresden
  Collects official SARS-CoV-2 infection statistics published by the city of Dresden.
  ☆19Updated last year
• dhbw-horb / latexVorlage
  LaTeX-Vorlage für Bachelorarbeiten o.ä.
  ☆111Updated 11 months ago
• yshavit / antlr-denter
  Helper class for generating python-like INDENT/DEDENT tokens with antlr4.
  ☆89Updated last year
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆63Updated 2 months ago
• okfde / sehrgutachten
  Volltextsuche und Feeds für die Gutachten des Wissenschaftlichen Dienstes des Bundestags.
  ☆20Updated 2 years ago
• zerforschung / schnelltesttest.de
  ☆228Updated 2 years ago