Share :

robkorn

Robert Kornacki

@robkorn

Refresh user

Last updated : 11:10PM UTC, Jul 11th 2021

130 - Rank 100 182 🌍

Rust

Ranking:

World: 2282 / 27091

7 repositories

#2282
81

Haskell

Ranking:

World: 1297 / 11059

3 repositories

#1297
32

Emacs Lisp

Ranking:

World: 2266 / 9408

2 repositories

#2266
8

Swift

Ranking:

World: 14737 / 37383

1 repository

#14737
4

Idris

Ranking:

World: 196 / 311

1 repository

#196
2

Agda

Ranking:

World: 297 / 349

1 repository

#297
1

Lean

Ranking:

World: 135 / 170

1 repository

#135
1

No language

Ranking:

World: 266771 / 531811

1 repository

#266771
1