Alternatives and similar repositories for Logic

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

• karlstroetmann / Artificial-Intelligence
  The lecture notes for my lecture on AI.
  ☆43Updated 4 months ago
• marudor / bahn.expert
  https://bahn.expert
  ☆569Updated 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…
  ☆53Updated last year
• danielauener / git-auf-deutsch
  Git auf deutsch
  ☆1,260Updated 5 months ago
• marlon360 / rki-covid-api
  🦠🇩🇪📈 An API for the spread of covid-19 in Germany. Data from Robert-Koch-Institut.
  ☆248Updated 3 weeks ago
• DDP-Projekt / Kompilierer
  Der Kompilierer der Deutschen Programmiersprache
  ☆159Updated last week
• glassus / terminale_nsi
  ☆59Updated last month
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆529Updated 7 years ago
• TUM-Dev / CalendarProxy
  Proxy for the TUM iCal export to remove clutter
  ☆39Updated 2 months ago
• andygrunwald / FOM-LaTeX-Template
  A LaTeX template for term paper, bachelor or master thesis for "FOM University of Applied Sciences"
  ☆199Updated last week
• pfisterer / DHBW_LaTeX_Template
  A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim
  ☆94Updated 2 months ago
• TUM-Dev / TUM.sexy
  A website providing links, redirects and tools related to the Technical University Munich
  ☆93Updated last week
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆347Updated 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 …
  ☆141Updated 2 years ago
• ba-dresden / ba-latex-template
  A LaTeX template, which tries to implement the BA Dresden Styleguide
  ☆23Updated 2 months ago
• mediathekview / MediathekView
  Das Programm MediathekView durchsucht die Online-Mediatheken verschiedener Sender
  ☆929Updated this week
• Valentin-Metz / tum_video_scraper
  Download and jumpcut lecture videos from https://live.rbg.tum.de/ and https://tum.cloud.panopto.eu/
  ☆76Updated 2 months 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 …
  ☆163Updated 3 weeks ago
• bundesAPI / deutschland
  Die wichtigsten APIs Deutschlands in einem Python Paket.
  ☆1,314Updated 2 months ago
• henningtillmann / sonntagsfrage
  Sonntagsfrage is an iOS 14 Widget displaying current polls for upcoming elections in Germany.
  ☆32Updated last year
• TheMorpheus407 / Tutorials
  unveränderter Code der Tuts.
  ☆188Updated 3 years ago
• TobseF / impf-bot
  💉🤖 Bot for the German "ImpfterminService - 116117"
  ☆151Updated 3 years ago
• fredoverflow / karel
  Karel The Robot
  ☆588Updated last month
• Bootstrap-Academy / frontend
  The official frontend of Bootstrap Academy - Learn Computer Science Online
  ☆161Updated this week
• robert-koch-institut / SARS-CoV-2-Infektionen_in_Deutschland_Archiv
  Der vorliegende Datansatz enthält umfassende Informationen zu SARS-CoV-2-Infektionen in Deutschland, die gemäß dem Infektionsschutzgesetz…
  ☆74Updated this week
• mediathekview / mediathekviewweb
  Eine Weboberfläche als Alternative zum Java-Client
  ☆1,000Updated 11 months ago
• juliuste / bahn.guru
  Deutsche Bahn ticket price calendar.
  ☆428Updated last month
• corona-warn-app / cwa-backlog
  Backlog Items for the Corona-Warn-App
  ☆20Updated 4 years ago
• timreibe / vaccipy
  Automatisierte Impfterminbuchung für www.impfterminservice.de
  ☆515Updated 3 years 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