Chris Marinos (@ChrisMarinos)
  • Stars
    star
    1,252
  • Global Rank 23,523 (Top 0.9 %)
  • Followers 47
  • Registered about 14 years ago
  • Most used languages
    F#
    100.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 7,282
  • Country Ranking
    F#
    4