Shashank Anand (@Sh-Anand)
github

Sh-Anand

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2
  • Global Rank 2,219,069 (Top 77 %)
  • Followers 8
  • Following 8
  • Registered almost 8 years ago
  • Most used languages
    C++
         50.0 %
    Agda     50.0 %
  • Location 🇨🇭 Switzerland
  • Country Total Rank 11,688
  • Country Ranking
    Agda     6
    C++
         2,016

Top repositories

1

Raytracer-in-CPP

C++
1
star
2

practical-verification-of-sequences-

Agda
1
star