Language Breakdown
Lines of code distribution across 7 owned repositories
7.5M
Total LOC
Agda
6,944,937 lines
92.2%
N/A
TeX
219,826 lines
2.9%
N/A
JavaScript
134,070 lines
1.8%
N/A
HTML
83,931 lines
1.1%
N/A
SCSS
65,570 lines
0.9%
N/A
Other
84,448 lines
1.1%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Agda
Agda
TeX
JavaScript
HTML
SCSS
Collaboration Network
Global Impact visualization
Repos
16
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
108
Contributions
99
Commits
7
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
7 total
Ansh
@anshwad10
Loïc Pujet
@loic-p
David Wärn
@dwarn
Ayberk Tosun
@ayberkt
Guilherme Silva
@guilhermehas
Synced via GitHub
Top Repositories
MGS
0
0
TeX
containers
0
0
Agda
minesweeper
0
0
JavaScript
SyntheticCohomologyTests
0
0
Agda
turin-cubical
0
0
Agda
lib-agda
My customized version of the Agda standard library
0
0
Agda
aljungstrom.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
0
0
JavaScript
HoTTEST-Summer-School
HoTTEST Summer School materials
0
0
TeX
serre-finiteness
0
0
Agda
da3018_vt22_repo
0
0
Java
Open Source Impact
Contributions to external projects
80 merged PRs
Contributed to 4 repositories