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
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆357Updated 3 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…
  ☆55Updated last year
• DDP-Projekt / Kompilierer
  Der Kompilierer der Deutschen Programmiersprache
  ☆162Updated 2 weeks ago
• marudor / bahn.expert
  https://bahn.expert
  ☆601Updated 10 months ago
• timreibe / vaccipy
  Automatisierte Impfterminbuchung für www.impfterminservice.de
  ☆512Updated 4 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
• mangei / tissquickregistrationscript
  TISS Quick Registration Script
  ☆137Updated last year
• python-webuntis / python-webuntis
  Bindings for WebUntis
  ☆74Updated 3 weeks ago
• danielauener / git-auf-deutsch
  Git auf deutsch
  ☆1,280Updated 3 months ago
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆169Updated 2 weeks ago
• dhbw-horb / latexVorlage
  LaTeX-Vorlage für Bachelorarbeiten o.ä.
  ☆113Updated last year
• TobseF / impf-bot
  💉🤖 Bot for the German "ImpfterminService - 116117"
  ☆151Updated 4 years ago
• pfisterer / DHBW_LaTeX_Template
  A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim
  ☆104Updated 6 months ago
• gi-ev / LNI
  A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)
  ☆42Updated last week
• 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
• neuland-ingolstadt / neuland.app
  A free & open source, web-based replacement for the official app of the Technische Hochschule Ingolstadt built with React and Next.js.
  ☆38Updated 6 months ago
• fredoverflow / karel
  Karel The Robot
  ☆598Updated last month
• andygrunwald / FOM-LaTeX-Template
  A LaTeX template for term paper, bachelor or master thesis for "FOM University of Applied Sciences"
  ☆213Updated 3 weeks ago
• Toaster192 / czech.h
  The czech library for C. Why? Because we could, of course!
  ☆131Updated 2 months ago
• Hartz-Arbeit / LohntDat
  ☆51Updated 3 years ago
• Digital-Media / HagenbergThesis
  Hagenberg LaTeX Thesis Template
  ☆217Updated 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 3 months ago
• fsr / Stoffkiste
  📦 Lernstoffsammlung der Informatik
  ☆73Updated last month
• marcelreppi / moodle-buddy
  Moodle Buddy is a browser plugin that offers mass download and notification functionality to the Moodle learning management platform
  ☆57Updated 2 months ago
• novoid / LaTeX-KOMA-template
  Generic template for midsize and larger documents based on KOMA script classes.
  ☆209Updated 3 years ago
• Georg-code / roeschti
  Rust programming, in Swissgerman
  ☆183Updated last year
• C0D3D3V / Moodle-DL
  Moodle-DL downloads course content fast from Moodle (eg. lecture pdfs)
  ☆546Updated last year
• alfonsrv / impf-botpy
  Impf Bot.py 🐍⚡ – Automatisierung für den Corona ImpfterminService Bot
  ☆242Updated 4 years ago
• cpc6128 / LangageLinotte
  Code source officiel du langage de programmation Linotte - Langage de programmation en français simple créé dans le but de permettre aux …
  ☆45Updated last year