Alternatives and similar repositories for MathLogicLectures

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

• DKMFzF / to-do-run-django
  Креативный TODO календарь на Django
  ☆11Updated 4 months ago
• Zproger / bspwm-dotfiles
  A minimalistic Arch Linux build that is designed to make your development easier and faster
  ☆637Updated this week
• KanatnikovMax / znanie-drevnix
  ☆962Updated last year
• cucumber-sp / yandex-music-linux
  Linux client for Yandex Music
  ☆841Updated 3 weeks ago
• MarshalX / yandex-music-api
  Неофициальная Python библиотека для работы с API сервиса Яндекс.Музыка
  ☆1,094Updated 5 months ago
• Catalyst-42 / neiroart
  A collection of scripts for generating images
  ☆45Updated 2 months ago
• MasterGroosha / aiogram-3-guide
  Пишем Telegram-ботов с aiogram 3.x
  ☆1,046Updated last month
• Priler / samurai
  Simple, yet effective moderator bot for telegram. With reports, logs, profanity filter, anti-spam AI, NSFW detection AI and more :3
  ☆209Updated this week
• vkbottle / vkbottle
  Сustomizable asynchronous VK API framework
  ☆468Updated last 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
  ☆639Updated last month
• asteroid-den / dispyro
  Improved dispatching for Pyrogram
  ☆15Updated 5 months ago
• MimocakeYT / ASCII-art
  ☆36Updated 7 months ago
• mrBelka / 2023_1pm_mo
  ☆25Updated last year
• eledays / myTube
  Шуточный аналог ютубу на Python
  ☆20Updated last year
• rlxrd / aiogram_sqla_sample
  Sample Easy Bot using aiogram 3.x and SQLAlchemy 2.x
  ☆69Updated last year
• progzone122 / archarchive
  A utility to quickly rollback an arch linux system using ALA (a.k.a Arch Linux Archive)
  ☆159Updated 4 months ago
• LpilinAlexandr / python-for-first-job
  ☆168Updated last year
• AlekseyKorshuk / yoomoney-api
  YooMoney API Python library
  ☆293Updated 8 months ago
• Rarmash / MIREA
  Сборник всех решённых работ по всем предметам в РТУ МИРЭА (направление 09.03.04).
  ☆119Updated 3 months ago
• pythontoday / weather_telegram_bot
  ☆42Updated 2 years ago
• Priler / telegramStarsBot
  Simple TG bot, based on Aiogram 3.x. Lets you receive payments with Telegram Stars.
  ☆32Updated 11 months ago
• Snowy-Fluffy / zapret.installer
  ☆407Updated last week
• kmsint / aiogram3_stepik_course
  ☆131Updated 2 months ago
• Tishka17 / aiogram_dialog
  GUI framework on top of aiogram
  ☆838Updated 3 weeks ago
• kchipson / sibsutis
  Курсачи, лабораторные и всякое разное направления ПО СибГУТИ
  ☆20Updated 2 years ago
• rodion-gudz / YandexLyceumDocs
  📃 Скрипт для удобного представления документации по любым курсам на платформе Академии Яндекса
  ☆50Updated 2 years ago
• PythonHubStudio / aiogram-3-course-telegram-bot
  ☆123Updated last year
• mahenzon / aiogram-lessons
  Небольшая серия уроков по работе с библиотекой aiogram
  ☆312Updated last year
• NikitosKey / alcounting_bot
  Telegram bot for me and my friends, which helps us to order cocktails and other things at our parties.
  ☆178Updated 8 months ago
• coddrago / Heroku
  The most fresh and updateable developer-oriented Telegram userbot
  ☆143Updated this week