Language Breakdown
Lines of code distribution across 10 owned repositories
2.1M
Total LOC
C++
1,018,972 lines
49.2%
N/A
Idris
318,863 lines
15.4%
N/A
Lean
271,820 lines
13.1%
N/A
Rust
210,441 lines
10.2%
N/A
Emacs Lisp
64,678 lines
3.1%
N/A
Other
184,465 lines
8.9%
N/A
T
T-Shaped Developer
T-shapedDeep in C++ with broad versatility
C++
Idris
Lean
Rust
Emacs Lisp
Collaboration Network
Global Impact visualization
Repos
222
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
2 days
1,586
Contributions
529
Commits
13
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
7 total
Synced via GitHub
Top Repositories
cmk
3
0
Rust
peering
1
0
Idris
clangup
0
0
Go
daos
DAOS Storage Stack (client libraries, storage engine, control plane)
0
0
C
zoe
0
0
CMake
clang-toolchain
0
0
Dockerfile
3FS
A high-performance distributed file system designed to address the challenges of AI training and inference workloads.
0
0
C++
tree-sitter-souffle
A tree-sitter grammar for Soufflé Datalog
0
0
C
ccls
C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting
0
0
C++
foundationdb
FoundationDB - the open source, distributed, transactional key-value store
0
0
C++
Open Source Impact
Contributions to external projects
42 merged PRs
ceph/ceph
16718
apple/foundationdb
16424
MaskRay/ccls
4065
boostorg/cobalt
341
flowmq-io/foundationdb
0
emacs-remote-lab/lsp-pipe
1
emacs-remote-lab/ghost-fs
0
Contributed to 7 repositories