チルノのパーフェクトさんすう教室
282
Followers
341
Following
272
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 214 owned repositories
822K
Total LOC
Typst
451,921 lines
55.0%
N/A
Lean
199,854 lines
24.3%
N/A
TeX
55,554 lines
6.8%
N/A
Astro
48,815 lines
5.9%
N/A
TypeScript
21,961 lines
2.7%
N/A
Other
43,515 lines
5.3%
N/A
T
T-Shaped Developer
T-shapedDeep in Typst with broad versatility
Typst
Lean
TeX
Astro
TypeScript
Collaboration Network
Global Impact visualization
Repos
504
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
3 days
1,479
Contributions
605
Commits
325
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
341 total
ARounder
@ARounder-183
coquand
@coquand
Belleve
@be5invis
zayn7lie
@zayn7lie
Riccardo Borsetto
@eapiova
Synced via GitHub
Top Repositories
deno2nix
Integrate Deno with Nix
59
24
Nix
sno2wman.dev-vol.1
17
2
TypeScript
factchecker
鴨川って快活CLUBだ
16
0
TypeScript
satyxin
Are you SATySFi-ed with Nix?
14
1
Nix
otaku
お客様は、本ソフトウェアを大量破壊兵器等（核兵器・化学兵器・生物兵器・ミサイル）の設計、製造、使用を目的に使用しないことに確約いただきます。
13
1
JavaScript
tohohoify
トホホ…
12
3
TypeScript
customizable-gitmoji-cli
customizable gitmoji CLI
12
3
TypeScript
most-appear-single-char-in-niconico-tag
涼宮ハルヒコラボ、開催中よ！SOS団、全員集合！しかも、イベントはフルボイス！ただの野球部には興味ありません！野球型青春体験ゲーム、八月のシンデレラナイン！今なら 、涼宮ハルヒが貰えます！
10
0
Nix
Ronald-McDonald-insanity
M.C.ドナルドはダンスに夢中なのか？最終鬼畜道化師ドナルド・Ｍ
10
0
Logic101
論理学を（Leanで）つくる
8
0
Typst
Open Source Impact
Contributions to external projects
2301 merged PRs
be5invis/Iosevka
22387
leanprover/lean4
8246
leanprover-community/mathlib4
3449
FormalizedFormalLogic/Foundation
241
leanprover/verso
350
otoDB/10sen-extract
0
leanprover/lean-action
34
1000-plus/1000-plus.github.io
24
FormalizedFormalLogic/Book
6
FormalizedFormalLogic/.github
0
Contributed to 29 repositories