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
  ☆24Updated last year
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆360Updated 3 years 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 8 years ago
• tudace / tuda_latex_templates
  LaTeX Templates for TU Darmstadt
  ☆239Updated 2 months ago
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆170Updated last month
• TUfast-TUD / TUfast_TUD
  🚀 Browser Extension for higher productivity with TU Dresden online portals
  ☆50Updated 3 weeks ago
• MartinThoma / KIT-Musterloesungen
  Musterlösungen für Klausuraufgaben am KIT
  ☆50Updated 2 years ago
• fsr / Stoffkiste
  📦 Lernstoffsammlung der Informatik
  ☆73Updated 2 months ago
• UBA-PSI / psi-thesis-guide
  Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables
  ☆55Updated last year
• malteschmitz / latex-thesis
  LaTeX-Vorlage für Abschlussarbeiten. Angelehnt an die Vorgaben der Sektion MINT der Uni Lübeck.
  ☆37Updated 4 years ago
• pbrinkmeier / tichy-clicker
  Tichy-Klicker
  ☆30Updated 5 months ago
• SvenHarder / xcookybooky
  A LaTeX package for typesetting (potentially long) recipes.
  ☆40Updated 4 years ago
• Nachtpfoetchen / train-plushies
  collection of train plushies
  ☆19Updated 2 months ago
• rib4n / LineareAlgebra
  Lernmaterialien LA I/II
  ☆35Updated 8 years ago
• Stefanqn / Bewerbung
  Latex Bewerbungsvorlage
  ☆230Updated 2 months ago
• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 4 years ago
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆28Updated last week
• DeOldSax / iliasDownloaderTool
  synchronize, manage and download the files from your e-learning platform https://www.ilias.de/
  ☆49Updated 2 years ago
• sebinside / WissenschaftlichesSchreiben-Schnelleinstieg
  Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …
  ☆146Updated 2 years ago
• tud-cd / tudscr
  TUD-Script
  ☆116Updated last year
• Romern / syncMyMoodle
  Synchronization client for RWTH Moodle
  ☆78Updated 2 months ago
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆523Updated 8 years ago
• timjb / uni-spicker
  Summaries of my university courses (in German)
  ☆27Updated 5 years ago
• lenianiva / lean4-nix
  Nix overlay for Lean 4, and lake2nix
  ☆83Updated this week
• N0W0RK / TUM_GAD_Tests_SS21
  This is a repository to collect JUnit Tests for GAD exercises at TUM in SS21
  ☆31Updated 3 years ago
• danielauener / git-auf-deutsch
  Git auf deutsch
  ☆1,282Updated 4 months ago
• d-koppenhagen / latex-rechnung
  Eine LaTeX-Rechnungsvorlage.
  ☆155Updated 2 years ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• yliceee / tex2nix
  Generate texlive nix expressions for documents
  ☆98Updated last month
• mammuth / TUM.sexy
  A website providing links, redirects and tools related to the Technical University Munich
  ☆144Updated 2 years ago