Eridan Domoratskiy (ProgMiner)

ProgMiner

User data from Github https://github.com/ProgMiner

Location:Russian Federation, Saint-Petersburg, Peterhof

Home Page:https://progminer.ru

GitHub:@ProgMiner

Eridan Domoratskiy's repositories

Language:TypeScriptStargazers:10Issues:4Issues:0

mledu

Originally by @YUNGC0DE

cool-vt-gif-bot

Telegram bot that creates cool GIFs, with love from VT 💖

Language:KotlinStargazers:2Issues:2Issues:0
Language:TypeScriptStargazers:2Issues:3Issues:0

gazolang

Я написал очередной бесполезный язык программирования, газоязык... На нём программировали наши газопредки

Language:TypeScriptStargazers:1Issues:2Issues:0

ICFPC-2024

ICFP Contest 2024

Language:PythonStargazers:1Issues:0Issues:0

micro-prolog

Simple and straightforward implementation of Prolog without any side-effects support developed for educational purposes

Language:TypeScriptStargazers:1Issues:0Issues:0

miniKanren-coq

A certified semantics for relational programming workout.

Language:CoqStargazers:1Issues:0Issues:0

pngprinter

Bash script for printing PNG images on terminal

Language:ShellLicense:MITStargazers:1Issues:3Issues:0

agda-vim

Agda interaction in vim with Python 3

Language:Vim ScriptLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

Cipherinator

A platform for JavaScript-based cipher scripts

Language:C++License:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0

GitHubGraduation-2022

Join the GitHub Graduation Yearbook and "walk the stage" on June 11.

Language:JavaScriptStargazers:0Issues:1Issues:0
Language:KotlinStargazers:0Issues:1Issues:0

Lab_Coq

A supplementary Coq workout repository

Language:CoqStargazers:0Issues:1Issues:0

Lab_FormalLang

Курс по формальным языкам: шаблон для домашних работ + материалы

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0
License:MITStargazers:0Issues:1Issues:0
Language:JavaStargazers:0Issues:2Issues:0
Language:C++Stargazers:0Issues:2Issues:0

Lab_LLVM2

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

License:NOASSERTIONStargazers:0Issues:1Issues:0

Lab_LRP

A supplementary repository for the course on logic and relational programming

Language:HaskellStargazers:0Issues:1Issues:0
Language:C++Stargazers:0Issues:2Issues:0

Lama

Teaching language LaMa for a compiler course

Language:OCamlLicense:GPL-3.0Stargazers:0Issues:1Issues:0
Language:TypeScriptStargazers:0Issues:2Issues:6

OCanren

Statically typed embedding of miniKanren relational programming language into OCaml

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:1Issues:0

ocanren-perf

Benchmarks for different miniKanren implementations

Stargazers:0Issues:0Issues:0

pwgen

Password manager for a paranoid

Language:C++Stargazers:0Issues:2Issues:0
Language:CStargazers:0Issues:0Issues:0