Beast code in Giters

Veremeenko Artyom's repositories

mmcs-philosopy-2014

Записки по лекциям по философии, читаемым В. П. Муленко на Мехмате ЮФУ в 2014 г.

7 4 1

compsci

Language:Python200

txt

Simple tasklist parser, 'todotxt'-style

Language:Python200

mmcs-sec-management-2014

1 4 1

ranger

A vim-inspired filemanager for the console

Language:Python1 20

studying-sf

The Book: www.cis.upenn.edu/~bcpierce/sf/

Language:Coq100

ape-playground

Language:Solidity000

arwer13.github.io

https://pantini.gitbook.io/

Language:HTMLMIT010

certif-sw-2014

Language:Coq000

docs

Language:JavaScript000

echo-msk-downloader

A python 3.4+ script, intended for automatic downloading of your favourite echo.msk.ru broadcasts.

Language:Python000

forta-alerting-debug

Language:TypeScript000

lido-dao

Lido DAO smart contracts

Language:JavaScriptGPL-3.0000

lido-l2

Language:TypeScriptGPL-3.0000

mev-job-board

Need a bot?

000

mmcs_sfedu_thesis

Шаблон выпускной работы на Мехмате ЮФУ

Language:TeX020

money.txt

An expence tracking application inspired by todo.txt

Language:Python03 12

money.txt-scala

Language:Scala000

todo.txt-android

Official Todo.txt Android app for managing your todo.txt file stored in Dropbox.

Language:JavaGPL-3.0000

tools

000

trees

Холмогорье - Живые подарки - Дерево

Language:HTML000