Eric Vincent (@efvincent)
github

efvincent

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Rank 1,854,108 (Top 64 %)
  • Followers 12
  • Following 21
  • Registered over 13 years ago
  • Most used languages
    Lean     50.0 %
    Haskell
         50.0 %
  • Location ๐Ÿ‡บ๐Ÿ‡ธ United States
  • Country Total Rank 305,304
  • Country Ranking
    Lean     87
    Haskell
         2,842

Top repositories

1

adventOfLean

Practice in functional programming with Lean 4 via Advent of Code 2022
Lean
2
star
2

advent-of-code

Leveling up Haskell skills with Advent of Code
Haskell
1
star