Language Breakdown
Lines of code distribution across 10 owned repositories
2.6M
Total LOC
TeX
881,796 lines
34.4%
N/A
Haskell
825,378 lines
32.2%
N/A
Agda
539,012 lines
21.1%
N/A
HTML
311,084 lines
12.2%
N/A
CSS
2,049 lines
0.1%
N/A
Other
650 lines
0.0%
N/A
M
M-Shaped Developer
M-shapedMulti-specialist across TeX, Haskell, Agda
TeX
Haskell
Agda
HTML
CSS
Collaboration Network
Global Impact visualization
Repos
31
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
2 days
181
Contributions
160
Commits
12
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
5 total
Simon Huber
@simhu
Matias Scharager
@pi314mm
Corinthia Beatrix Aberlé
@cbaberle
Stefania Damato
@stefaniatadama
Niels van der Weide
@nmvdw
Synced via GitHub
Top Repositories
agda-sessions
Learn the Agda basics in three 2-hour sessions.
60
7
Agda
menkar
The multimode presheaf proof-assistant
37
0
Haskell
ctx-alg
Algebraic theories with contexts, in cubical Agda
5
1
Agda
teaching-tt
Materials for teaching type theory
4
0
HTML
cartesian-2dtt
2
0
TeX
willow
Personal agda library
2
0
Agda
bisikkel
A multimode logical framework in Agda
0
0
Agda
logic_and_proof
0
0
TeX
agda2hs
Compiling Agda code to readable Haskell
0
0
Agda
europroofnet.github.io
Sources of the EuroProofNet web site.
0
0
Ruby
Open Source Impact
Contributions to external projects
61 merged PRs
agda/agda
2874
EuroProofNet/europroofnet.github.io
13
leanprover-community/logic_and_proof
17
JorisCeulemans/bisikkel
8
paigenorth/north-nuyts
0
yeejian-tan/hset-cubical
1
Contributed to 6 repositories