Alternatives and similar repositories for MathLogicLectures

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

• KanatnikovMax / znanie-drevnix
  ☆961Updated last year
• Zproger / bspwm-dotfiles
  A minimalistic Arch Linux build that is designed to make your development easier and faster
  ☆607Updated last year
• NET-VLADOR / Arch-Linux-Install-Guide-RU
  Установка Arch Linux шаг за шагом
  ☆38Updated last year
• MarshalX / yandex-music-api
  Неофициальная Python библиотека для работы с API сервиса Яндекс.Музыка
  ☆1,068Updated 3 months ago
• DKMFzF / to-do-run-django
  Креативный TODO календарь на Django
  ☆11Updated 3 months ago
• cucumber-sp / yandex-music-linux
  Linux client for Yandex Music
  ☆823Updated this week
• progzone122 / archarchive
  A utility to quickly rollback an arch linux system using ALA (a.k.a Arch Linux Archive)
  ☆149Updated 3 months ago
• coddrago / Heroku
  The most fresh and updateable developer-oriented Telegram userbot
  ☆129Updated last week
• honeymontana / vimrc
  my .vimrc
  ☆25Updated 11 months ago
• Snowy-Fluffy / zapret.installer
  ☆318Updated last week
• hardqode / test-backend-3
  Тестовое задание
  ☆10Updated last year
• asteroid-den / dispyro
  Improved dispatching for Pyrogram
  ☆15Updated 4 months ago
• MihailRis / voxelcore
  VoxelCore – voxel game engine in C++
  ☆1,152Updated 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
  ☆523Updated last week
• kroexov / gradeBot
  bot which tells your grade in IT using inline mode
  ☆15Updated 4 months ago
• rodion-gudz / YandexLyceumDocs
  📃 Скрипт для удобного представления документации по любым курсам на платформе Академии Яндекса
  ☆49Updated 2 years ago
• OlegShchavelev / ALTGnomeWiki
  библиотека знаний операционной системы ALT Regular Gnome
  ☆34Updated 2 weeks ago
• xi816 / gc16x
  Govno Core 16X processor
  ☆154Updated 6 months ago
• LpilinAlexandr / python-for-first-job
  ☆167Updated last year
• pelmesh619 / itmo_conspects
  Конспекты по разным предметам первого потока ИСy27 университета ИТМО
  ☆90Updated this week
• kartavkun / zapret-discord-youtube
  Fork of Flowseal's zapret-discord-youtube repo with zapret configs for Linux
  ☆183Updated this week
• evgvs / turboarch
  TurboArch - Seamlessly Replace Your Current OS with Arch Linux NOW!
  ☆339Updated last year
• w1tnessbtwwwww / SpeedSolver
  speedsolver – task-manager для командных проектов.
  ☆19Updated 2 months ago
• ZZAY-GIT / MVideo_parser
  Telegram bot for parsing MVideo
  ☆13Updated 3 months ago
• MasterGroosha / aiogram-3-guide
  Пишем Telegram-ботов с aiogram 3.x
  ☆1,039Updated 6 months ago
• Priler / samurai
  Simple, yet effective moderator bot for telegram. With reports, logs, profanity filter, anti-spam AI and more :3
  ☆190Updated last month
• error1001es / teleghoul
  Бот - Гуль для твоего телеграм аккаунта
  ☆60Updated 2 years ago
• Latand / tgbot_template
  ☆244Updated last year
• Zproger / GenesisNvim
  A minimalistic nvim config aimed at Python developers. It is a lightweight replacement for PyCharm and VsCode, eliminating all unnecessar…
  ☆165Updated last year
• Rarmash / MIREA
  Сборник всех решённых работ по всем предметам в РТУ МИРЭА (направление 09.03.04).
  ☆102Updated 2 months ago