Language Breakdown
Lines of code distribution across 15 owned repositories
M-Shaped Developer
M-shapedMulti-specialist across Coq, OCaml, Haskell
Collaboration Network
Global Impact visualization
Repos
48
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Koki Takahashi
@hakatashi
Kazushi Kitaya
@kkty
Akira Kawata
@akawashiro
Hiromi Ogawa
@coord-e
mei-t
@mei-t
Top Repositories
yet another toy OCaml interpreter in Haskell
A tiny OCaml compiler with JVM backend 🐫☕️
"Gradual Tensor Shape Checking" (ESOP 23)
Knuth-Bendix completion in Egison (and Haskell). 技術書典7
Pieces of code written in Egison
concurrent transaction control system from scratch
Collection of learning resources for Jasmin (JVM assembler)
Buchberger's algorithm in Egison
a toy shell written in OCaml 🐫🐚
A set of examples around pytorch in Vision, Text, Reinforcement Learning, etc.
Open Source Impact
Contributions to external projects