Haskell, Math, Lisps, Proof Assistants, Compilers and a tiny bit of Emacs.
flycheck top 10... ivy top 100 hindley-milner ...

Global rank

# 205,149

Topics of expertise

flychec...
ivy
hindley...
magit

Github followers

24

Github username

sergv

Location

London, UK

About

Sergey Vinokurov's main area of expertise is flycheck , and is also an expert on ivy and hindley-milner . Sergey Vinokurov is recognized as Flycheck Top-100Ivy Top-100, and Hindley-milner Top-100 . A Github user since 2011 , Sergey Vinokurov is ranked as #205,149 globally .
Additional areas of expertise: magit, development-tools, and tcc

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.