Alternatives and similar repositories for FormaleSysteme

Users that are interested in FormaleSysteme are comparing it to the libraries listed below

• knowsys / TheoLog
  Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
  ☆23Updated 10 months ago
• fsr / Stoffkiste
  📦 Lernstoffsammlung der Informatik
  ☆69Updated 5 months ago
• bitkeks / theolog-ss2017
  Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthal…
  ☆18Updated 7 years ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆29Updated 6 months ago
• tud-cd / tudscr
  TUD-Script
  ☆108Updated 8 months ago
• TUfast-TUD / TUfast_TUD
  Browser Extension for higher productivity with TU Dresden IT-Services 🚀
  ☆43Updated 3 months ago
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆338Updated 2 years ago
• Romern / syncMyMoodle
  Synchronization client for RWTH Moodle
  ☆76Updated 3 months ago
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆17Updated last month
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆524Updated 7 years ago
• FliegendeWurst / KIT-ILIAS-downloader
  Downloader for https://ilias.studium.kit.edu/
  ☆49Updated last month
• derf / travelynx
  Traewelling-inspired journey logger with realtime data
  ☆147Updated this week
• agdsn / sipa
  The Supreme Information Providing Application
  ☆13Updated last month
• kiliankoe / arbeitszeitnachweis
  Arbeitszeitnachweis gem. Mindestlohngesetz
  ☆32Updated 4 years ago
• Fluepke / konnektor-patch
  Saving 400 million euro of public health care money from reckless vendors
  ☆395Updated 2 years ago
• MartinThoma / KIT-Musterloesungen
  Musterlösungen für Klausuraufgaben am KIT
  ☆51Updated 2 years ago
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆150Updated last week
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆63Updated 5 months ago
• KalkulierbaR / kalkulierbar
  Learning Framework for Logic Calculi
  ☆16Updated last week
• rib4n / LineareAlgebra
  Lernmaterialien LA I/II
  ☆34Updated 7 years ago
• mammuth / TUM.sexy
  A website providing links, redirects and tools related to the Technical University Munich
  ☆143Updated last year
• lino / serious-recipes
  Recipes
  ☆20Updated 4 years ago
• tud-fop / j-Algo
  j-Algo is an algorithm visualisation tool.
  ☆11Updated 3 years ago
• fsmi / odie-client
  odie-client is a Knockout.js frontend to odie-server
  ☆17Updated 2 years ago
• openmensa / openmensa
  Central hub for canteen information (meals, location ...)
  ☆78Updated this week
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆26Updated 2 weeks ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 6 months ago
• I-Al-Istannen / SimpleCodeTester
  A web application that checks code against a range of user submitted tests.
  ☆33Updated last year
• schildbach / public-transport-enabler
  Unleash public transport data in your Java project.
  ☆403Updated 3 months ago
• SvenHarder / xcookybooky
  A LaTeX package for typesetting (potentially long) recipes.
  ☆38Updated 3 years ago