Alternatives and similar repositories for logic4humans

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

• kontur-courses / testing
  ☆15Updated 3 months ago
• VladimirKhil / SI
  SIGame and related products
  ☆178Updated last week
• iburakov / my-itmo-ru-to-ical
  Сервис, который ходит на my.itmo.ru за расписанием и экспортирует его как iCalendar с публичной ссылкой.
  ☆53Updated 10 months ago
• FrediKats / is-stuff
  Очередная свалка файлов by IS for IS
  ☆36Updated 2 years ago
• s4xack / AlgorithmsAndStructures
  Algorithms and structures for PCMS2
  ☆17Updated 4 years ago
• MarshalX / yandex2spotify
  Simple Python script that allow to import music from Yandex.Music to Spotify
  ☆258Updated last year
• kysect / Main
  Место, где будет хранится основная информация связанная с жизнью kysect
  ☆23Updated last year
• ThinkPadThink / Thinkpadthinkpad
  Гайд по покупке Б/У ноутов ThinkPad.
  ☆663Updated 3 months ago
• danakt / pshe
  Незаменимый помощник для работы с git
  ☆285Updated 5 years ago
• mirea-ninja / Latex-Template-for-Report-Diploma-Thesis
  LaTeX шаблоны для написания отчетов/дипломов/курсовых работ
  ☆110Updated 2 years ago
• latex-g7-32 / latex-g7-32
  Шаблон LaTeX для оформления отчетов о НИР, расчётно-пояснительной записки к курсовым и дипломным работам (ГОСТ 7.32-2017 и ГОСТ РВ 15.110…
  ☆364Updated 8 months ago
• limitedeternity / foxford_courses
  Шапка треда, посвященного курсам Фоксфорда и не только.
  ☆385Updated 5 years ago
• Whiletruedoend / Vk-to-telegram-transfer-bot
  Бот, пересылающий сообщения из чатов ВК в Telegram и обратно
  ☆317Updated 3 years ago
• leshark / nometa
  Проект по сбору датасета мета-вопросов
  ☆165Updated 2 weeks ago
• FutureXpo / Chrome-Extension-LMS-Answers
  Chrome Extension for LMS - easy answers in Cambridge LMS
  ☆56Updated 6 years ago
• jarvis394 / geekr
  ✨🎉 Habrahabr, but with a new client
  ☆333Updated 3 months ago
• voronind / vk
  vk.com API python wrapper
  ☆398Updated 2 years ago
• ekonda / kutana
  The library for developing systems for messengers and social networks
  ☆76Updated 8 months ago
• RicharSte / hh_auto_click
  ☆54Updated 2 years ago
• rustamgarifulin / books
  Personal collection of books and articles in Russian and English on various topics related to programming, system design, and management.
  ☆134Updated 10 months ago
• skbkontur / dotEducation
  База знаний для .NET разработчиков
  ☆227Updated 3 years ago
• fenestron / easy-pi
  😎 Материалы для успешного прохождения курсов на Бакалаврской программе «Программная инженерия» ФКН НИУ ВШЭ
  ☆89Updated 3 years ago
• omreps / programmer-competency-matrix
  ENG -> RU: Матрица компетентности программиста, мой перевод
  ☆496Updated 6 years ago
• SyrnikovPavel / zaKilo-extension
  ☆29Updated 3 weeks ago
• sameoldmadness / awesome-alice
  Библиотеки и ресурсы для Яндекс.Диалогов
  ☆295Updated last year
• unchase / awesome-russian-it
  Список полезных русскоязычных ресурсов, связанных с ИТ - https://awesomeit.ru
  ☆779Updated 6 months ago
• developers-against-repressions / devs-against-the-machine
  I онлайн-хакатон в поддержку политических заключенных
  ☆205Updated 2 years ago
• irandom / docs
  Стиль библиографии для Word по ГОСТ Р ИСО 7.0.5 2008
  ☆223Updated 4 years ago
• VladimirKhil / SIOnline
  SIGame web client
  ☆74Updated last week
• mikeozornin / constitution-of-russia
  ☆90Updated 5 years ago