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.
  ☆45Updated 8 months ago
• danielauener / git-auf-deutsch
  Git auf deutsch
  ☆1,280Updated 3 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…
  ☆55Updated last year
• 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
• DDP-Projekt / Kompilierer
  Der Kompilierer der Deutschen Programmiersprache
  ☆162Updated 2 weeks ago
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆357Updated 3 years ago
• mangei / tissquickregistrationscript
  TISS Quick Registration Script
  ☆137Updated last year
• marudor / bahn.expert
  https://bahn.expert
  ☆601Updated 10 months ago
• BetterBahn / betterbahn
  BetterBahn is an open-source project that aims to improve the train travel experience in germany. The current focus is on split-ticketing…
  ☆2,411Updated last week
• mirkobeine / vorlesung-se2-dhbw
  ☆20Updated 4 years ago
• timreibe / vaccipy
  Automatisierte Impfterminbuchung für www.impfterminservice.de
  ☆512Updated 4 years ago
• irgendwr / go-stine
  🎓 STiNE CLI / library in Go
  ☆11Updated last year
• alfonsrv / impf-botpy
  Impf Bot.py 🐍⚡ – Automatisierung für den Corona ImpfterminService Bot
  ☆242Updated 4 years ago
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆169Updated 2 weeks ago
• pfisterer / DHBW_LaTeX_Template
  A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim
  ☆104Updated 6 months ago
• TUM-Dev / CalendarProxy
  Proxy for the TUM iCal export to remove clutter
  ☆43Updated 2 weeks ago
• dieparteidiepartei / afd-blocker-plugin
  AfD Blocker Browser Plugin
  ☆281Updated 2 years ago
• traines-source / transport-network-animator
  SVG-based Tool to Animate Maps of Public Transport Networks
  ☆117Updated 2 years ago
• corona-warn-app / cwa-wishlist
  Central repository to collect community feature requests and improvements. The CWA development ends on May 31, 2023. You still can warn o…
  ☆103Updated 2 years ago
• marlon360 / rki-covid-api
  🦠🇩🇪📈 An API for the spread of covid-19 in Germany. Data from Robert-Koch-Institut.
  ☆245Updated last week
• fredericobormann / MensaViewer
  ☆11Updated last year
• LucaVazz / DualisWatcher
  Watch changes to your Dualis-Account to avoid checking back manually every other day. **Not actively maintained - feel free to contribut…
  ☆16Updated 2 years ago
• mediathekview / mediathekviewweb
  Eine Weboberfläche als Alternative zum Java-Client
  ☆1,078Updated 3 weeks ago
• The-breakbar / TISS-Lightning-Registrator
  Browser extension to automatically register in TISS
  ☆45Updated 9 months ago
• andygrunwald / FOM-LaTeX-Template
  A LaTeX template for term paper, bachelor or master thesis for "FOM University of Applied Sciences"
  ☆213Updated 3 weeks ago
• public-transport / db-vendo-client
  JavaScript client for Deutsche Bahn public transport APIs.
  ☆176Updated 2 weeks ago
• I-Al-Istannen / SimpleCodeTester
  A web application that checks code against a range of user submitted tests.
  ☆34Updated last year
• informatik-mannheim / thesis-template
  Template for a bachelor or master thesis in LaTeX or Lyx
  ☆104Updated 3 months ago
• tudace / tuda_latex_templates
  LaTeX Templates for TU Darmstadt
  ☆240Updated last month
• karlstroetmann / Formal-Languages
  Lecture notes and examples for my class on formal languages and compilers.
  ☆42Updated 2 weeks ago