ProgMiner

Russian Federation, Saint-Petersburg, Peterhof

Pinned Repositories

applied-statistics
Language:TypeScript10 5 010
btrfs-reading-module
Simple module for reading from BTRFS volume
Language:C2 4 00
cool-vt-gif-bot
Telegram bot that creates cool GIFs, with love from VT 💖
Language:Kotlin2 2 00
CW_DB
Language:TypeScript2 4 01
image-transformer
A simple application for image transformation with script language and modularity
Language:C2 4 00
Lab_Testing
Language:Kotlin2 4 00
mledu
Originally by @YUNGC0DE
Language:HTML7 4 11
php-datagen
Code generator for making data classes on PHP
Language:PHP6 5 00
pillars
Spigot mini game by idea from mr. Nuckem and TeroserPlay
Language:Kotlin0 4 00
pngprinter
Bash script for printing PNG images on terminal
Language:Shell1 3 00

ProgMiner's Repositories

ProgMiner/applied-statistics
Language:TypeScript10 5 010
ProgMiner/mledu
Originally by @YUNGC0DE
Language:HTML7 4 11
ProgMiner/cool-vt-gif-bot
Telegram bot that creates cool GIFs, with love from VT 💖
Language:Kotlin2 2 00
ProgMiner/CW_DB
Language:TypeScript2 4 01
ProgMiner/Lab_Web
Language:TypeScript2 4 01
ProgMiner/gazolang
Я написал очередной бесполезный язык программирования, газоязык... На нём программировали наши газопредки
Language:TypeScript1 2 0
ProgMiner/ICFPC-2024
ICFP Contest 2024
Language:Python1
ProgMiner/Lab_FunctionalProgramming
Language:Racket1 3 0
ProgMiner/pngprinter
Bash script for printing PNG images on terminal
Language:Shell1 3 00
ProgMiner/regular-equation-system-solver
Language:Haskell1 4 0
ProgMiner/agda-vim
Agda interaction in vim with Python 3
Language:Vim Script1 0
ProgMiner/GitHubGraduation-2022
Join the GitHub Graduation Yearbook and "walk the stage" on June 11.
Language:JavaScript2 0
ProgMiner/itmo-abit-bot
Language:Kotlin1 0
ProgMiner/Lab_Compilers2
Language:TeX1 0
ProgMiner/Lab_Coq
A supplementary Coq workout repository
Language:Coq1 0
ProgMiner/Lab_DependentTypes
2 0
ProgMiner/Lab_FormalLang
Курс по формальным языкам: шаблон для домашних работ + материалы
Language:Python1 0
ProgMiner/Lab_GPU
1 0
ProgMiner/Lab_Java_Bonus
Language:Java2 0
ProgMiner/Lab_LLVM
Language:C++2 0
ProgMiner/Lab_LLVM2
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
1 0
ProgMiner/Lab_LRP
A supplementary repository for the course on logic and relational programming
Language:Haskell1 0
ProgMiner/Lab_SoftwareDevelopment
2 01
ProgMiner/Lab_VM
Language:C++2 0
ProgMiner/Lama
Teaching language LaMa for a compiler course
Language:OCaml1 0
ProgMiner/newsqool
Language:TypeScript2 6
ProgMiner/OCanren
Statically typed embedding of miniKanren relational programming language into OCaml
Language:OCaml1 0
ProgMiner/pwgen
Password manager for a paranoid
Language:C++3 0
ProgMiner/sage-on-gentoo
(Unofficial) Gentoo Overlay for Sage- and Sage-related ebuilds
Language:Shell2 0
ProgMiner/yaprofi2022-program-engineering-task
Language:Kotlin3 0