@dkhalansky
github

dkhalansky

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    9
  • Global Rank 1,034,169 (Top 36 %)
  • Followers 4
  • Following 1
  • Registered about 7 years ago
  • Most used languages
    Python
         66.7 %
    Scala
         33.3 %
  • Location πŸ‡·πŸ‡Ί Russia
  • Country Total Rank 10,710
  • Country Ranking
    Scala
         165
    Python
         1,875

Top repositories

1

stepik

Stepik CLI
Python
4
star
2

coqoune

Plugin for kakoune for interaction with Coq
Python
4
star
3

paradise-ng

Plugin for scalac for operating on ASTs
Scala
1
star