Language Breakdown
Lines of code distribution across 11 owned repositories
14.3M
Total LOC
Coq
6,910,931 lines
48.3%
N/A
C
4,233,706 lines
29.6%
N/A
OCaml
1,537,855 lines
10.7%
N/A
Python
777,704 lines
5.4%
N/A
Isabelle
463,102 lines
3.2%
N/A
Other
386,930 lines
2.7%
N/A
T
T-Shaped Developer
T-shapedDeep in Coq with broad versatility
Coq
C
OCaml
Python
Isabelle
Collaboration Network
Global Impact visualization
Repos
21
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
2 days
919
Contributions
43
Commits
2
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
4 total
Synced via GitHub
Top Repositories
amazon-sort
1
1
JavaScript
boulder-center
0
0
Python
HYPIR
Official implementation of HYPIR: Harnessing Diffusion-Yielded Score Priors for Image Restoration (SIGGRAPH 2025)
0
0
Python
llm-council
LLM Council works together to answer your hardest questions
0
0
Python
obsidian-copy-to
0
0
JavaScript
jobsidian
0
0
Python
spackupify
0
0
Python
truststore
Verify certificates using OS trust stores
0
0
Python
LFMF
Low Frequency / Medium Frequency (LF/MF) Propagation Model
0
0
C++
coderoulette
0
0
TypeScript
Open Source Impact
Contributions to external projects
7 merged PRs
Contributed to 2 repositories