Share :

LightAndLight

Isaac Elliott

@LightAndLight

Australia 🇦🇺

Refresh user

Last updated : 04:23PM UTC, Jun 21st 2021

446 - Rank 39 299 🌍

Haskell

Ranking:

World: 187 / 11059

Australia 🇦🇺: 4 / 258

72 repositories

#187
388

Idris

Ranking:

World: 31 / 311

Australia 🇦🇺: 2 / 9

3 repositories

#31
32

Nix

Ranking:

World: 492 / 1596

Australia 🇦🇺: 14 / 42

4 repositories

#492
6

Agda

Ranking:

World: 150 / 349

Australia 🇦🇺: 1 / 5

2 repositories

#150
5

Emacs Lisp

Ranking:

World: 2953 / 9408

Australia 🇦🇺: 48 / 145

1 repository

#2953
5

PureScript

Ranking:

World: 308 / 612

Australia 🇦🇺: 10 / 22

2 repositories

#308
3

Makefile

Ranking:

World: 4923 / 15335

Australia 🇦🇺: 90 / 227

1 repository

#4923
3

Java

Ranking:

World: 149390 / 311069

Australia 🇦🇺: 1288 / 2482

1 repository

#149390
2

TeX

Ranking:

World: 13538 / 23502

Australia 🇦🇺: 216 / 335

1 repository

#13538
1

VimL

Ranking:

World: 5990 / 9837

Australia 🇦🇺: 113 / 189

1 repository

#5990
1