Yakov Pechersky (@pechersky)
github

pechersky

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    33
  • Global Rank 458,219 (Top 16 %)
  • Followers 47
  • Following 1
  • Registered about 11 years ago
  • Most used languages
    Haskell
         71.4 %
    Python
         14.3 %
    Lean     14.3 %
  • Location 🇺🇸 United States
  • Country Total Rank 87,054
  • Country Ranking
    Lean     97
    Haskell
         555

Top repositories

1

haskell-numpy-docs

Examples of Haskell versions of Numpy usage
Haskell
18
star
2

sendoff

The minimal SDF metadata parser
Python
8
star
3

haskell-word2vec

A haskell implementation of word2vec
Haskell
3
star
4

hs-advent2017

Haskell solutions to Advent of Code 2017
Haskell
1
star
5

e222

Formalization of Benedict Gross's E-222 lectures using Lean
Lean
1
star
6

hs-otw

Haskell solutions to OverTheWire wargames
Haskell
1
star
7

hs-euler

Haskell solutions to Euler problems
Haskell
1
star