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.
  ☆44Updated 5 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
• DDP-Projekt / Kompilierer
  Der Kompilierer der Deutschen Programmiersprache
  ☆161Updated last month
• sebinside / WissenschaftlichesSchreiben-Schnelleinstieg
  Wissenschaftliches Schreiben folgt vielen Regeln, die gerade für Unerfahrene verwirrend wirken können. Dieses Dokument dient hierfür als …
  ☆142Updated 2 years ago
• Hannah-Sten / TeXiFy-IDEA
  LaTeX support for the IntelliJ platform by JetBrains.
  ☆959Updated this week
• andygrunwald / FOM-LaTeX-Template
  A LaTeX template for term paper, bachelor or master thesis for "FOM University of Applied Sciences"
  ☆202Updated last month
• alexeyabel / latex-briefvorlage-din-5008
  Deutsche Latex-Briefvorlage nach DIN 5008 auf Basis von KOMA-Script scrlttr2
  ☆348Updated 2 years ago
• pfisterer / DHBW_LaTeX_Template
  A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim
  ☆94Updated 3 months ago
• danielauener / git-auf-deutsch
  Git auf deutsch
  ☆1,264Updated 6 months ago
• karlstroetmann / Formal-Languages
  Lecture notes and examples for my class on formal languages and compilers.
  ☆29Updated 8 months ago
• automatarium / automatarium
  A place for automata
  ☆78Updated last week
• I-Al-Istannen / SimpleCodeTester
  A web application that checks code against a range of user submitted tests.
  ☆33Updated last year
• 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 4 months ago
• timreibe / vaccipy
  Automatisierte Impfterminbuchung für www.impfterminservice.de
  ☆515Updated 3 years ago
• m-entrup / LaTeX-Vorlagen
  Eine kleine Auswahl an Vorlagen für verschiedene Arten von Dokumenten.
  ☆16Updated 8 years ago
• betaveros / advent-of-code-golf-2020
  doing the same thing over and over and expecting the same results
  ☆41Updated 4 years ago
• latextemplates / scientific-thesis-template
  LaTeX template for Master, Bachelor, Diploma, and Student Theses
  ☆369Updated 4 months ago
• Georg-code / roeschti
  Rust programming, in Swissgerman
  ☆176Updated last year
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆155Updated last month
• bundestag / gesetze
  Bundesgesetze und -verordnungen
  ☆1,833Updated 2 years ago
• marudor / bahn.expert
  https://bahn.expert
  ☆573Updated 6 months ago
• blegat / mathraining
  Site interactif avec théorie, exercices et problèmes
  ☆64Updated last month
• dhbw-horb / latexVorlage
  LaTeX-Vorlage für Bachelorarbeiten o.ä.
  ☆112Updated last year
• Digital-Media / HagenbergThesis
  Hagenberg LaTeX Thesis Template
  ☆212Updated last month
• alfonsrv / impf-botpy
  Impf Bot.py 🐍⚡ – Automatisierung für den Corona ImpfterminService Bot
  ☆243Updated 4 years ago
• martinhaunschmid / oeshell
  Die österreichische Shell
  ☆77Updated 5 months ago
• pbrinkmeier / pp-tut
  Programmierparadigmen-Tutorium 2022WS
  ☆28Updated 2 years ago
• tunequest / tunequest
  TuneQuest, a music guessing game that will put your music knowledge to the test!
  ☆39Updated 3 months ago
• 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
• marlon360 / rki-covid-api
  🦠🇩🇪📈 An API for the spread of covid-19 in Germany. Data from Robert-Koch-Institut.
  ☆247Updated last week