Find my rank

idris top developers

Name Rank Expertise Top repository Top badge
# 1
idris
Erlang
Kuberne...
prometh...
lfe 1.9K
Contributor
# 2
idris
Racket
Shell
jvm
Owner
# 3
idris
JavaScr...
Rails
React N...
ui 203
Contributor
# 4
idris
Groovy
Shell
Gradle
gradle 11.5K
Contributor
# 5
idris
coq
Shell
formal-...
Contributor
# 6
idris
agda
gtk
osx
Owner
# 7
idris
Haskell
Django
Elixir
Owner
# 8
idris
Rust
Shell
rocksdb
elba 170
Contributor
# 9
idris
query-l...
test-fr...
Shell
Contributor
# 10
idris
pony-la...
angular...
Svelte
Contributor
# 11
idris
lilypon...
coreml-...
ios11
Contributor
# 12
idris
Haskell
functio...
eztz 104
Contributor
# 13
idris
Haskell
React
sketcha...
Owner
# 14
idris
Haskell
functio...
Contributor
# 15
idris
PHP
woocomm...
WordPre...
Contributor
# 16
idris
JavaScr...
Shell
jvm
Contributor
# 17
idris
Haskell
Shell
compute...
Contributor
# 18
idris
Haskell
Zsh
Git
kate 209
Contributor
# 19
idris
coq
Shell
Emacs
Contributor
# 20
idris
Racket
Shell
2d-game
Contributor

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.