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
  ☆781Updated 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
  ☆397Updated 3 months ago
• Zproger / bspwm-dotfiles
  A minimalistic Arch Linux build that is designed to make your development easier and faster
  ☆571Updated 10 months ago
• Snowy-Fluffy / zapret.installer
  ☆226Updated this week
• kartavkun / zapret-discord-youtube
  Fork of Flowseal's zapret-discord-youtube repo with zapret configs for Linux
  ☆151Updated 2 weeks ago
• IMCT-FEFU-writeups / FEFU-AB-2023
  Writeups for Algorithmization Basics
  ☆24Updated last year
• progzone122 / archarchive
  A utility to quickly rollback an arch linux system using ALA (a.k.a Arch Linux Archive)
  ☆115Updated last month
• NET-VLADOR / Arch-Linux-Install-Guide-RU
  Установка Arch Linux шаг за шагом
  ☆36Updated last year
• pelmesh619 / itmo_conspects
  Конспекты по разным предметам первого потока ИСy27 университета ИТМО
  ☆79Updated this week
• CallMeYura / astronauts
  CS VSU study base
  ☆65Updated last year
• xi816 / GovnOS
  ☆47Updated 9 months ago
• true-grue / kisscm
  Конфигурационное управление. Учебное пособие. Курс в РТУ МИРЭА
  ☆82Updated 7 months ago
• KanatnikovMax / znanie-drevnix
  ☆963Updated last year
• mirea-ninja / Latex-Template-for-Report-Diploma-Thesis
  LaTeX шаблоны для написания отчетов/дипломов/курсовых работ
  ☆110Updated 2 years ago
• xi816 / gc16x
  Govno Core 16X processor
  ☆150Updated 4 months ago
• DKMFzF / to-do-run-django
  Креативный TODO календарь на Django
  ☆11Updated last month
• Imtjl / 1st-year-guide
  Guide for 1st year ITMO VT students / Гайд для студентов 1 курса ИТМО ВТ
  ☆111Updated 10 months ago
• Zproger / GenesisNvim
  A minimalistic nvim config aimed at Python developers. It is a lightweight replacement for PyCharm and VsCode, eliminating all unnecessar…
  ☆154Updated last year
• Winderton / xplatform
  Реализация фундаментальных проектов с курса по Computer Science
  ☆852Updated last year
• imkochelorov / ITMO
  Конспекты M3136-M3137 2023 года
  ☆19Updated 10 months ago
• rlxrd / aiogram_sqla_sample
  Sample Easy Bot using aiogram 3.x and SQLAlchemy 2.x
  ☆65Updated 11 months ago
• LpilinAlexandr / python-for-first-job
  ☆165Updated last year
• OlegShchavelev / ALTGnomeWiki
  библиотека знаний операционной системы ALT Regular Gnome
  ☆32Updated 3 weeks ago
• NikitosKey / alcounting_bot
  Telegram bot for me and my friends, which helps us to order cocktails and other things at our parties.
  ☆182Updated 5 months ago
• KirDemorgan / BeatSaberDsBot
  Bot to assign roles according to pp on ScoreSaber and BeatLeader
  ☆34Updated last year
• Teslow / build-your-x
  🤓 Build your own (insert technology here)
  ☆475Updated 3 years ago
• a-menshikov / Yandex_contest
  Решение задач различных Яндекс-контестов
  ☆54Updated last year
• MoDDyChat / twitch-1080p
  A simple extension that unlocks 1080p quality on Twitch in regions where it is currently not supported.
  ☆50Updated 3 weeks ago
• papey08 / MAI_skat
  Всё, что я напрограммировал за время обучения на кафедре 806 МАИ
  ☆29Updated last month
• Yakvenalex / DigitalMarketBot
  Телеграмм бот, написанный с использованием технологий Python: Aiogram3, SQLAlchemy2, Alembic и т.д. Это учебный проект основная цель кото…
  ☆27Updated 6 months ago