Alternatives and similar repositories for Logic:

Users that are interested in Logic 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 / Artificial-Intelligence
  The lecture notes for my lecture on AI.
  ☆42Updated this week
• karlstroetmann / Formal-Languages
  Lecture notes and examples for my class on formal languages and compilers.
  ☆29Updated last month
• pfisterer / DHBW_LaTeX_Template
  A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim
  ☆92Updated 8 months ago
• marudor / bahn.expert
  https://bahn.expert
  ☆528Updated this week
• stefreschke / Report-Template
  LaTeX Template for Practical Reports, Project Reports and Bachelor Thesis at the DHBW Mannheim, Faculty of Engineering
  ☆9Updated 5 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 9 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
• dhbw-horb / latexVorlage
  LaTeX-Vorlage für Bachelorarbeiten o.ä.
  ☆112Updated 10 months ago
• sebinside / WissenschaftlichesSchreiben-Schnelleinstieg
  Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …
  ☆136Updated last year
• jreichwald / DHBW_LaTeX_Template
  DISCONTINUED! A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim
  ☆13Updated 4 years ago
• DeOldSax / iliasDownloaderTool
  synchronize, manage and download the files from your e-learning platform https://www.ilias.de/
  ☆49Updated last year
• TheMorpheus407 / Tutorials
  unveränderter Code der Tuts.
  ☆189Updated 2 years ago
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆146Updated 2 months ago
• traines-source / time-space-train-planner
  Browser-based Tool to Visualize Public Transport Journeys
  ☆62Updated last month
• StefanFW / dhbw-heidenheim-latex-template
  DHBW Heidenheim - LaTeX Template
  ☆29Updated 10 months ago
• codeoverflow-org / chatoverflow-api
  ☆11Updated 4 years ago
• SchoolUtils / WebUntis
  JavaScript WebUntis API Client
  ☆173Updated 9 months ago
• I-Al-Istannen / SimpleCodeTester
  A web application that checks code against a range of user submitted tests.
  ☆34Updated 10 months ago
• pichsenmeister / WienerScript
  ☆602Updated 4 years ago
• robert-koch-institut / COVID-19-Impfungen_in_Deutschland
  Die COVID-19-Impfung kann einen Wendepunkt in der Kontrolle der COVID-19-Pandemie darstellen und erfährt daher hohes Maß an öffentlicher …
  ☆165Updated last week
• fsr / Stoffkiste
  📦 Lernstoffsammlung der Informatik
  ☆68Updated 2 months ago
• MoriPastaPizza / GermanToOgreTranslator
  ☆14Updated 3 years ago
• Spydr06 / kvv-departure-board
  A real-time train departure board built upon the KVV (Karlsruher Verkehrs Verbund) API
  ☆10Updated 8 months ago
• TUM-Dev / CalendarProxy
  Proxy for the TUM iCal export to remove clutter
  ☆38Updated last month
• robert-koch-institut / SARS-CoV-2-Nowcasting_und_-R-Schaetzung
  Das Nowcasting erstellt eine Schätzung des Verlaufs der Anzahl von bereits erfolgten SARS-CoV-2-Erkrankungsfällen in Deutschland unter Be…
  ☆74Updated last month
• FliegendeWurst / KIT-ILIAS-downloader
  Downloader for https://ilias.studium.kit.edu/
  ☆47Updated 2 months ago
• PanCakeConnaisseur / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆327Updated 2 years ago
• Georg-code / roeschti
  Rust programming, in Swissgerman
  ☆159Updated 5 months ago
• DDP-Projekt / Kompilierer
  Der Kompilierer der Deutschen Programmiersprache
  ☆140Updated this week