Alternatives and similar repositories for logic

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

• RobbinBaauw / CSHub
  CSHub
  ☆30Updated 2 years ago
• soraxas / echo360
  Commandline tool for automated downloads of echo360 videos hosted by university
  ☆317Updated 10 months ago
• ndless-nspire / Ndless
  The TI-Nspire calculator extension for native applications
  ☆934Updated 2 months ago
• pl4nty / anutimetable
  Timetable builder for the Australian National University
  ☆25Updated this week
• htwr-aachen / htwr-aachen.de
  Ein fake der Informatik Seite mit dummem und hilfreichem Zeug
  ☆77Updated 2 weeks ago
• mangei / tissquickregistrationscript
  TISS Quick Registration Script
  ☆138Updated last year
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆163Updated this week
• phawdk / studydrive-download
  A Chrome and Firefox Extension that enables free downloads on studydrive. It also blocks Ads.
  ☆155Updated 3 weeks ago
• Enjoys-1 / winSnake
  Python made from windows on windows using python
  ☆152Updated last month
• TomWildenhain / MagicPNG
  Merge two PNG images into one utilizing transparency
  ☆156Updated 8 years ago
• IsseW / Triple-A
  ☆10Updated 4 years ago
• Agnishom / ChainReactionAI
  Artificial Intelligence for Buddy Matt Entertainment's Chain Reaction
  ☆22Updated 10 years ago
• satoqz / rapla-ical-proxy
  Put your DHBW schedule where it belongs (Google Calendar, Outlook, Apple, etc.)
  ☆36Updated last week
• SwagLyrics / SwagLyrics-For-Spotify
  📃 Get lyrics of currently playing Spotify song so you don't sing along with the wrong ones and embarrass yourself later. Very fast.
  ☆341Updated 2 years ago
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆204Updated 3 months ago
• sio2project / sio2jail
  A tool for supervising execution of programs submitted in algorithmic competitions
  ☆36Updated 10 months ago
• tucanlib / tucan-tools
  Nomen est omen. It exports tucan grades/vv etc.
  ☆26Updated last year
• zloutek1 / MasarykBOT
  Discord bot created mainly for the community of Faculty of Informatics, Masaryk's university.
  ☆13Updated last year
• okok7711 / lernsax
  LernSax API Wrapper
  ☆12Updated 3 years ago
• EverydayCodeNet / CONTAGION-CE
  A Plague Inc. inspired game for the TI-84 Plus CE calculator.
  ☆183Updated 3 years ago
• antoninkriz / CTU-TimeTableGenerator-new
  Generates the best possible time table for a user
  ☆13Updated 2 years ago
• diogotorres97 / express-template
  An opinionated template for an Express based project, featuring a standardized structure, containerization, authentication, ORM, developm…
  ☆15Updated 2 years ago
• wizard97 / iSkipper
  Skipping iClicker lectures has never been so easy... obviously not to actually be used in class for nefarious purposes.
  ☆180Updated 4 years ago
• C0D3D3V / Moodle-DL
  Moodle-DL downloads course content fast from Moodle (eg. lecture pdfs)
  ☆533Updated 11 months ago
• sio2project / oioioi
  ☆175Updated last week
• charlespwd / mcgill-minerva-api
  A Javascript abstraction of McGill's Minerva. Search, transcript and add/drop included.
  ☆22Updated 5 years ago
• importPI19fromDHGE / dhge-pi19-sem6
  Mitschriften des Matrikel 2019, aus dem sechsten Semester des Studiengangs "Praktische Informatik", an der DHGE
  ☆11Updated 3 years ago
• hackerspace-ntnu / website
  ☆22Updated 3 weeks ago
• holubond / szmgr
  ☆28Updated 4 months ago
• mabbles / bc-covid-epi-rt
  A method to estimate Effective Reproductive Number (Rt) using the province of BC's case report data.
  ☆13Updated 4 years ago