Share :

duckki

Duckki Oe

@duckki

Seattle, WA, USA 🇺🇸

Refresh user

Last updated : 12:12AM UTC, Sep 24th 2021

10 - Rank 507 435 🌍

Lean

Ranking:

World: 61 / 170

United States of America 🇺🇸: 18 / 38

Seattle: 3 / 5

1 repository

#61
6

Coq

Ranking:

World: 324 / 737

United States of America 🇺🇸: 75 / 161

Seattle: 5 / 9

2 repositories

#324
3

JavaScript

Ranking:

World: 501648 / 547136

United States of America 🇺🇸: 66561 / 70942

Seattle: 3172 / 3389

1 repository

#501648
1