Tiark Rompf (@TiarkRompf)
  • Stars
    star
    1,015
  • Global Rank 30,153 (Top 2 %)
  • Followers 299
  • Following 9
  • Registered about 14 years ago
  • Most used languages
    Scala
    73.9 %
    Coq
    17.4 %
    C
    4.3 %
    CSS
    4.3 %