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 this week
• karlstroetmann / Algorithms
  lecture notes for the algorithms class together with most of the programs
  ☆43Updated 7 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…
  ☆36Updated last week
• mitsuhiko / flatex-pdf-download
  some code to toy with that can download flatex.at pdfs
  ☆50Updated 11 months ago
• dlindner / vorlesung-se2-dhbw
  Vorlesungsunterlagen für Vorlesung Software-Engineering II an der DHBW Karlsruhe
  ☆88Updated 10 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 2 weeks ago
• Stefanqn / Bewerbung
  Latex Bewerbungsvorlage
  ☆225Updated 6 months ago
• offenesdresden / dvbpy
  🚋 Query Dresden's public transport system for current bus- and tramstop data in python
  ☆51Updated last year
• OpenSlides / OpenSlides
  The digital motion and assembly system
  ☆528Updated last week
• okfde / offenegesetze.de
  ⚖️ Wir öffnen das Bundesgesetzblatt
  ☆88Updated 2 years ago
• kiliankoe / vvo
  🚏🚍 A collection of links and tools regarding the VVO/DVB network
  ☆93Updated 2 years ago
• Nervengift / kvvliveapi
  KVV live API bindings
  ☆63Updated 2 years ago
• stefreschke / Report-Template
  LaTeX Template for Practical Reports, Project Reports and Bachelor Thesis at the DHBW Mannheim, Faculty of Engineering
  ☆9Updated 5 years ago
• PanCakeConnaisseur / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆334Updated 2 years ago
• zerforschung / schnelltesttest.de
  ☆229Updated 2 years ago
• wahlbilanz / DeinWal.de
  Webseite zu dem DeinWal.de Projekt
  ☆64Updated 2 years ago
• sorachan / opencast-downloader
  Downloader for lecture videos hosted on OpenCast
  ☆20Updated 4 years ago
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆63Updated 3 months ago
• wdr-data / code4maus
  Grafische Programmierumgebung. Zum spielerischen Erlernen von Programmierkonzepten. Basiert auf Scratch vom MIT
  ☆119Updated 6 months 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 11 months ago
• heddendorp / section-app-client
  Frontend of the ESN section app
  ☆38Updated 5 months ago
• antlr / symtab
  Generic symbol table for lexically/statically scoped languages
  ☆51Updated 8 years ago
• moklick / kontext-browser-extension
  Browser extension that adds context to certain German politicians
  ☆77Updated last year
• openbikesensor / OpenBikeSensorFirmware
  Overtaking distance measurements for cyclists
  ☆115Updated 2 weeks ago
• dhbw-horb / latexVorlage
  LaTeX-Vorlage für Bachelorarbeiten o.ä.
  ☆111Updated last year
• 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
• ascii-dresden / Coffee
  Alle unsere Heißgetränke
  ☆19Updated 2 years ago
• FahrplanDatenGarten / pyhafas
  A python client for the HAFAS (HaCon Fahrplan Auskunfts System)
  ☆51Updated 2 months ago
• Neute / Vorrennung
  Ein Programm zur Beschleunigung von Sprachaufnahmen
  ☆12Updated 6 years ago
• emmericp / mensa-stats
  What's the best time for lunch in the new Mensa in Garching?
  ☆19Updated last year