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
Lab_Testing
mledu
Originally by @YUNGC0DE
php-datagen
Code generator for making data classes on PHP
pillars
Spigot mini game by idea from mr. Nuckem and TeroserPlay
pngprinter
Bash script for printing PNG images on terminal
ProgMiner's Repositories
ProgMiner/applied-statistics
ProgMiner/mledu
Originally by @YUNGC0DE
ProgMiner/cool-vt-gif-bot
Telegram bot that creates cool GIFs, with love from VT 💖
ProgMiner/CW_DB
ProgMiner/Lab_Web
ProgMiner/gazolang
Я написал очередной бесполезный язык программирования, газоязык... На нём программировали наши газопредки
ProgMiner/ICFPC-2024
ICFP Contest 2024
ProgMiner/Lab_FunctionalProgramming
ProgMiner/pngprinter
Bash script for printing PNG images on terminal
ProgMiner/regular-equation-system-solver
ProgMiner/agda-vim
Agda interaction in vim with Python 3
ProgMiner/GitHubGraduation-2022
Join the GitHub Graduation Yearbook and "walk the stage" on June 11.
ProgMiner/itmo-abit-bot
ProgMiner/Lab_Compilers2
ProgMiner/Lab_Coq
A supplementary Coq workout repository
ProgMiner/Lab_DependentTypes
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/newsqool
ProgMiner/OCanren
Statically typed embedding of miniKanren relational programming language into OCaml
ProgMiner/pwgen
Password manager for a paranoid
ProgMiner/sage-on-gentoo
(Unofficial) Gentoo Overlay for Sage- and Sage-related ebuilds
ProgMiner/yaprofi2022-program-engineering-task