Mike Voronov (@mikevoronov)
github

mikevoronov

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    21
  • Global Rank 621,339 (Top 22 %)
  • Followers 35
  • Following 54
  • Registered over 9 years ago
  • Most used languages
    Coq     20.0 %
    Lua
         20.0 %
    C++
         20.0 %
    Shell
         20.0 %
    Cuda     20.0 %

Top repositories

1

libp2p-dissector

Project for ETHBerlin hackaton bounty: https://github.com/ethberlinzwei/Bounties/issues/20
Lua
13
star
2

configs

various configs for shell, vim, tmux, ... Inspired by https://github.com/jonhoo/configs
Shell
4
star
3

applied-type-theory

Applied type theory, MSU Fall 2022
Coq
2
star
4

yet_another_storage

C++
1
star
5

zprize-msm-gpu-submission

Cuda
1
star