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.
  ☆46Updated this week
• 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
  ☆166Updated this week
• danielauener / git-auf-deutsch
  Git auf deutsch
  ☆1,282Updated 4 months ago
• karlstroetmann / Formal-Languages
  Lecture notes and examples for my class on formal languages and compilers.
  ☆43Updated last month
• htwr-aachen / htwr-aachen.de
  Ein fake der Informatik Seite mit dummem und hilfreichem Zeug
  ☆79Updated this week
• MP2I-Kleber / another-mp2i-bot
  Le meilleur bot Discord qu'une promo de CPGE puisse avoir :)
  ☆19Updated last year
• pfisterer / DHBW_LaTeX_Template
  A LaTeX template for Project and Bachelor Thesis, DHBW Mannheim
  ☆104Updated 7 months ago
• glassus / terminale_nsi
  ☆60Updated this week
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆170Updated last month
• marudor / bahn.expert
  https://bahn.expert
  ☆608Updated 11 months ago
• ba-dresden / ba-latex-template
  A LaTeX template, which tries to implement the BA Dresden Styleguide
  ☆26Updated 3 months ago
• Fachinformatiker-Prufungsvorbereitung / Fachinformatiker-Pruefungsvorbereitung
  Dies ist ein Hugo Projekt in dem durch Markdown files eine Prüfungsvorbereitungs-Website erzeugt wird
  ☆169Updated last week
• antoninkriz / CTU-TimeTable-Generator
  Generate the best possible time table and schedule for your next semester
  ☆21Updated 3 months ago
• maknesium / latex-vorlage-diplom-bachelor-masterarbeiten
  Diese LaTex-Vorlage kann für technische Berichte oder Diplom- / Bachelor- / Masterarbeiten genutzt werden.
  ☆77Updated 3 years ago
• Toaster192 / czech.h
  The czech library for C. Why? Because we could, of course!
  ☆131Updated 3 months ago
• python-webuntis / python-webuntis
  Bindings for WebUntis
  ☆74Updated last month
• foo-git / rewe-discounts
  Grabs current REWE discounts and saves them in a markdown file || Holt sich aktuelle REWE-Angebote und exportiert sie in eine Markdown-Li…
  ☆99Updated 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
• TUM-Dev / TUM.sexy
  A website providing links, redirects and tools related to the Technical University Munich
  ☆107Updated 3 weeks ago
• TheMorpheus407 / Tutorials
  unveränderter Code der Tuts.
  ☆189Updated 3 years ago
• mirkobeine / vorlesung-se2-dhbw
  ☆20Updated 4 years ago
• TUfast-TUD / TUfast_TUD
  🚀 Browser Extension for higher productivity with TU Dresden online portals
  ☆50Updated 3 weeks ago
• c3e / grundgesetz
  Grundgesetz für die Bundesrepublik Deutschland
  ☆523Updated 8 years ago
• Bootstrap-Academy / Bootstrap-Academy
  ☆125Updated 3 months ago
• dhbw-horb / latexVorlage
  LaTeX-Vorlage für Bachelorarbeiten o.ä.
  ☆114Updated last year
• ls1intum / Artemis
  Artemis - Interactive Learning with Automated Feedback
  ☆713Updated this week
• The-breakbar / TISS-Lightning-Registrator
  Browser extension to automatically register in TISS
  ☆47Updated 10 months ago
• mangei / tissquickregistrationscript
  TISS Quick Registration Script
  ☆137Updated last year