Language Breakdown
Lines of code distribution across 20 owned repositories
4.6M
Total LOC
Coq
2,013,155 lines
43.3%
N/A
Rocq Prover
1,691,854 lines
36.4%
N/A
TeX
431,258 lines
9.3%
N/A
OCaml
284,589 lines
6.1%
N/A
Haskell
95,572 lines
2.1%
N/A
Other
131,922 lines
2.8%
N/A
T
T-Shaped Developer
T-shapedDeep in Coq with broad versatility
Coq
Rocq Prover
TeX
OCaml
Haskell
Collaboration Network
Global Impact visualization
Repos
37
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
4 days
2,244
Contributions
39
Commits
3
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
6 total
Synced via GitHub
Top Repositories
asak
Identifying similar OCaml codes
31
2
OCaml
tungsten
Bring fusion to everyone
14
0
Haskell
intdet
All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
9
0
Rocq Prover
alga-tutorial-newfashion
An alga tutorial
6
0
Haskell
coq-alga
A bit of coq-proven alga
3
0
Coq
TheBlackCurse
Simple game written in Haskell using curses
2
0
Haskell
parcas
A Separation Logic for Parallel Time Complexity with Work and Span Credits
1
0
Rocq Prover
lint_ligo
Lint ligo
1
0
OCaml
alga-tutorial
1
0
HTML
zoo
0
0
Rocq Prover
Open Source Impact
Contributions to external projects
103 merged PRs
Contributed to 3 repositories