Language Breakdown
Lines of code distribution across 3 owned repositories
375K
Total LOC
Agda
374,621 lines
100.0%
N/A
Makefile
56 lines
0.0%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Agda
Agda
Makefile
Collaboration Network
Global Impact visualization
Repos
8
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
3
Contributions
2
Commits
0
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Followers
2
Following
0 total
Not following anyone yet.
Synced via GitHub
Top Repositories
ll-polynomials
Agda formalization of a polynomial model of linear logic in HoTT
0
0
Agda
brainfuck
Brainfuck interpreter companion to the brain programming language
0
0
Rust
directed-hott
0
0
Agda
fibred-polynomials
Formalizing polynomials in groupoids.
0
0
Agda
ELib
M1 Internship code
0
0
Agda
cubical
An experimental library for Cubical Agda
0
0
Agda
Open Source Impact
Contributions to external projects
4 merged PRs
No external contributions found.