AnatoliiKornilov / MathLogicLecturesLinks
☆14Updated 2 weeks ago
Alternatives and similar repositories for MathLogicLectures
Users that are interested in MathLogicLectures are comparing it to the libraries listed below
Sorting:
- A minimalistic Arch Linux build that is designed to make your development easier and faster☆538Updated 10 months ago
- Неофициальная Python библиотека для работы с API сервиса Яндекс.Музыка☆1,037Updated last month
- Linux client for Yandex Music☆752Updated this week
- Read-only mirror of https://gitlab.gnome.org/Rirusha/Cassette☆235Updated last week
- Fork of Flowseal's zapret-discord-youtube repo with zapret configs for Linux☆124Updated this week
- библиотека знаний операционной системы ALT Regular Gnome☆32Updated this week
- Telegram bot for parsing MVideo☆13Updated last month
- (NOW ONLY FOR NFTABLES) Port zapret-discord-youtube from Flowseal and bol-van for easy to use on linux☆345Updated 2 months ago
- Бот, пересылающий сообщения из чатов ВК в Telegram и обратно☆317Updated 3 years ago
- ☆168Updated last week
- Трекер времени☆40Updated last month
- A collection of scripts for generating images☆38Updated 4 months ago
- Находит товары на avito.ru по ключевым словам☆331Updated last month
- Modification for Yandex Music Desktop application to add some features☆390Updated this week
- A minimalistic nvim config aimed at Python developers. It is a lightweight replacement for PyCharm and VsCode, eliminating all unnecessar…☆151Updated last year
- Движок для создания и проведения квестов☆40Updated 2 months ago
- Free help in preparation.☆85Updated 2 years ago
- ☆11Updated 3 months ago
- Simple, yet effective moderator bot for telegram. With reports, logs, profanity filter, anti-spam AI and more :3☆185Updated last month
- ZSH OHMYZSH POWERLEVEL10K EXA☆56Updated 2 years ago
- Пишем Telegram-ботов с aiogram 3.x☆1,031Updated 3 months ago
- TurboArch - Seamlessly Replace Your Current OS with Arch Linux NOW!☆313Updated last year
- my .vimrc☆25Updated 9 months ago
- ☆199Updated 3 years ago
- Ирина - русский голосовой ассистент для работы оффлайн. Поддерживает скиллы через плагины.☆928Updated last month
- Сustomizable asynchronous VK API framework☆464Updated 2 weeks ago
- The library allows developers to easily perform operations related to music and other functionalities available through the VK API.☆40Updated 2 months ago
- Небольшая серия уроков по работе с библиотекой aiogram☆311Updated last year
- Docker Registry fork used for huecker.io☆372Updated last year
- Перевод библиотеки TeleBot☆9Updated 6 years ago