Pinned Repositories
applied-statistics
btrfs-reading-module
Simple module for reading from BTRFS volume
cool-vt-gif-bot
Telegram bot that creates cool GIFs, with love from VT 💖
CW_DB
image-transformer
A simple application for image transformation with script language and modularity
micro-prolog
Simple and straightforward implementation of Prolog without any side-effects support developed for educational purposes
mledu
Originally by @YUNGC0DE
orchestask
Pretty simple orchestrator for automatical Docker container creating once an SSH connection established with connection to Telegram bot
php-datagen
Code generator for making data classes on PHP
pngprinter
Bash script for printing PNG images on terminal
ProgMiner's Repositories
ProgMiner/mledu
Originally by @YUNGC0DE
ProgMiner/cool-vt-gif-bot
Telegram bot that creates cool GIFs, with love from VT 💖
ProgMiner/Lab_Web
ProgMiner/gazolang
Я написал очередной бесполезный язык программирования, газоязык... На нём программировали наши газопредки
ProgMiner/ICFPC-2024
ICFP Contest 2024
ProgMiner/Lab_Compilers2
ProgMiner/micro-prolog
Simple and straightforward implementation of Prolog without any side-effects support developed for educational purposes
ProgMiner/miniKanren-coq
A certified semantics for relational programming workout.
ProgMiner/pngprinter
Bash script for printing PNG images on terminal
ProgMiner/orchestask
Pretty simple orchestrator for automatical Docker container creating once an SSH connection established with connection to Telegram bot
ProgMiner/agda-vim
Agda interaction in vim with Python 3
ProgMiner/Cipherinator
A platform for JavaScript-based cipher scripts
ProgMiner/deptypes
ProgMiner/itmo-abit-bot
ProgMiner/Lab_Coq
A supplementary Coq workout repository
ProgMiner/Lab_FormalLang
Курс по формальным языкам: шаблон для домашних работ + материалы
ProgMiner/Lab_GPU
ProgMiner/Lab_Java_Bonus
ProgMiner/Lab_LLVM
ProgMiner/Lab_LLVM2
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
ProgMiner/Lab_LRP
A supplementary repository for the course on logic and relational programming
ProgMiner/Lab_SoftwareDevelopment
ProgMiner/Lab_VM
ProgMiner/Lama
Teaching language LaMa for a compiler course
ProgMiner/landmarks-viewer
A web front-end for the landmarks library
ProgMiner/newsqool
ProgMiner/OCanren
Statically typed embedding of miniKanren relational programming language into OCaml
ProgMiner/ocanren-perf
Benchmarks for different miniKanren implementations
ProgMiner/pwgen
Password manager for a paranoid
ProgMiner/ShipJVM