Language Breakdown
Lines of code distribution across 8 owned repositories
664K
Total LOC
Agda
317,434 lines
47.8%
N/A
Haskell
177,287 lines
26.7%
N/A
TeX
165,342 lines
24.9%
N/A
Emacs Lisp
1,940 lines
0.3%
N/A
Shell
1,328 lines
0.2%
N/A
Other
1,006 lines
0.2%
N/A
T
T-Shaped Developer
T-shapedDeep in Agda with broad versatility
Agda
Haskell
TeX
Emacs Lisp
Shell
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
2 days
348
Contributions
0
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
Following
11 total
Philipp G. Haselwarter
@haselwarter
Jean-Philippe Bernardy
@jyp
Anders Mörtberg
@mortberg
Cyril Cohen
@CohenCyril
Fabian
@bafain
Synced via GitHub
Top Repositories
cubical
Implementation of Univalence in Cubical Sets
145
10
Haskell
ecwf
4
0
Agda
canonicity
1
0
TeX
ehol
A computational interpretation of extensional higher-order logic
1
0
codecrafters-redis-haskell
0
0
Haskell
adventofcode
0
0
Haskell
simhu.github.io
Personal Homepage
0
0
HTML
coq-course
Coq course at Chalmers CSE
0
0
Coq
cubicaltt
0
0
Haskell
proglogposter
0
0
TeX
Open Source Impact
Contributions to external projects
2 merged PRs
No external contributions found.