Language Breakdown
Lines of code distribution across 38 owned repositories
2.5M
Total LOC
Rust
1,498,072 lines
60.8%
N/A
Haskell
256,578 lines
10.4%
N/A
Python
219,598 lines
8.9%
N/A
TeX
210,491 lines
8.5%
N/A
JavaScript
100,113 lines
4.1%
N/A
Other
179,540 lines
7.3%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Rust
Rust
Haskell
Python
TeX
JavaScript
Collaboration Network
Global Impact visualization
Repos
201
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
18 days
2,913
Contributions
2,242
Commits
416
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
0 total
Not following anyone yet.
Synced via GitHub
Top Repositories
dhall-rust
Maintainable configuration files, for Rust users
335
31
Rust
pest_consume
A framework for processing the output of a pest-generated parser
47
8
Rust
typing-rust-patterns
11
1
Rust
derive-generic-visitor
Boilerplate for building rust visitors
8
2
Rust
xmonad-config
Custom xmonad config and libs
8
0
Haskell
nixos-deploy
A remote deployment tool for NixOS systems
6
1
Nix
rust-via-desugarings
A book that explains the meaning of a Rust program via successive desugarings.
5
0
Rust
taffybar-config
3
0
Haskell
dictionary-passing-lambda-calculus
2
0
Rust
blog
2
0
Python
Open Source Impact
Contributions to external projects
1388 merged PRs
rust-lang/rust
113798
rust-lang/rfcs
6502
FStarLang/FStar
3044
rust-lang/this-week-in-rust
2566
FStarLang/karamel
515
rust-lang/reference
1520
rust-lang/rust-analyzer
16546
rust-lang/team
350
AeneasVerif/charon
366
AeneasVerif/aeneas
807
Contributed to 19 repositories