Brian Bruggeman

Brian Bruggeman

@brianbruggeman

Systems-minded engineer

Austin, TX
0
Followers
0
Following
141
Public Repos
0
Private Repos

Language Breakdown

Lines of code distribution across 50 owned repositories

17.6M Total LOC
Python
14,059,083 lines
80.0%
N/A
C
1,480,821 lines
8.4%
N/A
Rust
1,057,480 lines
6.0%
N/A
C++
662,277 lines
3.8%
N/A
Rocq Prover
159,484 lines
0.9%
N/A
Other
162,849 lines
0.9%
N/A
I

I-Shaped Developer

I-shaped

Specialist — deep expertise in Python

Python
C
Rust
C++
Rocq Prover

Collaboration Network

Global Impact visualization

LIVE
Brian Bruggeman
0 active collaborators

Repos

144

PRs

0

Growth

+18%

Top Collaborators

No collaborator data yet.

Coding Streak

Contribution activity over the past year

0 days
0
Contributions
0
Commits
0
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 0

No followers yet.

Following
0 total

Not following anyone yet.

Synced via GitHub

Open Source Impact

Contributions to external projects

0 merged PRs

No external contributions found.