Alternatives and similar repositories for MathLogicLectures

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

• cucumber-sp / yandex-music-linux
  Linux client for Yandex Music
  ☆849Updated 4 months ago
• KanatnikovMax / znanie-drevnix
  ☆995Updated last year
• DKMFzF / to-do-run-django
  Креативный TODO календарь на Django
  ☆11Updated 8 months ago
• papey08 / MAI_skat
  Всё, что я напрограммировал за время обучения на кафедре 806 МАИ
  ☆32Updated 7 months ago
• MasterGroosha / aiogram-3-guide
  Пишем Telegram-ботов с aiogram 3.x
  ☆1,072Updated last week
• Rarmash / MIREA
  Сборник всех решённых работ по всем предметам в РТУ МИРЭА (направление 09.03.04).
  ☆138Updated this week
• AlekseyKorshuk / yoomoney-api
  YooMoney API Python library
  ☆300Updated last year
• pelmesh619 / itmo_conspects
  Конспекты по разным предметам первого потока ИСy27 университета ИТМО
  ☆133Updated this week
• Sergeydigl3 / zapret-discord-youtube-linux
  (NOW ONLY FOR NFTABLES) Port zapret-discord-youtube from Flowseal and bol-van for easy to use on linux
  ☆964Updated last week
• NikitosKey / alcounting_bot
  Telegram bot for me and my friends, which helps us to order cocktails and other things at our parties.
  ☆178Updated last year
• MarshalX / yandex-music-api
  Неофициальная Python библиотека для работы с API сервиса Яндекс.Музыка
  ☆1,136Updated 8 months ago
• rodion-gudz / YandexLyceumDocs
  📃 Скрипт для удобного представления документации по любым курсам на платформе Академии Яндекса
  ☆52Updated 2 years ago
• isagila / tesc
  Study materials
  ☆106Updated 11 months ago
• Snowy-Fluffy / zapret.installer
  Simple script to install and control bol-van/zapret
  ☆713Updated last week
• Priler / samurai
  Simple, yet effective moderator bot for telegram. With reports, logs, profanity filter, anti-spam AI, NSFW detection AI and more :3
  ☆228Updated last month
• asteroid-den / dispyro
  Improved dispatching for Pyrogram
  ☆17Updated 8 months ago
• MimocakeYT / ASCII-art
  ☆41Updated 11 months ago
• rlxrd / aiogram_sqla_sample
  Sample Easy Bot using aiogram 3.x and SQLAlchemy 2.x
  ☆73Updated last year
• mirea-ninja / Latex-Template-for-Report-Diploma-Thesis
  LaTeX шаблоны для написания отчетов/дипломов/курсовых работ
  ☆114Updated 2 years ago
• IMCT-FEFU-writeups / FEFU-AB-2023
  Writeups for Algorithmization Basics
  ☆23Updated last year
• Yakvenalex / DigitalMarketBot
  Телеграмм бот, написанный с использованием технологий Python: Aiogram3, SQLAlchemy2, Alembic и т.д. Это учебный проект основная цель кото…
  ☆27Updated last year
• DimaTrushin / Algebra-DSBA
  ☆11Updated last year
• kmsint / aiogram3_stepik_course
  ☆133Updated 6 months ago
• Duff89 / parser_avito
  Avito Parser —бесплатный парсер для автоматического мониторинга новых объявлений Avito и\или выгрузки объявлений в файл
  ☆508Updated last week
• Th3Nex / sliv-skillbox
  Слив курсов skillbox (2019-2022)
  ☆48Updated 2 years ago
• ZZAY-GIT / MVideo_parser
  Telegram bot for parsing MVideo
  ☆13Updated 8 months ago
• IgorVolochay / Telegram-Parser-Bot
  Код из ролика - https://www.youtube.com/watch?v=eWa7drf-b4w&t
  ☆15Updated 4 years ago
• huecker-io / huecker
  Docker Registry fork used for huecker.io
  ☆369Updated last year
• Zproger / bspwm-dotfiles
  A minimalistic Arch Linux build that is designed to make your development easier and faster
  ☆679Updated 3 weeks ago
• Whiletruedoend / Vk-to-telegram-transfer-bot
  Бот, пересылающий сообщения из чатов ВК в Telegram и обратно
  ☆316Updated 3 years ago