Tohoku University
26
Followers
8
Following
18
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 16 owned repositories
1.9M
Total LOC
Lean
1,525,913 lines
78.5%
N/A
Typst
242,980 lines
12.5%
N/A
Coq
152,014 lines
7.8%
N/A
TeX
19,500 lines
1.0%
N/A
JavaScript
2,993 lines
0.2%
N/A
Other
1,165 lines
0.1%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Lean
Lean
Typst
Coq
TeX
JavaScript
Collaboration Network
Global Impact visualization
Repos
39
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
2 days
496
Contributions
96
Commits
85
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
8 total
Shunsuke Ikadai
@takei-batu
kei
@thelissimus
Miyahara Kō
@Komyyy
Satoshi Takimoto
@wasabi315
Jeremy Avigad
@avigad
Synced via GitHub
Top Repositories
Lulu
formalization of music theory
5
0
Lean
Hydra
Attempts to formalize ordinal analysis
2
0
Lean
lean-logic
論理学
2
0
Lean
master-thesis
Computational Aspects of Weak Logical Theories
1
0
Typst
notes-on-arithmetical-completeness
1
0
Typst
advent2024-algebraic-hauptsatz
1
0
Typst
ffl-slides
1
0
Typst
goedelgod
ゲーデルゴッド
1
0
Lean
lean-reducibility
計算理論
1
1
Lean
cslib
A Lean library for Computer Science
0
0
Lean
Open Source Impact
Contributions to external projects
123 merged PRs
leanprover-community/mathlib4
3450
FormalizedFormalLogic/Foundation
242
FormalizedFormalLogic/.github
0
FormalizedFormalLogic/Begriffsschrift
1
Contributed to 4 repositories