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 10 days ago
119 followers • 29 following
Contacts
valentin.robert.42@gmail.com
http://ptival.github.io
@Ptival
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%
lyah-fr
8
6
updated over 5 years ago • age about 14 years
CSS
70.1%
Makefile
15.2%
XSLT
11.2%
HTML
3.5%
mock-haskell-projects
8
0
updated almost 6 years ago • age almost 6 years
extensible-nanopass-compiler
8
0
updated almost 5 years ago • age almost 6 years
Coq
96.1%
Nix
3.9%
recursion-schemes-examples
7
0
updated over 6 years ago • age about 7 years
Haskell
100.0%
language-coq
6
0
updated almost 6 years ago • age almost 6 years
Haskell
100.0%
Show more - 10 of 15 shown
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
elf-edit
2 PRs
+14
-42
Haskell
39
6
llvm-pretty
1 PR
+52
-3
Haskell
30
16
5
uvmhs
2 PRs
+1,459
-1,474
Haskell
2
6
darais-unicode-input
3 PRs
+141
-2
HTML
1
0
2023
reopt
~64 PRs
+343
-176
LLVM
328
29
2
Show more
