Kinon (@kinoh)
github

kinoh

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    11
  • Global Rank 920,445 (Top 32 %)
  • Followers 3
  • Following 1
  • Registered over 11 years ago
  • Most used languages
    F#
         33.3 %
    TypeScript
         33.3 %
    C++
         33.3 %
  • Location πŸ‡―πŸ‡΅ Japan
  • Country Total Rank 14,152
  • Country Ranking
    F#
         70
    C++
         1,676
    TypeScript
         2,345

Top repositories

1

VoiceSynthesis

Real-time articulatory synthesizer
C++
6
star
2

TypeMath

Edit mathematical formula on browser
TypeScript
4
star
3

PureProof

Automated proving in propositional logic
F#
1
star