Japan
54
Followers
88
Following
48
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 40 owned repositories
2.0M
Total LOC
Agda
620,443 lines
30.5%
N/A
Haskell
519,020 lines
25.5%
N/A
OCaml
348,945 lines
17.2%
N/A
TeX
167,257 lines
8.2%
N/A
TypeScript
85,170 lines
4.2%
N/A
Other
291,395 lines
14.3%
N/A
π
Pi-Shaped Developer
π-shapedTwo strong pillars: Agda & Haskell
Agda
Haskell
OCaml
TeX
TypeScript
Collaboration Network
Global Impact visualization
Repos
50
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
10 days
939
Contributions
565
Commits
4
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
88 total
Koen Claessen
@koengit
Jens Petersen
@juhp
coquand
@coquand
Sam Toth
@samtoth
Naïm Camille Favier
@ncfavier
Synced via GitHub
Top Repositories
type-search-zoo
A collection of type-based library search algorithms
12
0
Haskell
aegle
A prototype type-based library search tool for Agda
5
0
Haskell
dependent-type-check-ts
5
0
TypeScript
eff-ts
Effect handlers using JS/TS Generators
3
0
TypeScript
coverage-checking
2
0
Agda
LkProver
2
0
OCaml
Hasche
A lisp interpreter written in Haskell
2
0
Haskell
dotfiles
2
0
Shell
DH
1
0
Haskell
XCios
1
0
OCaml
Open Source Impact
Contributions to external projects
104 merged PRs
No external contributions found.