Atsushi Igarashi

@aigarashi

Open GitHub

🇯🇵 Kyoto, Japan

Kyoto University

Profile age: almost 12 years

Updated 11 days ago

41 followers • 0 following

Repositories

PL-LectureNotes

updated almost 6 years ago • age about 9 years

Java58.0%

C26.4%

OCaml11.4%

Scheme3.8%

Makefile0.3%

copl-tools

updated over 4 years ago • age over 11 years

OCaml69.2%

JavaScript16.3%

Scheme11.1%

CSS2.4%

Makefile1.0%

errata-copl

updated about 7 years ago • age about 7 years

TPP2017

updated almost 8 years ago • age about 8 years

Coq77.7%

Lean22.3%

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