Rankings
Badges
/
aigarashi
Rankings
Badges
Overview
Ranks
Repositories
Languages
Atsushi Igarashi
@aigarashi
Refresh
Open GitHub
🇯🇵 Kyoto, Japan
Kyoto University
Profile age: almost 12 years
Updated 11 days ago
41 followers • 0 following
Profile Overview
Global
Japan
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 4
Persona
Influencer
#271,680
#2,195,654
#335,665
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
PL-LectureNotes
53
5
updated almost 6 years ago • age about 9 years
Java
58.0%
C
26.4%
OCaml
11.4%
Scheme
3.8%
Makefile
0.3%
copl-tools
20
0
updated over 4 years ago • age over 11 years
OCaml
69.2%
JavaScript
16.3%
Scheme
11.1%
CSS
2.4%
Makefile
1.0%
errata-copl
8
0
updated about 7 years ago • age about 7 years
TPP2017
1
2
updated almost 8 years ago • age about 8 years
Coq
77.7%
Lean
22.3%
Last Contributions
2025
kuisthesis-template
1 PR
+11
-10
TeX
11
4
1
2021
interpreter
2 PRs
+37
-33
OCaml
1
0
2018
lambda-dti
2 PRs
+15
-3
OCaml
21
4
3
kuis-thesis-cover
1 PR
+60
-12
TeX
17
2
View all contributions
Latest Updates
22 Aug 2025
Followers Count:
40
41
24 Jul 2025
Followers Count:
41
40
09 Jul 2025
Followers Count:
40
41
06 Jan 2025
First seen
Subscribe to aigarashi's GitHub rank updates in your messenger
WhatsApp
Telegram
