@kotatsugame
github

kotatsugame

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    10
  • Global Rank 972,962 (Top 34 %)
  • Followers 23
  • Following 2
  • Registered about 8 years ago
  • Most used languages
    C++
         66.7 %
    Python
         33.3 %
  • Location πŸ‡―πŸ‡΅ Japan
  • Country Total Rank 14,756
  • Country Ranking
    C++
         1,463
    Python
         8,068

Top repositories

1

proof_assistant

C++
6
star
2

library

C++
2
star
3

atgolfer

Python
1
star