Rankings
Badges
/
Ptival
Rankings
Badges
Overview
Ranks
Repositories
Languages
Valentin Robert
@Ptival
Refresh
Open GitHub
🇺🇸 Portland, OR
Galois, Inc.
Profile age: almost 15 years
Updated 9 days ago
119 followers • 29 following
Contacts
valentin.robert.42@gmail.com
http://ptival.github.io
@Ptival
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 4
Persona
Contributor
#141,178
#106,981
#97,930
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
PeaCoq
105
10
1
updated about 4 years ago • age over 11 years
Coq
48.1%
TypeScript
45.6%
JavaScript
2.4%
HTML
2.0%
Python
1.9%
language-ocaml
14
1
updated about 4 years ago • age over 7 years
Haskell
58.4%
Yacc
27.2%
Lex
10.8%
Nix
2.6%
OCaml
1.0%
ocamelf
12
3
updated over 13 years ago • age over 13 years
OCaml
100.0%
yugioh
11
1
updated about 5 years ago • age about 7 years
Haskell
89.3%
Nix
10.7%
chick
9
0
updated about 4 years ago • age almost 9 years
Haskell
89.0%
PureScript
5.4%
Coq
4.6%
JavaScript
0.8%
Makefile
0.1%
View all 15 repositories
Last Contributions
2025
vellvm
1 PR
+10
-7
LLVM
443
38
7
2024
cryptol
1 PR
+164
-157
Haskell
1,181
128
26
saw-script
2 PRs
+37
-85
Haskell
478
77
14
reopt
~16 PRs
+15
-11
LLVM
328
29
2
macaw
~12 PRs
+158
-60
Haskell
230
23
View all contributions
Latest Updates
30 Sep 2025
Followers Count:
118
119
16 Sep 2025
Followers Count:
117
118
02 Sep 2025
Followers Count:
116
117
19 Aug 2025
Followers Count:
114
116
05 Aug 2025
Followers Count:
116
114
04 Jan 2025
First seen
Subscribe to Ptival's GitHub rank updates in your messenger
WhatsApp
Telegram
