mzubov's repositories
First-order_predicate_calculus_to_CNF
Program for converting formulas of the first-order predicate calculus into a conjunctive normal form.
Parallel-Programming
"Parallel Programming" course materials
Auto-Statistic
A program for automatically collecting statistics on program execution.
WindowsTools
Tools to fix and improve Windows.
code-scanner
Code scanner library for Android, based on ZXing
dokka
API documentation engine for Kotlin
Language:KotlinApache-2.0000
gradle-version-catalogs
Version catalogs host
MobileVisionBarcodeScanner
Barcode Scanner powered by Mobile Vision Api
TroikaDumper
Дампер и парсер памяти карты Тройка