- Russian Federation, Saint-Petersburg, Peterhof
- https://byprogminer.ru
Highlights
- Pro
Block or Report
Block or report ProgMiner
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
Lama Public
Forked from PLTools/LamaTeaching language LaMa for a compiler course
OCaml GNU General Public License v3.0 UpdatedJul 14, 2024 -
-
OCanren Public
Forked from PLTools/OCanrenStatically typed embedding of miniKanren relational programming language into OCaml
OCaml GNU Lesser General Public License v2.1 UpdatedMay 13, 2024 -
Lab_LLVM2 Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Other UpdatedApr 27, 2024 -
-
Lab_Coq Public
Forked from dboulytchev/coq-supplementaryA supplementary Coq workout repository
Coq UpdatedApr 20, 2024 -
Lab_LRP Public
Forked from dboulytchev/LRP-2021A supplementary repository for the course on logic and relational programming
Haskell UpdatedApr 19, 2024 -
-
-
-
-
-
gazolang Public
Я написал очередной бесполезный язык программирования, газоязык... На нём программировали наши газопредки
-
cool-vt-gif-bot Public
Telegram bot that creates cool GIFs, with love from VT 💖
-
-
-
Lab_FormalLang Public
Forked from FormalLanguageConstrainedPathQuerying/formal-lang-courseКурс по формальным языкам: шаблон для домашних работ + материалы
Python Apache License 2.0 UpdatedJun 2, 2023 -
agda-vim Public
Forked from derekelkins/agda-vimAgda interaction in vim with Python 3
Vim Script BSD 2-Clause "Simplified" License UpdatedMay 26, 2023 -
pngprinter Public
Bash script for printing PNG images on terminal
-
-
-
-
-
GitHubGraduation-2022 Public
Forked from github-education-resources/GitHubGraduation-2022Join the GitHub Graduation Yearbook and "walk the stage" on June 11.
JavaScript UpdatedMay 24, 2022 -
-
-
-
-
sage-on-gentoo Public
Forked from cschwan/sage-on-gentoo(Unofficial) Gentoo Overlay for Sage- and Sage-related ebuilds
Shell UpdatedFeb 3, 2022 -