Alternatives and similar repositories for Logic

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

• 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…
  ☆53Updated last year
• karlstroetmann / Artificial-Intelligence
  The lecture notes for my lecture on AI.
  ☆43Updated 3 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 …
  ☆139Updated 2 years ago
• TUM-Dev / TUM.sexy
  A website providing links, redirects and tools related to the Technical University Munich
  ☆93Updated 2 weeks ago
• DDP-Projekt / Kompilierer
  Der Kompilierer der Deutschen Programmiersprache
  ☆158Updated last week
• prepas-mp2i / prepas-mp2i.fr
  Présentation des classes préparatoires MP2I et MPI
  ☆49Updated this week
• Valentin-Metz / tum_video_scraper
  Download and jumpcut lecture videos from https://live.rbg.tum.de/ and https://tum.cloud.panopto.eu/
  ☆74Updated last month
• marudor / bahn.expert
  https://bahn.expert
  ☆562Updated 5 months ago
• danielauener / git-auf-deutsch
  Git auf deutsch
  ☆1,258Updated 4 months ago
• htwr-aachen / htwr-aachen.de
  Ein fake der Informatik Seite mit dummem und hilfreichem Zeug
  ☆72Updated this week
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆152Updated 2 weeks ago
• glassus / terminale_nsi
  ☆59Updated 3 weeks ago
• mangei / tissquickregistrationscript
  TISS Quick Registration Script
  ☆132Updated last year
• TUM-Dev / CalendarProxy
  Proxy for the TUM iCal export to remove clutter
  ☆39Updated last month
• LadnerJonas / PGdP-Tests-WS21-22
  PGdP-Tests-WS21/22 is a student-created repository used to share code tests.
  ☆50Updated 3 years ago
• C0D3D3V / Moodle-DL
  Moodle-DL downloads course content fast from Moodle (eg. lecture pdfs)
  ☆503Updated 8 months ago
• dieliste / mensa
  Mensas erste nützliche Schlangen-Abmessungssoftware
  ☆29Updated 2 years ago
• prepas-mp2i / mp2i-discord-bot
  Bot Discord du serveur Prépas MP2I
  ☆11Updated 2 months ago
• mondbaron / mvg
  An unofficial interface to timetable information of the Münchner Verkehrsgesellschaft (MVG).
  ☆30Updated 5 months ago
• phawdk / studydrive-download
  A Chrome and Firefox Extension that enables free downloads on studydrive with the option to also include all comments in the PDF. As a si…
  ☆104Updated this week
• j0n4sk4pp4 / FLaAL
  Ein Projekt zur Erstellung eines LaTeX-Paketes, welches eine einfache Handhabung zur Erstellung von Automaten für Formale Sprachen mitbri…
  ☆11Updated 5 years ago
• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆44Updated last year
• DeOldSax / iliasDownloaderTool
  synchronize, manage and download the files from your e-learning platform https://www.ilias.de/
  ☆49Updated 2 years ago
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆347Updated 2 years ago
• TUM-Dev / Campus-Android
  Development of the TUM Campus App for Android devices - for and from students at Technical University of Munich.
  ☆208Updated last year
• pfisterer / DHBW_LaTeX_Template
  A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim
  ☆94Updated last month
• dhbw-horb / latexVorlage
  LaTeX-Vorlage für Bachelorarbeiten o.ä.
  ☆113Updated last year
• u-fischer / chessboard
  ☆18Updated 8 months ago
• 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 3 months ago
• betaveros / advent-of-code-golf-2020
  doing the same thing over and over and expecting the same results
  ☆41Updated 4 years ago