Language Breakdown
Lines of code distribution across 9 owned repositories
180K
Total LOC
Rust
150,871 lines
83.9%
N/A
TeX
29,024 lines
16.1%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Rust
Rust
TeX
Collaboration Network
Global Impact visualization
Repos
48
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
436
Contributions
269
Commits
85
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Top Repositories
blog
2
0
simple-safe-init
2
0
Rust
sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
1
0
Markdown
lkml
Program to download and assort emails from mailing lists supported by `lei`
1
1
Rust
tree-borrows
1
0
TeX
linux
Adding support for the Rust language to the Linux kernel.
1
0
C
field-projections-designs
Various attempts at designing the `core` items for field projections.
0
0
Rust
staging-workflow-playground
0
0
a-mir-formality
a model of MIR and the Rust type/trait system
0
0
Rust
effing-mad
Algebraic effects for Rust
0
0
Rust
Open Source Impact
Contributions to external projects
118 merged PRs
rust-lang/rust
113823
rust-lang/blog.rust-lang.org
402
rust-lang/this-week-in-rust
2567
rust-lang/rust-clippy
13269
rust-lang/rustfmt
6872
intel/lkp-tests
303
rust-lang/rustc-dev-guide
1868
rust-lang/team
350
rust-lang/a-mir-formality
343
Rust-for-Linux/pin-init
87
Contributed to 13 repositories