Share :

Ptival

Valentin Robert

@Ptival

San Diego, CA 🇺🇸

Refresh user

Last updated : 09:36PM UTC, Jun 17th 2021

196 - Rank 74 649 🌍

Coq

Ranking:

World: 21 / 737

United States of America 🇺🇸: 9 / 161

San Diego: 1 / 3

5 repositories

#21
109

Haskell

Ranking:

World: 967 / 11059

United States of America 🇺🇸: 249 / 2084

San Diego: 6 / 33

10 repositories

#967
49

OCaml

Ranking:

World: 802 / 3227

United States of America 🇺🇸: 173 / 675

San Diego: 1 / 4

1 repository

#802
11

Nix

Ranking:

World: 374 / 1596

United States of America 🇺🇸: 82 / 283

San Diego: 1 / 1

4 repositories

#374
10

CSS

Ranking:

World: 14024 / 129072

United States of America 🇺🇸: 2568 / 16325

San Diego: 22 / 202

1 repository

#14024
8

Python

Ranking:

World: 173830 / 483868

United States of America 🇺🇸: 25781 / 58493

San Diego: 344 / 814

1 repository

#173830
4

JavaScript

Ranking:

World: 289357 / 547136

United States of America 🇺🇸: 43742 / 70942

San Diego: 517 / 903

1 repository

#289357
2

HTML

Ranking:

World: 119276 / 267554

United States of America 🇺🇸: 15689 / 29901

San Diego: 180 / 361

1 repository

#119276
1

PureScript

Ranking:

World: 447 / 612

United States of America 🇺🇸: 99 / 127

San Diego: 2 / 3

1 repository

#447
1

Makefile

Ranking:

World: 8203 / 15335

United States of America 🇺🇸: 1290 / 2147

San Diego: 14 / 27

1 repository

#8203
1