Language Breakdown
Lines of code distribution across 4 owned repositories
130K
Total LOC
Agda
130,117 lines
100.0%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Agda
Agda
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
2 days
170
Contributions
80
Commits
20
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
33 total
Brent Yorgey
@byorgey
Jason
@jcreedcmu
James Jensen
@jajaperson
maybemabeline
@maybemabeline
Ingo Blechschmidt
@iblech
Synced via GitHub
Top Repositories
cubical-galois
Formalization of Galois theory using the Cubical library
2
0
Agda
arithmoi
Number theory: primes, arithmetic functions, modular computations, special sequences
0
0
Haskell
arendg
0
1
Arend
0
0
Java
antithesis-agda
The antithesis translation of linear logic into intuitionistic logic, formalized in Agda
0
0
Agda
ppss
random things in agda
0
0
Agda
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
0
0
Agda
cubical
An experimental library for Cubical Agda
0
0
Agda
Open Source Impact
Contributions to external projects
22 merged PRs
Contributed to 4 repositories