Rankings
Badges
/
pi8027
Rankings
Badges
Overview
Ranks
Repositories
Languages
Kazuhiko Sakaguchi
@pi8027
Refresh
Open GitHub
🇫🇷 Lyon, France
CNRS, ENS de Lyon, UCBL, LIP
Profile age: about 16 years
Updated 2 days ago
191 followers • 13 following
Contacts
pi8027@gmail.com
Organizations
Profile Overview
Global
France
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 1
Persona
Influencer
#153,475
#361,830
#55,844
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
lambda-calculus
84
8
updated over 5 years ago • age almost 13 years
Coq
77.2%
Agda
22.3%
Makefile
0.5%
typeinfer
40
2
updated over 10 years ago • age over 14 years
TeX
84.3%
Standard ML
9.2%
Haskell
4.7%
OCaml
1.8%
stablesort
25
1
4
updated about 2 months ago • age over 4 years
Rocq Prover
96.3%
Nix
2.5%
Makefile
1.2%
efficient-finfun
13
0
updated almost 6 years ago • age over 9 years
Coq
89.4%
OCaml
8.1%
Shell
2.0%
Makefile
0.5%
formalized-postscript
12
1
updated over 11 years ago • age about 13 years
Coq
97.8%
Shell
2.2%
View all 9 repositories
Last Contributions
2025
math-comp
2 PRs
+242
-185
Rocq Prover
654
124
27
analysis
3 PRs
+68
-77
Rocq Prover
228
61
48
odd-order
2 PRs
+99
-99
Rocq Prover
35
16
9
apery
1 PR
+39
-33
Rocq Prover
25
8
2
templates
1 PR
+3
-3
Mustache
16
10
View all contributions
Latest Updates
23 Oct 2025
Followers Count:
189
191
24 Sep 2025
Followers Count:
188
189
09 Sep 2025
Followers Count:
185
188
26 Aug 2025
Followers Count:
183
185
12 Aug 2025
Followers Count:
184
183
04 Jan 2025
First seen
Subscribe to pi8027's GitHub rank updates in your messenger
WhatsApp
Telegram
