Rankings
Badges
/
Seasawher
Rankings
Badges
Overview
Ranks
Repositories
Languages
Kitamado
@Seasawher
Refresh
Open GitHub
🇯🇵 Japan
Proxima Technology
Profile age: over 6 years
Updated 7 days ago
96 followers • 291 following
Contacts
https://seasawher.hatenablog.com/
@Seasawher
Organizations
Profile Overview
Global
Japan
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 1
Persona
Influencer
#206,835
#208,582
#126,020
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
graduate_exam
Archived
58
5
updated over 2 years ago • age over 6 years
TeX
100.0%
mathlib4-help
19
1
updated 6 days ago • age over 1 year
Python
79.2%
Lean
20.8%
mdgen
17
3
35
updated 11 days ago • age almost 2 years
Lean
100.0%
lean-book
9
0
6
updated 9 days ago • age over 1 year
Lean
100.0%
mk-exercise
7
0
20
updated 11 days ago • age over 1 year
Lean
100.0%
View all 22 repositories
Last Contributions
2025
lean4
3 PRs
+11
-6
Lean
6,491
672
91
batteries
1 PR
+1
-1
Lean
329
126
28
lean4-metaprogramming-book
2 PRs
+67
-3
Lean
258
67
1
lean-by-example
1 PR
+2
-5
Lean
118
13
28
lean-update
~52 PRs
+60
-36
JavaScript
5
3
14
View all contributions
Latest Updates
25 Sep 2025
Followers Count:
95
96
10 Sep 2025
Followers Count:
92
95
11 Aug 2025
Followers Count:
91
92
28 Jul 2025
Followers Count:
89
91
14 Jul 2025
Followers Count:
87
89
Social Accounts:
generic: https://seasawher.hatenablog.com/
generic: https://seasawher.hatenablog.com/; twitter: @Seasawher
17 Jan 2025
First seen
Subscribe to Seasawher's GitHub rank updates in your messenger
WhatsApp
Telegram
