Alternatives and similar repositories for logic4humans:

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

• B-O-O-P / itmo-dm-labs
  Laboratory problems and solutions for the ITMO course "Discrete Mathematics".
  ☆9Updated 5 years ago
• kontur-courses / testing
  ☆15Updated last year
• skbkontur / dotEducation
  База знаний для .NET разработчиков
  ☆225Updated 3 years ago
• algorithmica-org / ru
  Sources for Russian articles on Algorithmica.org
  ☆83Updated last year
• limitedeternity / foxford_courses
  Шапка треда, посвященного курсам Фоксфорда и не только.
  ☆385Updated 5 years ago
• MarshalX / yandex2spotify
  Simple Python script that allow to import music from Yandex.Music to Spotify
  ☆242Updated 8 months ago
• iburakov / my-itmo-ru-to-ical
  Сервис, который ходит на my.itmo.ru за расписанием и экспортирует его как iCalendar с публичной ссылкой.
  ☆54Updated 5 months ago
• kysect / Main
  Место, где будет хранится основная информация связанная с жизнью kysect
  ☆23Updated 10 months ago
• mlsect-dojo / Main
  FAQ по секте
  ☆15Updated last year
• fenestron / easy-pi
  😎 Материалы для успешного прохождения курсов на Бакалаврской программе «Программная инженерия» ФКН НИУ ВШЭ
  ☆90Updated 2 years ago
• Omrigan / essay-writer
  ЕГЭ больше не проблема
  ☆41Updated 3 years ago
• DianaNeumann / Awesome-OOP-And-Patterns
  OOP ITMO
  ☆29Updated last year
• bureaucratic-labs / dostoevsky
  Sentiment analysis library for russian language
  ☆313Updated last year
• T9404 / EGE
  Free help in preparation.
  ☆84Updated 2 years ago
• thecattest / yandex-tools
  Скрипты в помощь Яндекс Лицеистам
  ☆56Updated last year
• FrediKats / is-stuff
  Очередная свалка файлов by IS for IS
  ☆37Updated 2 years ago
• B-O-O-P / itmo-ads-labs
  Laboratory problems and solutions for the ITMO course "Algorithms and data structures"
  ☆83Updated 5 years ago
• DavisDmitry / aiogram-yandex.cloud-serverless-example
  Пример простого Telegram бота на Aiogram для Yandex.Cloud functions.
  ☆35Updated 4 years ago
• vlajnaya-mol / message-analyser
  Statistical analysis of VKontakte and Telegram message history.
  ☆204Updated 2 years ago
• alexanderlarin / aiovk
  vk.com API python wrapper for asyncio
  ☆95Updated last year
• Dementiy / pybook-assignments
  Шаблоны заданий для https://github.com/Dementiy/pybook
  ☆24Updated last year
• lancelote / interpy-ru
  Intermediate Python book Russian translation
  ☆200Updated 4 years ago
• mathmechterver / terver2019
  Материалы для курса по Теории Вероятности для 3 курса на Мат-мехе УрФУ 2019-2020гг.
  ☆5Updated 4 years ago
• kodek16 / brestprog
  Website dedicated to programming olympiads in Belarus
  ☆51Updated last year
• tkhirianov / lections_2020
  ☆219Updated 4 years ago
• FutureXpo / Chrome-Extension-LMS-Answers
  Chrome Extension for LMS - easy answers in Cambridge LMS
  ☆56Updated 5 years ago
• whitehorn / Scientific_graphics_in_python
  Электронный учебник-пособие по научной графике в python
  ☆212Updated 3 years ago
• latex-g7-32 / latex-g7-32
  Шаблон LaTeX для оформления отчетов о НИР, расчётно-пояснительной записки к курсовым и дипломным работам (ГОСТ 7.32-2017 и ГОСТ РВ 15.110…
  ☆350Updated 3 months ago
• hukenovs / hh_research
  Автоматизация поиска и исследования вакансий с сайта hh.ru (Headhunter) с помощью методов Python. Классификация данных, поиск статистичес…
  ☆96Updated 8 months ago
• mahenzon / aioalice
  Asynchronous library for Yandex Dialogs (Alice) API
  ☆88Updated 2 years ago