progminer Goto Github PK

agda-vim

Agda interaction in vim with Python 3

alters

applied-statistics

battleship

Battleship game

befunge

Simple Befunge interpreter written on C++

btrfs-reading-module

Simple module for reading from BTRFS volume

cipherinator

A platform for JavaScript-based cipher scripts

click-test

Clicking test application

cool-vt-gif-bot

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

cw_db

gazolang

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

gazville

githubgraduation-2022

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

hest

The simple language written on Haskell

image-constructor

Library for object oriented image generation

image-transformer

A simple application for image transformation with script language and modularity

ipscanner

A simple IPv4 address scanner

itmo-abit-bot

jlex-php

A lexer generator for PHP. Try to refactoring wex/JLexPHP

jlex-php-lib

PHP classes for JLexPHP generated lexers

king-of-the-hill

Game by idea from Andrey Balkovskiy

kmyacc-lib

Library for kmyacc generated PHP files

lab_algosy

Labs for Algorithms and Data Structures discipline

lab_compilers

lab_compilers2

lab_compmath

lab_computersystemsdesign

lab_coq

A supplementary Coq workout repository

lab_dependenttypes

lab_distributedcomputing